7.ヒルベルトの基底定理
前回は自由加群を導入し、-加群が有限生成であることを完全系列で特徴付けた。ここからがネーター環であることと任意の有限生成-加群がネーター加群であることは同値となることが分かる。この定理は今回の証明において鍵となる結果である。また普遍性や加群の昇鎖列について学んだ。
ヒルベルトの基底定理
今回は予告通り、次の定理の証明に注力する。証明はAtiyah-McDonaldに依る。*1
定理 (ヒルベルトの基底定理(Hilbert's basis theorem))
環に対して
が成り立つ。
混乱しがちなので注意しておくと、左は-加群としてネーター加群、右は-加群としてネーター加群という意味である。「一方の全てのイデアルが有限生成なら他方もそうである」と換言した方が分かり易いかもしれない。
(証明)まずはがネーター環であるとする。をイデアルとする。を係数がの元からなる部分加群とすれば、はネーター加群なので有限生成となる。即ちと表せる。とすると、適当なを用いてと書ける。を代入するとを得る。定義からとなり、逆の包含も言えるので一致する。あるいは完全系列
を考えれば直ちに従う、と一言で述べることもできる。
次にをネーター環とし、をイデアルとする。の元の最高次係数全体からなる集合を考えると、はイデアルとなる。はネーター環なので有限生成となり、と表せる。そこでを
となるように取り、と置く。としよう。よりと書ける。ここでもしなら
を考えて、最高次の項をと同じものにできる。そこでとの差を取れば次数が下がるので、これを繰り返すことで次数をより小さくできる。即ちあるが存在してとできる。特にであることに注意すれば、(次数が以下の多項式全体)として、
が従う。(右から左は明らか、逆はより分かる。)
ところでは有限生成-加群である。前回の定理よりがネーター環であることからはネーター加群であることが分かる。つまりは-加群として有限生成であり、生成元が取れる。するととなり、またより逆も従うので両者は一致する。つまりは有限生成である。
系
が成り立つ。
(証明)定理を繰り返し用いればよい。
当時としては衝撃的な結果だったらしく、ヒルベルトの非構成的な証明に感銘を受けたらしい。この定理の何が嬉しいかというと、係数がネーター環でさえあれば*2多項式環のイデアルは常に有限生成なものだけを考えれば良いということだ。すると問題は次の段階へと移行する。今とし、を考えよう。このイデアルは有限生成である。そこでとする。与えられたに対してかを判定したい。実はのときはそれほど難しくないのだが、のときは非常に困難な問題になる。上記の証明もそうだが、非構成的な証明は具体的な計算方法については何も教えてくれない。実際手を動かしてみるとその恐ろしさが分かる。
この問いは最近(といっても50年位前だが)になって解決され、具体的なアルゴリズムとして計算方法が確立された。*3ただし手計算では膨大な計算量となるので*4様々な応用が花開くまでにはコンピューターの発達を待つことになる。今は内容にもよるが、大抵の計算はそれこそEnterをッターン!した瞬間に結果が出る。
ネーター環の剰余環
多項式環について分かった事実を纏めると、整域の多項式環は整域であり、ネーター環の多項式環はネーター環であった。剰余環に関しては、整域性について素イデアルの節で述べたこと以外は何も言えないが、ネーター環の剰余環はネーター環となる。
命題 をネーター環、をイデアルとする。このとき剰余環はネーター環である。
(証明)完全系列を考えれば、は-加群としてネーター加群となる。そこでをイデアルとすれば、
が積の定義より従う。故には有限生成となり、はネーター環であることが分かる。