|
抽象代数学において、整域の 0 でも単元でもない元は、それが2つの非単元の積でないときに、既約（）であると言う。 既約元を素元と混同してはならない。（可換環 の0でも単元でもない元 は、 のある元 と に対して であるときにはいつでも または であるようなときに、素元と呼ばれる。）整域において、素元は既約元である〔素元 が既約元であることの証明。 とする。すると は素元なので または である。 であるとして、 としよう。すると となるので である。 は整域なので である。したがって は単元であり は既約である。〕〔Sharpe (1987) p.54〕。逆は一意分解整域に対しては正しい〔（あるいはより一般に、GCD整域に対しても正しい）が、一般の整域に対しては''成り立たない''。 さらに、素元で生成されたイデアルが素イデアルであるのに対して、既約元で生成されたイデアルは一般には既約イデアルであるとは限らない。しかしながら、 が GCD 整域であり、 が の既約元であれば、 で生成されたイデアルは の素イデアル（したがって既約イデアル）''である''〔http://planetmath.org/encyclopedia/IrreducibleIdeal.html〕。 == 例 == 二次の整数環 において、ノルムを使った議論で数 3 が既約であることが証明できる。しかしながら、3 はこの環で素元ではない。なぜならば、例えば、 : であるが、 は2つの因数のいずれも割り切らない〔William W. Adams and Larry Joel Goldstein (1976), ''Introduction to Number Theory'', p. 250, Prentice-Hall, Inc., ISBN 0-13-491282-9〕。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「既約元」の詳細全文を読む スポンサード リンク
|