12.代数及び環の拡大における整
代数が与えられているとする。の元による代数的な関係式で記述されるの元を考えたい。について「よく分かっている」なら、このような元はの元の中でも、ある程度扱いやすいだろう。従って環の構造を調べる際にも重要な役割を果たすはずだ。今回紹介する整という概念もその一つであるが、特にがの部分環である際には、上整なの元全体が新たな環を構成するといった稀有な性質を持つ。*1
代数における整
代数において、-加群は、に対してと定めることにより-加群とみなせる。このときが上整(integral)であるとは、あるモニック(最高次係数がイチ)な多項式が存在してが成り立つことをいう。つまり適当なが存在して
がにおいて成り立つ。(きちんと書くならが成り立つ。)
例えば(は互いに素)が上整とすると、整数により
が成り立つ。倍して整理すると
となるのではの倍数となる。しかしとは互いに素だからでなければならない。故にが従う。つまり上整なの元はしかない。
任意のが上整のとき、代数は整であるという。例えば環のイデアルに対し、は整である。
命題 は代数、とする。このとき
が成り立つ。
(証明)とするとより有限生成である。逆にとすると、加群の昇鎖列
を得る。ネーター加群の昇鎖列が停留したときと同様に、ある番号が存在してが成り立つ。特によりと表せる。従っては上整である。
補題 を代数、を-加群とする。が-加群として有限生成かつが-加群として有限生成であれば、は-加群としても有限生成となる。
(証明)とすれば、が従う。
系 を代数、は上整とする。このときは有限生成-加群となる。
(証明)のときは命題より従う。としてに関する帰納法で示す。代数及び-加群を考える。は帰納法の仮定より有限生成-加群である。また上整なら上整でもあるから、再び命題よりも有限生成-加群と分かる。従って補題よりは有限生成-加群であることが示される。
上記は代数が有限型かつ整であれば有限(加群として有限生成)であることを示唆している。
整拡大と整閉包
特に興味があるのはがの部分環である場合、つまりが単射である場合である。このとき環の拡大と表し、特に代数が整のとき、拡大を整拡大と呼ぶ。*2
定理 (整の特徴付け) を環の拡大、とする。次の三条件は同値となる。
(証明)が-上整とする。このときをとれば-加群として有限生成である。
次に条件を満たすが存在したとする。このときとしてを取れば、よりは-加群となる。また任意のに対してが成り立つとすれば、特にとしてを得る。故には単射となり忠実であることが分かる。-加群として有限生成になることは条件より明らか。
最後にの存在からが上整であることを示そう。をにより定める。-加群として行列式のテクニックを用いれば、より、ある多項式
が存在してがにおいて成り立つ。ここで忠実性よりは単射であり、この意味でだからを得る。つまりがにおいて成り立つ。
環の拡大に対し、上整なの元全体をのにおける整閉包(integral closure)と呼び、で表す。
命題 は環となり、は環の拡大を与える。
(証明)とする。系よりは有限生成-加群でありの部分環となる。ここでは部分環となるので、定理の二番目と一番目の同値性よりは上整であることが従う。つまりを得る。
のときは上整であるという。
命題 を環の拡大とする。このとき
が成り立つ。特にが成り立つ。
(証明)とすると、上整だから適当なが存在して
が成り立つ。ここでは上整だからは-加群として有限生成な環となる。は上整でもあるからは有限生成-加群となる。補題よりは有限生成-加群であることが分かる。一方よりは-加群と見なせるが、これは忠実になる。故に定理の三番目と一番目の同値性よりは上整であることが分かる。
ちなみに代数に対してはに対し、が整ならは整となる。逆は部分的にしか言えない。
所感
ところでが上整のとき、が上整となることを直接示す一般的な方法は知られていない。現状は上記のような遠回りな議論が必要で、もし具体的な多項式を見つけることが出来たら、それなりの論文誌に掲載されてもおかしくはない、と聞いたことがある。完全な形ではなくても、一定の条件下で有用な式を探すことは研究テーマとして悪くないと思う。