主イデアルでないイデアルの例
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/01/18 14:05 UTC 版)
「主イデアル」の記事における「主イデアルでないイデアルの例」の解説
全てのイデアルが、主イデアルというわけではない。 例えば、2つの変数 x, y の、複素数を係数とする全ての多項式からなる環 C[x, y] を考える。x と y で生成されたイデアル (x, y) は、定数項が 0 となるような C[x, y] の多項式全てから構成されるが、主イデアルではない。このことを見るために、p が (x, y) の生成元であると仮定すると、x と y は両方とも p により割り切れることになるが、このことは p が 0 でない定数でない限り不可能である。しかし 0 は (x, y) の中の唯一の定数であり、従って矛盾する。
※この「主イデアルでないイデアルの例」の解説は、「主イデアル」の解説の一部です。
「主イデアルでないイデアルの例」を含む「主イデアル」の記事については、「主イデアル」の概要を参照ください。
ウィキペディア小見出し辞書の「主イデアルでないイデアルの例」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 主イデアルでないイデアルの例のページへのリンク
