既約元

抽象代数学において、整域の 0 でも単元でもない元は、それが2つの非単元の積でないときに、既約（）であると言う。すなわち、整域についてが0でも単元でもない元であるとき「あるを用いてと分解されたなら常にかのいずれかは単元」を満たすならばは既約元であるという。

既約元を素元と混同してはならない。（可換環  の0でも単元でもない元  は、 のある元  と  に対して  であるときにはいつでも  または  であるようなときに、素元と呼ばれる。）整域において、素元は既約元である素元  が既約元であることの証明。 とする。すると  は素元なので  または  である。 であるとして、 としよう。すると  となるので  である。 は整域なので  である。したがって  は単元であり  は既約である。Sharpe (1987) p.54。逆は一意分解整域に対しては正しい（あるいはより一般に、GCD整域に対しても正しい）が、一般の整域に対しては成り立たない。

さらに、素元で生成されたイデアルが素イデアルであるのに対して、既約元で生成されたイデアルは一般には既約イデアルであるとは限らない。しかしながら、 が GCD 整域であり、 が  の既約元であれば、 で生成されたイデアルは  の素イデアル（したがって既約イデアル）である。

 例 
二次の整数環  において、ノルムを使った議論で数 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。

 関連項目 
 既約多項式

 脚注 
注

出典

 参考文献 


Category:環論
Category:数学に関する記事