アルティン加群のソースを表示

抽象代数学において、'''アルティン加群'''（{{lang-en-short|Artinian module}}）とは、部分加群について[[降鎖条件]]を満たす[[環上の加群|加群]]のことである。アルティン加群と加群の関係は、[[アルティン環]]の環に対する関係と同様であり、環がアルティン的なのはそれが（左または右からの積によって）それ自身の上の加群としてアルティン的であるとき、かつそのときに限る。これらの概念は[[エミール・アルティン]]にちなんで名づけられている。

[[選択公理]]のもと、降鎖条件は[[極小条件]]と同値であり、これを代わりに定義に使ってもよい。

[[ネーター加群]]と同様、アルティン加群は次の遺伝的な性質をもつ。
* ''M'' がアルティン的な ''R''-加群ならば、その任意の部分加群と任意の剰余加群もアルティン的である。
逆も成り立つ。
* ''M'' が ''R''-加群、''N'' がその部分加群でアルティン的、かつ ''M''/''N'' もアルティン的ならば、''M'' もアルティン的である。
この結果、アルティン環上の有限生成加群はアルティン的である<ref name="Lam-19">Lam (2001), {{Google books quote|id=VtvwJzpWBqUC|page=19|text=Proposition|Proposition 1.21, p. 19}}.</ref>。アルティン環は[[ネーター環]]であり、ネーター環上有限生成加群はネーター的なので<ref name="Lam-19"/>、アルティン環上有限生成加群はネーター的かつアルティン的であり、有限の長さをもつ。しかしながら、''R'' がアルティン的でなければ、あるいは ''M'' が有限生成でなければ、[[#ネーター条件との関係|反例]]がある。

== アルティン的な環、加群、両側加群 ==
環 ''R'' は右からの積で自然に右加群と考えられる。''R'' が右 ''R''-加群としてアルティン的なとき、右[[アルティン環]]と呼ばれる。左アルティン環の定義も同様である。非可換環においてこれらの区別は必要である。片側でアルティン的だがもう片側ではアルティン的でない環が存在する。

左右の語は加群において普通必要でない、なぜなら加群 ''M'' は通常はじめに左または右 ''R''-加群として与えられるからである。しかしながら、''M'' が左右両方の ''R''-加群としての構造をもつことがあり、そのとき ''M'' をアルティン的と呼ぶのは曖昧であるので、どちらの加群としての構造がアルティン的であるのかを明確にする必要が生じる。2つの構造を分離するために、左 ''R''-加群として ''M'' がアルティン的であると言うのが正しいときに、用語を濫用して、''M'' を左アルティン的または右アルティン的と言うことができる。

左右両側の加群の構造をもつ加群は珍しいことではない。例えば ''R'' 自身は左かつ右 ''R''-加群としての構造をもつ。実はこれは[[両側加群]]の例であり、別の環 ''S'' によってアーベル群 ''M'' を左 ''R'' 右 ''S'' 両側加群にできるかもしれない。実際、任意の右加群 ''M'' は自動的に整数環 '''Z''' 上の左加群であり、さらに '''Z'''-''R'' 両側加群である。例えば、有理数体 '''Q''' を自然に '''Z'''-'''Q''' 両側加群として考えよ。すると '''Q''' は左 '''Z'''-加群としてはアルティン的でないが、右 '''Q'''-加群としてはアルティン的である。

アルティン条件は両側加群の構造についても定義できる。'''アルティン両側加群''' とは[[両側加群]]であって、その部分両側加群が降鎖条件を満たすようなものである。''R''-''S'' 両側加群 ''M'' の部分両側加群は当然左 ''R''-加群なので、もし ''M'' が左 ''R'' 加群としてアルティン的であれば、''M'' は自動的にアルティン両側加群になる。しかしながら、両側アルティン加群が左または右アルティン加群でないことは、次の例で示すように、起こり得る。 

''例''： [[単純環]]が左アルティン的であることと右アルティン的であることは同値であり、このとき[[半単純環]]でもあることはよく知られている。''R'' を右アルティン的でない単純環とすると、左アルティン環でもない。''R'' を自然に ''R''-''R''-両側加群と考えると、その部分両側加群はちょうど ''R'' の[[イデアル]]である。''R'' は単純なのでそれは2つしかない。''R'' と零イデアルである。したがって ''R'' は両側加群としてアルティン的であるが、左または右 ''R''-加群としてはアルティン的でない。

== ネーター条件との関係 ==
環の場合と違って、アルティン加群だがネーター加群でないものが存在する。例えば、<math>\mathbb{Q}/\mathbb{Z}</math> の ''p''-primary component、つまり、<math>\mathbb{Z}[1/p] / \mathbb{Z}</math> を考えよ。これは <math>\mathbb{Z}</math>-加群として''p''-[[準巡回群]] <math>\mathbb{Z}(p^\infty)</math>と同型である。真増大列 <math>\langle 1/p \rangle \subset \langle 1/p^2 \rangle \subset \langle 1/p^3 \rangle \subset \cdots</math> は無限に続き、<math>\mathbb{Z}(p^\infty)</math> は（従って <math>\mathbb{Q}/\mathbb{Z}</math> も）ネーター的でない。しかしすべての真の（この仮定は一般性を失わない）降鎖列は止まる。そのような列は整数 <math>n_1 , n_2 , n_3,\ldots </math> に対して <math>\langle 1/n_1 \rangle \supseteq \langle 1/n_2 \rangle \supseteq \langle 1/n_3 \rangle\supseteq  \cdots</math> という形をしている。包含関係 <math>\langle 1/n_{i+1} \rangle \subseteq \langle 1/n_i \rangle</math> によって <math>n_{i+1}</math> は <math>n_i</math> を割り切らなければならないので、<math>n_1 , n_2 , n_3, \ldots</math> は正整数の真の減少列である。それゆえ列は止まり、<math>\mathbb{Z}(p^\infty)</math> はアルティン的である。

可換環上の任意の巡回アルティン加群はネーター加群でもあるが、非可換環上の巡回アルティン加群は[[加群の長さ|長さ]]が無限になり得る。このことは Hartley の記事で示されており、Hartley の記憶に捧げて[[ポール・コーン|Paul Cohn]] の記事でうまく要約されている。

== 関連項目 ==
* [[ネーター加群]]
* [[降鎖条件]]
* [[組成列]]
* [[クルル次元]]

== 注釈 ==
<references />

== 参考文献 ==
* {{cite book
| last = Atiyah
| first = M.F.
| authorlink = Michael Atiyah
|author2=Macdonald, I.G. |authorlink2=Ian G. Macdonald 
| title = Introduction to Commutative Algebra
| isbn = 978-0-201-40751-8
| year = 1969
| publisher = Westview Press
| chapter = Chapter 6. Chain conditions; Chapter 8. Artin rings
}}
* {{cite journal
| last = Cohn
| first = P.M.
| authorlink = Paul Cohn
| title = Cyclic Artinian Modules Without a Composition Series
| journal = J. London Math. Soc. (2)
| volume = 55
| issue = 2
| pages = 231–235
| year = 1997
| doi = 10.1112/S0024610797004912
| mr = 1438626
}}
* {{cite journal
| last = Hartley
| first = B.
| title = Uncountable Artinian modules and uncountable soluble groups satisfying Min-n
| journal = Proc. London Math. Soc. (3)
| volume = 35
| issue = 1
| pages = 55–75
| year = 1977
| doi = 10.1112/plms/s3-35.1.55
| mr = 442091
}}
* {{cite book
| last = Lam
| first = T.Y.
| title = A First Course in Noncommutative Rings
| isbn = 978-0-387-95325-0
| year = 2001
| publisher = Springer Verlag
| chapter = Chapter 1. Wedderburn-Artin theory
}}

{{デフォルトソート:あるていんかくん}}
[[Category:加群]]
[[Category:加群論]]
[[Category:代数的構造]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]