既約元
提供: miniwiki
抽象代数学において、整域の 0 でも単元でもない元は、それが2つの非単元の積でないときに、既約（英: irreducible）であると言う。
既約元を素元と混同してはならない。（可換環 R の0でも単元でもない元 a は、R のある元 b と c に対して a | bc であるときにはいつでも a | b または a | c であるようなときに、素元と呼ばれる。）整域において、素元は既約元である[注 1][1]。逆は一意分解整域に対しては正しい[1]（あるいはより一般に、GCD整域に対しても正しい）が、一般の整域に対しては成り立たない。
さらに、素元で生成されたイデアルが素イデアルであるのに対して、既約元で生成されたイデアルは一般には既約イデアルであるとは限らない。しかしながら、D が GCD 整域であり、x が D の既約元であれば、x で生成されたイデアルは D の素イデアル（したがって既約イデアル）である[2]。
例
二次の整数環 [math]\mathbb{Z}[\sqrt{-5}][/math] において、ノルムを使った議論で数 3 が既約であることが証明できる。しかしながら、3 はこの環で素元ではない。なぜならば、例えば、
- [math]3 \mid \left(2 + \sqrt{-5}\right)\left(2 - \sqrt{-5}\right)=9[/math]
であるが、[math]3[/math] は2つの因数のいずれも割り切らない[3]。
関連項目
脚注
注
- ↑ 素元 p が既約元であることの証明。p = ab とする。すると p は素元なので p | a または p | b である。p | a であるとして、a = pc としよう。すると p = ab = pcb となるので p (1 − cb) = 0 である。R は整域なので cb = 1 である。したがって b は単元であり p は既約である。
出典
参考文献
- Sharpe, David (1987). Rings and factorization. Cambridge University Press. ISBN 0-521-33718-6.