11.環の局所化
環の部分集合をゼロと思うには、によって生成されたイデアルによる剰余環を考えれば良かった。環には1という、もう一つ大事な要素がある。今回学ぶ環の局所化を導入することで、新たにを1と思うことができるようになる。
環の局所化
環論における多くの概念は、具体的な実例を抽象化したものとして定義される。その中でも特に整数環をモデルケースにしたものが基本的であり、例えばイデアルは「倍数」の、剰余環は「余り」の抽象化であった。この文脈で局所化に相当するのは「分数」である。
有理数全体は分母及び分子という二つの整数の比で表現される。そこで環の「分数」をの元の比で表現したい。和と積を
によって定義したいことを考えれば、分母の集合は積によって閉じていることが必要だろう。からの準同型を自然に構成できるように、としておくことが好ましい。
ではの元の比が等しいとはどういうことだろうか。有理数の場合、分母と分子が互いに素でなければ約分ができる。そして約分して等しくなることが、において等しいことを意味していた。しかしこの同一視は、整数が素数の積による一意的な分解を持つという事実に裏付けられたものである。故に一般の環で定義できるかどうかは分からない。一方で有理数は、分母と分子に同じ数を掛けても変わらない。そこで発想を変え、にを掛けて分母を払いとする。こうすれば積により等しいことを定義できるはずだ。
ところがそうは問屋が卸さない。なぜなら分母を払った式は、厳密には
に過ぎないからだ。つまり「分数」におけるゼロとは何かを考える必要がある。という形の元は全て和を変えないから、これが「分数」におけるゼロと思いたい。からの準同型をヒントにすれば、この核こそが「分数」におけるゼロの環に対する言い換えになる。より、適当なが存在してとなるとき「分数」におけるゼロへ写る。すなわち、二つの「分数」は、適当なが存在してとなるとき等しい、と定めることが正当だろう。
後は上記を数学の言葉で書き下せばよい。
定義 環の部分集合が乗法的(multiplicative)であるとは、かつならを満たすことをいう。
大事な例は三つある。まず元に対しは乗法的である。第二に素イデアルに対しは乗法的である。最後には乗法的である。この元は環における非零因子(non-zerodivisor)と呼ばれる。
さて、乗法的集合に対し上に関係を定めたい。に対し、あるが存在してのときと定める。関係は同値関係となり、全体を、の同値類をで表す。は
により環構造を持ち、のによる局所化(localization)あるいは分数環(ring of fraction)と呼ぶ。ゼロは、イチはである。
演習 同値関係、演算のwell-defined、環構造を確認せよ。
イデアルの押し出しと引き戻し
一般に代数が与えられたとき、イデアルに対しイデアルをと表し、の押し出し(push-forward)と呼ぶ。逆にイデアルに対しイデアルをと表し、の引き戻し(pull-back)と呼ぶ。
命題 以下が成り立つ。
剰余環の時と同じように、イデアルの対応を局所化に対する自然な準同型の場合に調べてみよう。喜ばしいことに、押し出しの形は具体的に次のように書ける。
が成り立つ。
(証明)まずは明らか。一方はイデアルで、を含むから最小性よりが従う。
定理 (局所化に対するイデアルのpull-push性) イデアルに対しが成り立つ。
(証明)は明らか。を取る。より、である。よってを得る。
ここから次のことが言える。
系
が成り立つ。
(証明)イデアルに対し、と表せる。故にが分かる。
逆の対応については何も言えないが、ヒントはある。
命題
が成り立つ。
(証明)とするととなる。故にが従う。逆にとすれば、補題より適当なによりと表せる。定義より、適当なが存在してとなる。よってが分かる。
素イデアルについてはどうか。
が成り立つ。
(証明)素イデアルは真のイデアルに対して定義されたから、先の命題よりが従う。逆にとする。このとき適当なが存在してと表せる。故に適当なが存在してとなる。整理するとだが、よりでなければならない。は素イデアルだから又はとなる。故に又はを得る。つまりは素イデアルとなる。
定理 (局所化に対する素イデアルのpush-pull性) 素イデアルはを満たすとする。このときが成り立つ。
(証明)は明らか。とする。より、適当なが存在してと表せる。故に適当なが存在してとなる。だが、よりを得る。
まとめると
は一対一に対応する。
特にの場合を考えると、と交わらないの素イデアルとはに含まれる素イデアルに他ならない。剰余環に対する素イデアル対応定理を思い出せば、素イデアルに限ればの上側と下側を、それぞれ剰余環と局所化を考えることで完全に記述できることが分かる。
先に挙げた三つの例に対して、それぞれ局所化を次のように表す。
*1:とは記号は似ているが、分母の集合は全く異なるので混乱し易い。しかし慣習なので仕方ない。