のイデアルはゼロイデアル
と
自身
の2つのみであることを示せ。
逆に,可換環
がゼロイデアルと
自身の 2 つしかイデアルを持たないならば
は体であることを示せ。
の中で,
であることを示せ。
は整数とするとき,
を証明せよ。
を用いて次を示せ:
の逆の包含関係
を示し,
を
でない
のイデアルとすると,
は
でない
の元
を含むから,イデアルの定義により
である。よって任意の
の元
に対して,
となり
である。したがって,
であるから,体
のイデアルは
と
自身の 2 つである。
逆に可換環
が
と
自身の 2 つしかイデアルをもたないとする。このとき,任意の
でない
の元
に対し,
で生成されるイデアル
はゼロイデアルではないから,仮定によりこれは
自身となる。したがって,
であるから,
となるような
の元
が存在するので,
は単数。今,
は任意の
でない
の元であったから,
は体である。

であること。
の任意の元は
と表せるから,
かつ
である。
であること。
とし,
とおく。この
とき,
より,
であり
より,
である。した
がって,
とおけば,
で
あるから
である。
の任意の元は
と表せる。今,
より,
である
から,
となるような
が存在するので,
である。
仮定から
であるから
とおいておけば,任意の
に
対して,
である。したがって,
である。
以上から,
が証明された。
であること。
より,
である。
は
と
を含む最小のイデアルであるから,
である。
であること。
より,
であるから,任意の
に対して
かつ
である。したがって,
より,
である。
であること。
の任意の元
が,
の形に表せることを示せばよ
い。
と
は互いに素であるから,
となるような整数
が存在する。したがって,
とおけば,
となる。
であること。
任意の
に対して,
かつ
であるから,
である。