14.様々な環と整
環に対する様々な操作において、整という性質がどのように振舞うのかを考察する。
剰余環、局所化に対する整
を環の拡大、をイデアル、を乗法的集合とする。このとき剰余環に対する準同型及び環の局所化に対する準同型は単射であり、それぞれは環の拡大と見なせる。次が最も基本的な命題となる。
命題 が上整であれば、はそれぞれ上整となる。
(証明)とすると、よりが存在してが成り立つ。による剰余を取れば
がにおいて成り立つが、よりは上整であることを表している。
とすると、同様にが存在して
が成り立つ。よりは上整となる。
更に局所化に関しては次も言える。
命題 が成り立つ。
(証明)は上整だからは上整となる。故にが成り立つ。逆にが上整ならが存在して
がにおいて成り立つ。分母をに揃えると、分子は
となるので、モニックな多項式を用いてと表せる。*1よってあるが存在してが成り立つことが分かるのだが、倍すればは上整になる。従って
を得る。
整域に対する整
まず全商環についてまとめておく。をの非零因子(ならが成り立つ元)全体とすれば、として定義されていた。一般にならであることを思い出せば、が単射であることとであることは同値となる。故には自然な準同型を単射とする最も大きな局所化であることが分かる。特にが整域であるときであるから、なら
が成り立つ。このとき全商環の元はゼロを除き可逆となり体を為す。この体を整域の商体(quotient field)(あるいは分数体(field of fraction))と呼ぶ。逆に全商環が体なら単射で埋め込める元の環は整域となる。従って
が成り立つ。
整域はであるとき整閉整域(integrally closed integral domain)と呼ばれる。整閉整域は数論において重要で、例えば既に示した通りは代表的な整閉整域である。同様の証明により体を係数とする多項式環も整閉整域となる。
命題 環の拡大に対しはにおいて単元であるとする。が上整ならはにおいても単元となる。
(証明)はにおいて単元だからが存在してを満たす。ここでが存在してを満たすので、を掛けてが従う。
定理 を環の拡大とする。は整域であり、また上整でもあるとする。このとき
が成り立つ。
(証明)を体とし、を取る。まずは上整だから、あるが存在してを満たす。このような最小のを取れば、整域性よりが従う。は体だから
となり、これはが可逆であることを意味する。逆にを体とすれば、命題よりの元はゼロを除き全てにおいて可逆となる。よっては体となる。
が成り立つ。
(証明)まずは上整である。は整となることから
が定理より従う。
多項式環、ネーター環に対する整
体の拡大における分解体の存在と同様に、環の拡大に対する「分解環」の存在が示せる。
定理 (分解環の存在) を環、をモニックかつなる多項式とする。このとき環の拡大が存在して、はの元として個の一次式の積に分解する。(体の場合と違って、こちらは本当に一意的とは限らない。)
(証明)分解体の存在証明と似ているが、の単元はではないので証明自体は再利用ができない。*3に関する帰納法で示す。まずのときはとすればよい。のときはがモニックなのでは単射となる。故には環の拡大となるが、において根を持つ。因数定理よりにおいてと表せるが、となる。帰納法の仮定より環の拡大が存在してはの元として個の一次式の積に分解する。故にが求める拡大となる。
補題 を環の拡大とする。モニックな多項式はを満たすとする。このときは共にの元となる。
(証明)の分解環を取る。の元としてと分解できるが、よりは上整となる。の係数はの有限積の有限和として表されるから上整であり、またの元でもあるからに属する。従ってを得る。についても同様。
定理 を環の拡大とする。このときが成り立つ。
(証明)が上整であるとする。このときあるを用いてがにおいて成り立つ。と置きを代入すれば
と表せる。ここでに注意すると、上の定理をに対して用いればの係数はに属することが分かる。従ってを得る。
逆にとする。は上整だから上整でもある。今を考えると、は有限生成加群でありを含むの部分環となる。従って整の特徴付けにおける二番目と一番目の同値性よりは上整となる。
補題 (アルティン・テイトの補題) を環の拡大とする。はネーター環、は有限型とする。このとき
が成り立つ。更に上の条件を満たすときも有限型となる。
(証明)まず同値であることを示す。とすればは有限生成-加群となる。整の特徴付けにおける二番目と一番目の同値性よりは上整となる。逆を示す。は有限型だからが成り立つ。が上整ならも上整であるからは有限生成-加群となる。
さては有限型だからと表せる。ここでが上整ならと表せるので、
とおく。とすればは有限型となる。はネーター環だからもネーター環となり、
は有限生成-加群となる。ネーター環の有限生成加群はネーター加群だったことを思い出せばはネーター加群であり、その部分加群でもあるも有限生成-加群となる。(は環の拡大であった。)は有限型なのでも有限型となる。
所感
次回は体上の有限型代数に関する諸定理を述べる。環論で基本的な定理である極大イデアルの存在を示すには、選択公理(ツォルンの補題)を用いるか、従属選択公理を認めたうえでネーター環の下で示す方法があると思う。何れも現段階では避けているのでメジャーな流れとして上昇定理や下降定理が示せない。そのためこの章は次回に向けた流れにおける蛇足(もしくはずっと矮小化するべき議論)ではある。とは言え基本的な命題ばかりであり、今後必要になったときに振り返るタイミングが無い気もするので、ここに入れておこうと思う。