有限生成加群
数学において、有限生成加群（ゆうげんせいせいかぐん、）とは、有限な生成集合をもつ加群のことである。有限生成 "R"-加群はまた有限 "R"-加群 (finite R-module, module of finite type) や "R" 上有限 (finite over R) とも呼ばれる。
関連した概念に、有限余生成加群 (finitely cogenerated module)、有限表示加群 (finitely presented module)、有限関係加群 (finitely related module)、連接加群 (coherent module) があり、これらはすべてあとで定義される。ネーター環上では、有限生成、有限表示、連接加群の概念は一致する。
たとえば体上の有限生成加群とは単に有限次元ベクトル空間であり、有理整数環上の有限生成加群とは単に有限生成アーベル群である。
左 "R"-加群 "M" が有限生成とは、"M" の元 "a", "a", ..., "a" が存在して、すべての "M" の元 "x" に対して、"R" の元 "r", "r", ..., "r" が存在して、"x" = "r""a" + "r""a" + ... + "r""a" となることである。
この場合、集合 {"a", "a", ..., "a"} は "M" の生成集合と呼ばれる。有限個の生成元は基底である必要はない、なぜならそれらは "R" 上一次独立である必要はないからだ。より圏論的な特徴づけとしては次がある。"M" は有限生成であるのは、ある自然数 "n" に対して全射 "R"-線型写像
が存在する（つまり "M" は有限ランクの自由加群の剰余加群である）とき、かつそのときに限る。
加群 "M" の部分集合 "S" が有限生成部分加群 "N" を生成すれば、"N" の有限個の生成元は "S" からとってくることができる（なぜなら "S" の高々有限個の元しか有限個の生成元を表現するのに必要ないからである）。
任意の加群は有限生成部分加群の増大列の和集合である。
加群 "M" が体 "R" 上のベクトル空間であり生成集合が一次独立な場合には、"n" は "well-defined" で "M" の次元と呼ばれる（"well-defined" は任意の一次独立な生成集合は "n" 個の元をもつという意味である。これはベクトル空間の次元定理である）。有限生成加群の準同型像はすべて有限生成である。有限生成加群の部分加群は一般には有限生成でない。例えば、可算個の変数をもつ多項式環 "R" = Z["X", "X", ...] を考えよう。"R" 自身は有限生成 "R"-加群である（{1} が生成集合）。定数項が 0 の多項式すべてからなる部分加群 "K" を考えよ。すべての多項式は係数が0でないような有限個の項のみからなるから、"R"-加群 "K" は有限生成でない。
一般に、加群は、すべての部分加群が有限生成であるときにネーター加群と呼ばれる。ネーター環上の有限生成加群はネーター加群である（実はこの性質がネーター環を特徴づける）。ネーター環上の加群が有限生成であるのはそれがネーター加群であるとき、かつそのときに限る。これはヒルベルトの基底定理と似ているが、同じではない。これはネーター環 "R" 上の多項式環 "R"["X"] はネーター環であるというものである。いずれの事実によってもネーター環上の有限生成代数はまたネーター環である。
より一般に、代数（例えば環）は有限生成加群であればである。逆に、有限生成代数が（係数環上）整であれば、有限生成加群である。（詳細は整拡大参照。）
0 → "M'" → "M" → "M"" → 0 を加群の完全列とする。このとき "M'", "M"" が有限生成であれば "M" は有限生成である。この部分的な逆が成り立つ。"M" が有限生成で "M"" が有限表示（これは有限生成よりも強い、下記参照）であれば、"M'" は有限生成である。また、"M" がネーター的（あるいはアルティン的）であることと "M'", "M"" がネーター的（あるいはアルティン的）であることは同値である。
"B" を環とし "A" をその部分環で "B" は忠実平坦右 "A"-加群とする。このとき左 "A"-加群 "F" が有限生成（あるいは有限表示）であることと "B"-加群 formula_2 が有限生成（あるいは有限表示）であることは同値である。
可換環 "R" 上の有限生成加群に対して、中山の補題は基本的である。ときどき補題によって有限生成加群に対して有限次元ベクトル空間的な減少を証明することができる。例えば、"f" : "M" → "M" が有限生成加群 "M" の全射 "R"-自己準同型であれば、"f" は単射でもありしたがって "M" の自己同型である。このことは "M" はであると言っている。同様に、アルティン加群 "M" はである。つまり、任意の単射自己準同型 "f" は全射自己準同型でもある。
任意の "R"-加群は有限生成 "R"-部分加群の帰納極限である。これは仮定を有限的ケースに弱めるために有用である（例えば、Tor関手を用いた）。
有限生成性と整な元の間の関係の例は可換代数で見つかる。可換代数 "A" が "R" 上有限生成環 (finitely generated ring) であるとは、"A" の元の集合 "G" = {"x", ..., "x"} が存在して "G" と "R" を含む "A" の最小の部分環 は "A" 自身であるということである。環の積を元を結合するのに使ってもよいので、単に "G" の元の "R"-線型結合以上のものが生成される。例えば、多項式環 "R"["x"] は環として {1,"x"} で有限生成される"が、加群としてではない"。"A" が "R" 上の（単位元をもつ）可換代数であれば、次の2つのステートメントは同値である。
"M" を整域 "A" 上の有限生成加群とし "A" の分数体を "K" とする。このとき次元 formula_3 は "M" の "A" 上の生成ランク (generic rank) と呼ばれる。この数は極大 "A"-線型独立な "M" のベクトルの数や、"M" の極大自由部分加群のランクに等しい。(cf. アーベル群のランク。）formula_4 であるので、formula_5 はである。"A" が generic freeness によってネーター的であるとき、（"M" に依存した）ある元 "f" が存在し、formula_6 は自由 formula_7-加群である。このときこの自由加群のランクは "M" の生成ランクである。
さて整域 "A" が体 "k" 上代数として有限個の次数 formula_8 の斉次元によって有限生成であるとしよう。"M" も次数付けられているとし、formula_9 を "M" のポアンカレ級数とする。ヒルベルト-セールの定理によって、多項式 "F" が存在して、formula_10 である。このとき formula_11 が "M" の生成ランクである。
単項イデアル整域 (PID) 上の有限生成加群が (torsion-free) であることと自由であることは同値である。これはPID上の有限生成加群の構造定理の結果である。その基本的な形は、PID 上の有限生成加群はねじれ加群と自由加群の直和であるというものである。しかしそれは直接次のようにも示せる。"M" を PID "A" 上捩れなし有限生成加群とし、"F" を極大自由部分加群とする。"f" を "A" の元であって formula_12 とする。このとき formula_13 は自由加群の部分加群で "A" は PID なので自由である。しかし今 formula_14 は "M" が捩れなしだから同型である。
上記と同じ議論により、デデキント整域（あるいはより一般に半遺伝環）"A" 上の有限生成加群が捩れなしであること射影的であることは同値である。その結果、 "A" 上の有限生成加群はねじれ加群と射影加群の直和である。ネーター整域上の有限生成射影加群は一定のランクをもち、そのため "A" 上の有限生成加群の生成ランクはその射影部分のランクである。
以下の条件は "M" が有限生成 (f.g.) であることと同値である。
これらの条件から、有限生成であることが森田同値によって保たれる性質であることを見るのは易しい。また、これらの条件は双対概念である有限余生成加群 (finitely cogenerated module) "M" を定義するのにも便利である。以下の条件は加群が有限余生成 (f.cog.) であることと同値である。
有限生成加群と有限余生成加群はともにネーター加群やアルティン加群、ジャコブソン根基 "J"("M")、加群のsocle soc("M") と面白い関係がある。以下の事実は2つの条件の間の双対性を描写している。加群 "M" に対して
有限余生成加群は有限ユニフォーム次元をもたなければならない。このことは有限生成本質 socle を用いた特徴づけを応用することによって容易に確かめられる。非対称的なことに、有限生成加群はユニフォーム次元が有限である必要は"ない"。例えば、0 でない環の無限個の直積はそれ自身の上の有限生成（巡回！）加群であるが、明らかに 0 でない部分加群の無限個の直和を含む。有限生成加群は余ユニフォーム次元が有限である必要も"ない"。単位元をもつ任意の環 "R" であって "R"/"J"("R") が半単純環でないようなものが反例である。
別の定式化はこうである。有限生成加群 "M" は全射
が存在する加群である。加群 "M" と自由加群 "F" に対して全射
があると仮定する。
任意の環 "R" 上で、連接加群は有限表示であり、有限表示加群は有限生成かつ有限関係である。ネーター環 "R" 上の加群において、有限生成、有限表示、連接は同値な条件である。
射影および平坦加群に対していくつかのクロスオーバーが起こる。有限生成射影加群は有限表示であり、有限関係平坦加群は射影的である。
環 "R" に対して次の条件が同値であるということもまた正しい。
連接性は有限生成や有限表示よりも扱いにくそうに見えるが、それらよりも優れている。なぜならば、連接加群の圏はアーベル圏であるのに対し、有限生成加群や有限表示加群はどちらも一般にはアーベル圏をなさないからである。