極大イデアルの定義と性質(可換環)
Aのイデアルmは
- mがAでない
- mより真に大きい自明でないイデアルが存在しない
を満たすとき、極大イデアルであるという。
ツォルンの補題と極大イデアルの存在
可換環においてイデアルの集合(イデアルは集合だから集合の集合ということになる)は、包含関係によって順序をなす。
順序集合において成り立つツォルンの補題から、すべての自明でない可換環(零でない可換環)は極大イデアルをもつ。
ツォルンの補題→極大イデアルの存在
極大イデアルで割った商環
可換環をイデアルで割ると可換環になる。可換環を極大イデアルで割ると可換環になるが、同時に体になる。これはイデアルの包含関係が商に受けつがれることと、体に自明でないイデアルが存在しないことからわかる。
極大イデアルで割る→剰余環は体
極大イデアルは素イデアルである
そこに含まれる元を二つの積に分解したとき、分解後の元がすべてそこに含まれるようなイデアルを素イデアルという。極大イデアルは素イデアルである。
可換環を素イデアルで割ると整域になるが、体は整域であるから、極大イデアルは素イデアルになる。
可換環
-
環と可換環の定義01638
-
素イデアルの定義と可換環の次元の話03762
-
極大イデアルの定義と性質(可換環)02158
-
素イデアルの定義と性質(可換環)02683
-
ネーター環の定義と性質04501
-
すべての環は極大イデアルをもつ0511
-
整域の整閉性は局所化で保存する0751