有限生成加群のソースを表示

[[数学]]において、'''有限生成加群'''（ゆうげんせいせいかぐん、{{lang-en-short|finitely generated module}}）とは、有限な生成集合をもつ[[環上の加群|加群]]のことである。有限生成 ''R''-加群はまた'''有限 ''R''-加群''' (finite R-module, module of finite type) や '''''R'' 上有限''' (finite over R) とも呼ばれる<ref>例えば松村はこの用語を用いている。</ref>。

関連した概念に、'''有限余生成加群''' (finitely cogenerated module)、'''有限表示加群''' (finitely presented module)、'''有限関係加群''' (finitely related module)、'''連接加群''' (coherent module) があり、これらはすべてあとで定義される。[[ネーター環]]上では、有限生成、有限表示、連接加群の概念は一致する。

たとえば[[可換体|体]]上の有限生成加群とは単に有限次元[[ベクトル空間]]であり、[[有理整数環]]上の有限生成加群とは単に[[有限生成アーベル群]]である。

==定義==
左 ''R''-加群 ''M'' が有限生成とは、''M'' の元 ''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a''<sub>''n''</sub> が存在して、すべての ''M'' の元 ''x'' に対して、''R'' の元 ''r''<sub>1</sub>, ''r''<sub>2</sub>, ..., ''r''<sub>''n''</sub> が存在して、''x'' = ''r''<sub>1</sub>''a''<sub>1</sub> + ''r''<sub>2</sub>''a''<sub>2</sub> + ... + ''r''<sub>''n''</sub>''a''<sub>''n''</sub> となることである。

この場合、集合 {''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a''<sub>''n''</sub>} は ''M'' の'''生成集合'''と呼ばれる。有限個の生成元は[[基底 (線型代数学)|基底]]である必要はない、なぜならそれらは ''R'' 上[[一次独立]]である必要はないからだ。より圏論的な特徴づけとしては次がある。''M'' は有限生成であるのは、ある自然数 ''n'' に対して[[全射]] ''R''-[[線型写像]]
:<math>R^n \to M</math>
が存在する（つまり ''M'' は[[自由加群#定義|有限ランク]]の[[自由加群]]の剰余加群である）とき、かつそのときに限る{{sfn|Anderson|Fuller|1992|loc=Theorem 8.1}}。

加群 ''M'' の部分集合 ''S'' が有限生成部分加群 ''N'' を生成すれば、''N'' の有限個の生成元は ''S'' からとってくることができる（なぜなら ''S'' の高々有限個の元しか有限個の生成元を表現するのに必要ないからである）。

任意の加群は有限生成部分加群の増大列の和集合である。

加群 ''M'' が体 ''R'' 上のベクトル空間であり生成集合が一次独立な場合には、''n'' は ''[[well-defined]]'' で ''M'' の[[ハメル次元|次元]]と呼ばれる（ここに言う''well-defined'' とは、ベクトル空間の全体を定義域とし非負整数を値域にとる次元についての写像dimを構成する際に0でないベクトル空間Vに対応する非負整数をdim(''M'')=''n'':=#{“ある”一次独立な''M''の生成集合}として定めている（''M''={0}の場合はdim(''M'')=0とする）訳であるが、この一次独立な''M''の生成集合自体が一通りとは限らず、dim(''M'')に与えた定義からは対応する非負整数が一意的に定まるか否かは自明な主張ではない（当然次元というものを多価関数としては想定しておらず定義の段階では矛盾孕んでいる可能性を排除し切れていない）ものの、実際に任意にとれる{“ある”一次独立な''M''の生成集合}の濃度はそれぞれ等しく、引数''M''に対しての戻り値''n''が一意的に定まることから、dimが写像として矛盾なく定義されることがちゃんと確認されるという意味である。なお、このことはベクトル空間の次元定理によって明確に保証される）。

== 例 ==
* 1つの元で生成される加群。（[[巡回加群]]と呼ばれる。）
* ''R'' を[[整域]]とし ''K'' をその[[分数体]]とする。このとき ''K'' のすべての有限生成 ''R''-部分加群 ''I'' は[[分数イデアル]]である。つまり、''R'' の0でない元 ''r'' が存在して、''rI'' は ''R'' に含まれる。実際、''r'' として ''I'' の生成元の分母の積をとることができる。''R'' が[[ネーター環|ネーター的]]ならば、すべての分数イデアルはこのように生じる。
* 有理整数環 '''Z''' 上の有限生成加群は有限生成アーベル群と一致する。これらはPID上の有限生成加群の構造定理によって[[単項イデアル整域|PID]]として '''Z''' をとることで完全に分類される
* [[可除環]]上の有限生成（左としよう）加群はちょうど（可除環上の）有限次元ベクトル空間である。

== いくつかの事実 ==
有限生成加群の[[加群準同型|準同型像]]はすべて有限生成である。有限生成加群の[[部分加群]]は一般には有限生成でない。例えば、[[可算]]個の変数をもつ[[多項式環]] ''R''&nbsp;=&nbsp;'''Z'''[''X''<sub>1</sub>, ''X''<sub>2</sub>, ...] を考えよう。''R'' 自身は有限生成 ''R''-加群である（{1} が生成集合）。定数項が 0 の多項式すべてからなる部分加群 ''K'' を考えよ。すべての多項式は係数が0でないような有限個の項のみからなるから、''R''-加群 ''K'' は有限生成でない。

一般に、加群は、すべての部分加群が有限生成であるときに[[ネーター加群]]と呼ばれる。[[ネーター環]]上の有限生成加群はネーター加群である（実はこの性質がネーター環を特徴づける）。ネーター環上の加群が有限生成であるのはそれがネーター加群であるとき、かつそのときに限る。これは[[ヒルベルトの基底定理]]と似ているが、同じではない。これはネーター環 ''R'' 上の多項式環 ''R''[''X''] はネーター環であるというものである。いずれの事実によってもネーター環上の有限生成代数はまたネーター環である。

より一般に、代数（例えば環）は有限生成加群であれば{{仮リンク|有限生成代数|en|finitely-generated algebra}}である。逆に、有限生成代数が（係数環上）整であれば、有限生成加群である。（詳細は[[整拡大]]参照。）

0 → ''M<nowiki>'</nowiki>'' → ''M'' → ''M<nowiki>''</nowiki>'' → 0 を加群の完全列とする。このとき ''M<nowiki>'</nowiki>'', ''M<nowiki>''</nowiki>'' が有限生成であれば ''M'' は有限生成である。この部分的な逆が成り立つ。''M'' が有限生成で ''M'''' が有限表示（これは有限生成よりも強い、下記参照）であれば、''M<nowiki>'</nowiki>'' は有限生成である。また、''M'' がネーター的（あるいはアルティン的）であることと ''M<nowiki>'</nowiki>'', ''M<nowiki>''</nowiki>'' がネーター的（あるいはアルティン的）であることは同値である。

''B'' を環とし ''A'' をその部分環で ''B'' は[[忠実平坦]]右 ''A''-加群とする。このとき左 ''A''-加群 ''F'' が有限生成（あるいは有限表示）であることと ''B''-加群 <math>B \otimes_A F</math> が有限生成（あるいは有限表示）であることは同値である{{sfn|Bourbaki|1998|loc=Ch 1, §3, no. 6, Proposition 11}}。

== 可換環上の有限生成加群 ==
可換環 ''R'' 上の有限生成加群に対して、[[中山の補題]]は基本的である。ときどき補題によって有限生成加群に対して有限次元ベクトル空間的な減少を証明することができる。例えば、''f'' : ''M'' → ''M'' が有限生成加群 ''M'' の[[全射]] ''R''-自己準同型であれば、''f'' は[[単射]]でもありしたがって ''M'' の[[自己同型]]である{{sfn|Matsumura|1989|loc=Theorem 2.4}}。このことは ''M'' は{{仮リンク|ホップ加群|en|Hopfian module}}であると言っている。同様に、[[アルティン加群]] ''M'' は{{仮リンク|余ホップ|en|hopfian object}}である。つまり、任意の単射自己準同型 ''f'' は全射自己準同型でもある{{sfn|Atiyah|Macdonald|1969|loc=Exercise 6.1}}。

任意の ''R''-加群は有限生成 ''R''-部分加群の[[帰納極限]]である。これは仮定を有限的ケースに弱めるために有用である（例えば、[[Tor関手]]を用いた{{仮リンク|平坦性の特徴づけ|en|flat module#Homological algebra}}）。

有限生成性と[[整な元]]の間の関係の例は可換代数で見つかる。可換代数 ''A'' が ''R'' 上'''有限生成環''' (finitely generated ring) であるとは、''A'' の元の集合 ''G'' = {''x''<sub>1</sub>, ..., ''x''<sub>n</sub>} が存在して ''G'' と ''R'' を含む ''A'' の最小の部分環 は ''A'' 自身であるということである。環の積を元を結合するのに使ってもよいので、単に ''G'' の元の ''R''-線型結合以上のものが生成される。例えば、[[多項式環]] ''R''[''x''] は環として {1,''x''} で有限生成される''が、加群としてではない''。''A'' が ''R'' 上の（単位元をもつ）可換代数であれば、次の2つのステートメントは同値である{{sfn|Kaplansky|1970|loc=Theorem 17|p=11}}。
* ''A'' は有限生成 ''R'' 加群である。
* ''A'' は ''R'' 上有限生成環かつ ''R'' の[[整拡大]]である。

== 生成ランク ==
''M'' を整域 ''A'' 上の有限生成加群とし ''A'' の分数体を ''K'' とする。このとき次元 <math>\operatorname{dim}_K (M \otimes_A K)</math> は ''M'' の ''A'' 上の'''生成ランク''' (generic rank) と呼ばれる。この数は極大 ''A''-線型独立な ''M'' のベクトルの数や、''M'' の極大自由部分加群のランクに等しい。(cf. [[アーベル群のランク]]。）<math>(M/F)_{(0)} = M_{(0)}/F_{(0)} = 0</math> であるので、<math>M/F</math> は{{仮リンク|ねじれ加群|en|torsion module}}である。''A'' が [[generic freeness]] によってネーター的であるとき、（''M'' に依存した）ある元 ''f'' が存在し、<math>M[f^{-1}]</math> は自由 <math>A[f^{-1}]</math>-加群である。このときこの自由加群のランクは ''M'' の生成ランクである。

さて整域 ''A'' が体 ''k'' 上代数として有限個の次数 <math>d_i</math> の斉次元によって有限生成であるとしよう。''M'' も次数付けられているとし、<math>P_M(t) = \sum \operatorname{dim}_k (M_n) t^n</math> を ''M'' の[[ヒルベルト–ポアンカレ級数|ポアンカレ級数]]とする。[[ヒルベルト-セールの定理]]によって、多項式 ''F'' が存在して、<math>P_M(t) = F(t) \prod (1-t^{d_i})^{-1}</math> である。このとき <math>F(1)</math> が ''M'' の生成ランクである<ref>{{harvnb|Springer|1977|loc=Theorem 2.5.6.}}</ref>。

[[単項イデアル整域]] (PID) 上の有限生成加群が{{仮リンク|捩れなし|en|torsion-free module}} (torsion-free) であることと自由であることは同値である。これは[[単項イデアル整域#加群の構造|PID上の有限生成加群の構造定理]]の結果である。その基本的な形は、PID 上の有限生成加群はねじれ加群と自由加群の直和であるというものである。しかしそれは直接次のようにも示せる。''M'' を PID ''A'' 上捩れなし有限生成加群とし、''F'' を極大自由部分加群とする。''f'' を ''A'' の元であって <math>f M \subset F</math> とする。このとき <math>fM</math> は自由加群の部分加群で ''A'' は PID なので自由である。しかし今 <math>f: M \to fM</math> は ''M'' が捩れなしだから同型である。

上記と同じ議論により、[[デデキント整域]]（あるいはより一般に[[半遺伝環]]）''A'' 上の有限生成加群が捩れなしであること[[射影加群|射影的]]であることは同値である。その結果、 ''A'' 上の有限生成加群はねじれ加群と射影加群の直和である。ネーター整域上の有限生成射影加群は一定のランクをもち、そのため ''A'' 上の有限生成加群の生成ランクはその射影部分のランクである。

== 同値な定義と有限余生成加群 ==
以下の条件は ''M'' が有限生成 (f.g.) であることと同値である。
* ''M'' の部分加群の任意の族 {''N<sub>i</sub>'' | ''i'' ∈ ''I''} に対して、<math>\sum_{i\in I}N_i=M\,</math> であれば、''I'' のある有限部分集合 ''F'' に対して、<math>\sum_{i\in F}N_i=M\,</math> である。
* ''M'' の部分加群 {''N<sub>i</sub>'' | ''i'' ∈ ''I''} の任意の[[全順序#鎖|鎖]]に対して、<math>\bigcup_{i\in I}N_i=M\,</math> であれば、ある ''I'' の元 ''i'' に対して ''N<sub>i</sub>'' = ''M'' である。
* <math>\phi:\bigoplus_{i\in I}R\to M\,</math> が[[全射]]であれば、''I'' のある有限部分集合 ''F'' に対して制限 <math>\phi:\bigoplus_{i\in F}R\to M\,</math> は全射である。
これらの条件から、有限生成であることが[[森田同値]]によって保たれる性質であることを見るのは易しい。また、これらの条件は双対概念である'''有限余生成加群''' (finitely cogenerated module) ''M'' を定義するのにも便利である。以下の条件は加群が有限余生成 (f.cog.) であることと同値である。
* ''M'' の部分加群の任意の族 {''N<sub>i</sub>'' | ''i'' ∈ ''I''} に対して、<math>\bigcap_{i\in I}N_i=\{0\}\,</math> であれば、''I'' のある有限部分集合 ''F'' に対して <math>\bigcap_{i\in F}N_i=\{0\}\,</math> である。
* ''M'' の部分加群の任意の鎖 {''N<sub>i</sub>'' | ''i'' ∈ ''I''} に対して、<math>\bigcap_{i\in I}N_i=\{0\}\,</math> であれば、ある ''i'' &isin; ''I'' に対して ''N<sub>i</sub>'' = {0} である。
* <math>\phi:M\to \prod_{i\in I}R\,</math> が[[単射]]であれば、''I'' のある有限部分集合 ''F'' に対して <math>\phi:M\to \prod_{i\in F}R\,</math> は単射である。

有限生成加群と有限余生成加群はともにネーター加群やアルティン加群、[[ジャコブソン根基]] ''J''(''M'')、加群の[[半単純成分|socle]] soc(''M'') と面白い関係がある。以下の事実は2つの条件の間の双対性を描写している。加群 ''M'' に対して
* ''M'' がネーター的であることと ''M'' のすべての部分加群が有限生成であることは同値である。
* ''M'' がアルティン的であることとすべての商加群 ''M''/''N'' が有限余生成であることは同値である。
* ''M'' が有限生成であることと ''J''(''M'') が ''M'' の[[余剰部分加群]]で ''M''/''J''(''M'') が有限生成であることは同値である。
* ''M'' が有限余生成であることと soc(''M'') が ''M'' の[[本質部分加群]]で soc(''M'') が有限生成であることは同値である。
* ''M'' が[[半単純加群]]（例えば任意の加群 ''N'' に対して soc(''N'')）であれば、それが有限生成であることと有限余生成であることは同値である。
* ''M'' が有限生成で 0 でなければ、''M'' は[[極大部分加群]]をもち任意の商加群 ''M''/''N'' は有限生成である。
* ''M'' が有限余生成で 0 でなければ、''M'' は極小部分加群をもち ''M'' の任意の部分加群 ''N'' は有限余生成である。
* ''N'' と ''M''/''N'' が有限生成であれば ''M'' も有限生成である。「有限生成」を「有限余生成」にとりかえても同じことが成り立つ。

有限余生成加群は有限[[ユニフォーム次元]]をもたなければならない。このことは有限生成本質 socle を用いた特徴づけを応用することによって容易に確かめられる。非対称的なことに、有限生成加群はユニフォーム次元が有限である必要は''ない''。例えば、0 でない環の無限個の直積はそれ自身の上の有限生成（巡回！）加群であるが、明らかに 0 でない部分加群の無限個の直和を含む。有限生成加群は[[一様加群#ホロー加群とコユニフォーム次元|余ユニフォーム次元]]が有限である必要も''ない''。単位元をもつ任意の環 ''R'' であって ''R''/''J''(''R'') が半単純環でないようなものが反例である。

==<span id="Finitely presented module">有限表示、有限関係、連接加群</span>==
別の定式化はこうである。有限生成加群 ''M'' は[[全射]]

:''f'' : ''R<sup>k</sup>'' → ''M''.

が存在する加群である。加群 ''M'' と自由加群 ''F'' に対して全射

:φ : ''F'' → ''M''.

があると仮定する。
* &phi; の[[核 (代数学)|核]]が有限生成であれば、''M'' は'''有限関係加群''' (finitely related module) と呼ばれる。''M'' は ''F''/ker(φ) に同型なので、これは根本的には、''M'' は自由加群をとり ''F''（ker(&phi;) の生成元）内で有限個の関係式を導入することによって得られる、ということを表現している。
* &phi; の核が有限生成で ''F'' のランクが有限（すなわち ''F'' = ''R''<sup>''k''</sup>）であれば、''M'' は'''有限表示加群''' (finitely presented module) と呼ばれる。このとき ''M'' は有限個の生成元（''F'' = ''R<sup>k</sup>'' の ''k'' 生成元の像）と有限個の関係式（ker(&phi;) の生成元）を使って表すことができる。
* '''連接加群''' (coherent module) ''M'' は有限生成部分加群が有限表示であるような有限生成加群である。
任意の環 ''R'' 上で、連接加群は有限表示であり、有限表示加群は有限生成かつ有限関係である。[[ネーター環]] ''R'' 上の加群において、有限生成、有限表示、連接は同値な条件である。

射影および平坦加群に対していくつかのクロスオーバーが起こる。有限生成射影加群は有限表示であり、有限関係平坦加群は射影的である。

環 ''R'' に対して次の条件が同値であるということもまた正しい。
* ''R'' は右[[連接環]]である。
* 加群 ''R''<sub>''R''</sub> は連接加群である。
* すべての有限表示右 ''R'' 加群は連接である。
連接性は有限生成や有限表示よりも扱いにくそうに見えるが、それらよりも優れている。なぜならば、連接加群の[[加群の圏|圏]]は[[アーベル圏]]であるのに対し、有限生成加群や有限表示加群はどちらも一般にはアーベル圏をなさないからである。

== 脚注 ==
{{reflist|2}}

== 参考文献 ==
* {{cite book
|last1     = Anderson
|first1    = Frank W.
|last2     = Fuller
|first2    = Kent R.
|year      = 1992
|title     = Rings and Categories of Modules
|url      = {{google books|MALaBwAAQBAJ|Rings and Categories of Modules|page=105|plainurl=yes}}
|edition   = Second
|publisher = Springer-Verlag
|series    = Graduate texts in mathematics
|volume    = 13
|isbn      = 0-387-97845-3
|ref       = harv
}}
*{{citation
   |author1=Atiyah, M. F.
   |author2=Macdonald, I. G.
   |title=Introduction to commutative algebra
   |publisher=Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont.
   |year=1969
   |pages=ix+128
   |mr=0242802 (39 #4129)
}}
* [[Nicolas Bourbaki|Bourbaki, Nicolas]], ''Commutative algebra. Chapters 1--7''. Translated from the French. Reprint of the 1989 English translation. Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 1998. xxiv+625 pp. ISBN 3-540-64239-0
*{{citation   |author=Kaplansky, Irving   |title=Commutative rings   |publisher=Allyn and Bacon Inc.   |place=Boston, Mass.   |year=1970   |pages=x+180   |mr=0254021 }}
*{{Citation | last1=Lam | first1=T. Y. | title=Lectures on modules and rings | publisher=Springer-Verlag | series=Graduate Texts in Mathematics No. 189 | isbn=978-0-387-98428-5 | year=1999}}
*{{Citation | last1=Lang | first1=Serge | author1-link=Serge Lang | title=Algebra | publisher=[[Addison-Wesley]] | edition=3rd | isbn=978-0-201-55540-0 | year=1997}}
*{{citation
   |author=Matsumura, Hideyuki
   |title=Commutative ring theory
   |series=Cambridge Studies in Advanced Mathematics
   |volume=8
   |edition=2
   |others=Translated from the Japanese by M. Reid
   |publisher=Cambridge University Press
   |place=Cambridge
   |year=1989
   |pages=xiv+320
   |isbn=0-521-36764-6
   |mr=1011461 (90i:13001)
}}
* {{Citation
 | last=Springer
 | first=Tonny A.
 | title=Invariant theory
 | series=Lecture Notes in Mathematics
 | volume=585
 | publisher=Springer
 | year=1977
}}

== 関連項目 ==
* [[整拡大|整元]]
* [[アルティン–リースの補題]]
* {{仮リンク|可算生成加群|en|Countably generated module}}

{{デフォルトソート:ゆうけんせいせいかくん}}
[[Category:加群論]]
[[Category:数学に関する記事]]