4.ネーター加群
前回は素イデアルと整域の関係について学んだ。剰余環に対するイデアル対応定理は、イデアル同士の対応をも与えていた。今回は加群の立場から、生成という操作を考えてみよう。そして極めて重要な概念であるネーター性について議論する。
部分加群の生成
第2回で、加群を「長さの世界」として説明した。このときの単位はメートルだったが、寸やヤードで考えることもできる。あるいは「個数の世界」と見なせば、みかんの個数でもバナナの本数でも、何でも考えることができる。表現の世界はそれだけ広いものであることが分かるが、個々を議論することは得策ではない。そこである種の統一的な見方を与えて、その下で議論しようとすることは当然である。上記の世界は、「メートル原器」「1個のみかん」「1本のバナナ」といったモノを基準として記述出来ていることが分かるだろう。
-加群の部分加群が与えられているとする。添え字は有限個でも無限個でも構わない。
- で、の元による有限和全体を表す。
- で、の全てに属する元全体(共通部分)を表す。
それぞれの部分加群となるが、特にが有限集合のとき、
と書くこともある。
例えばを-加群として考えると、が成り立つ。
に対し、を含むの部分加群のうちで最小のものを、により生成されたの部分加群と呼び、と表すことにする。つまり
と定める。
ここで一般的な慣習として、環の部分集合及び、-加群の部分集合に対して
と定める。つまりの元との元の有限和全体を指すことにする。(単に積だけではなくて、有限和を取ることがミソ)
定理 以上の記号の下で、が成り立つ。
(証明)かつは部分加群だから、定義よりは言える。逆に部分加群がであるとすると、が従う。よってを得る。
の元のによる表示は一意的であるとは限らない。実際として、と置く。このときだが、
であり、表示方法が複数あることが分かる。
ネーター加群とネーター環
数学において、何らかの有限性を持つということは重宝される。(手で数える程度なら)紙に書き下すことができるし、少し多くても(ある程度は)コンピューターで計算もできる。人類は有限の世界に生きているのだから、本質的に有限しか認識できないと主張する人もいる。良く分からない環を表現したものが加群なのだから、そこに有限性を仮定したくなる気持ちも分かるだろう。
のとき、をの生成系という。特に生成系として有限集合が取れるとき、は有限生成(finitely generated)という。(自分はよくと略記する。)
例えばは-加群として有限生成ではない。しかし-加群としては有限生成である。
さて、定義は簡単なのだが、実は有限生成はとても厄介な概念であり、大きな誤謬の危険を孕んでいる。
答えは否で、ここで挙げることはできないが反例がある。つまり、せっかく有限生成な加群を用意しても、うかつに部分加群を考えることができないということになる。コンピューターに計算させようとして、永遠にプログラムが止まらないなんてことが起こり得てしまう。これはマズい。そこで次の性質を仮定する。
定義 加群は部分加群が常に有限生成(特に自身も有限生成)であるとき、ネーター加群(noetherian module)と言う。*1特に環が-加群としてネーター加群であるときネーター環という。
上の定義を見てずるくない? と思ったら正常である。通常は別の定義を用いてネーター性を定め、それと上の定義が同値であることを示すのが一般的である。ネーター女史の貢献も確かここにあったはず。でも余計な知識を加えたくないので、今はこの定義のまま進もうと思う。
例えば体のイデアルはのみだからネーター環である。はネーター環だろうか?
定理
を-加群の完全系列とする。(このようにに挟まれた三つの完全系列を短完全系列(short exact sequence)と呼ぶ。)このとき
が成り立つ。
(証明)がネーター加群であると仮定しよう。を部分加群とする。まずは部分加群だから、ネーター性より有限生成、よってと書ける。ここでとなる元を取っておく。これらがを生成することを示そう。とすると、適当なを用いて
と表すことが出来る。は単射だったからを得る。逆はであることから明らかだろう。故にはネーター加群である。
次にを部分加群とする。は部分加群である。再びネーター性より有限生成、よってと書ける。に対し、は全射だったからとなるを取ることが出来る。今より、適当なを用いてと表すことが出来る。
だから、が従う。やはり逆も明らかなので、がネーター加群であることが分かる。
最後にをネーター加群と仮定して、部分加群が有限生成であることを示そう。まずネーター性より
と表すことができる。ここでをとなるように取っておく。に対して、と表せる。だから、と表せる。故にを得る。ここから
は直ぐに従う。
参考として
が成り立つ。
*1:ドイツの女性数学者Emmy Noetherに由来する。とんでもなく凄い人。