dポイントプレゼントキャンペーン実施中!

デデキント環 D の異なる素イデアル P,Q は互いに素であることを示してください.

A 回答 (1件)

以下の証明で理解できたかどうか教えて下さい。



-----------------------------------------------------------------------
P,Qは零でない素イデアルとする。
デデキント環では零でない素イデアルは極大イデアルである。(★)
P+Q⊃P
PとQは異なるため、P+Q≠P
よってPの極大性から、P+Q=D
したがってPとQは互に素である。

(★)の証明
Dの零でないイデアルSに対しSを含む極大イデアルMが存在し、極大イデアルならば素イデアルである。デデキント環の性質からS=MIとなるイデアルIが存在し、Iは有限個の素イデアルに分解できる。素イデアル分解の一意性よりS=Mが従う。
    • good
    • 1
この回答へのお礼

理解できました.ありがとうございます.

お礼日時:2022/01/01 12:53

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!