3.素イデアルと整域
前回は環の表現として加群を導入した。環におけるイデアルと同様に、加群における部分加群に対しても剰余加群が定義できた。加群同士は準同型によって比較でき、準同型が全単射であるとき同一視できる。一般に準同型定理が成り立ち、それは加群の系列を用いて表すことができる。
素イデアル
は真(proper)のイデアルとする(つまり)。
が成り立つとき、は素(prime)イデアルという。
自身はイデアルだが、素イデアルではない。またも素イデアルとは限らない。例えばのときが素イデアルとなることとが素数であることは同値になる。特には素イデアルでない。実際だがである。
素イデアルは環において血肉に相当し、様々な場面で中心的な役割を果たす。一先ずその一例を挙げる。
は1対1に対応する。
が素イデアルとなることを示せば良い。
とする。ここでの定義から直ちにとしてしまうと突っ込まれてマスハラを受ける。この式はあるが存在してが成り立つことを示している。よってであり、とがイデアルであることからが従う。ところでは素イデアルだったからまたはである。故にまたはを得る。
とする。このときはの定義からが言える。は素イデアルだったからまたはが成り立つが、これはまたはを示している。
の素イデアル全体をと表す。
整域
イデアルがあったら取りあえず割ってみるのをお勧めする。素イデアルで割ると何が成り立つだろうか。を素イデアルとし、の元について、
が成り立つとする。このときだが、は素イデアルなのでまたはが言える。つまりまたはが成り立つ。換言すれば、掛けてゼロになるなら、いずれか一方がゼロであることが分かる。逆にゼロでない元同士の積はゼロとはならない。このような環を整域(integral domain)という。*1
命題 をイデアルとする。このときが素イデアルであることとが整域であることは同値になる。
(証明)上の議論よりが素イデアルならが整域であることが分かる。逆にが整域とし、とする。だから、の整域性よりまたはが従う。故にまたはとなる。
命題 ならが成り立つとき、消去可能であるという。整域であることと消去可能であることは同値になる。
(証明)簡単。
は整域である。一方では成分毎の演算で環となるが、例えばとなるため整域ではない。は素イデアルでない。これはが整域でないことからも分かる。実際
しかしなのでを消去できない。
*1:この命名は紛らわしい。後で元が整(integral)とか整閉整域(integrally closed integral domain)とか出てくるし、domainはdomainで色々と使われている。しかし今更どうしようもない。