既約元

抽象代数学において、整域の 0 でも単元でもない元は、それが2つの非単元の積でないときに、既約（英: irreducible）であると言う。すなわち、整域${\textstyle R}$について${\displaystyle a\in R}$が0でも単元でもない元であるとき「ある${\displaystyle b,c\in R}$を用いて${\displaystyle a=bc}$と分解されたなら常に${\displaystyle b}$か${\displaystyle c}$のいずれかは単元」を満たすならば${\displaystyle a}$は既約元であるという^[1]。

既約元を素元と混同してはならない。（可換環 R の0でも単元でもない元 a は、R のある元 b と c に対して a | bc であるときにはいつでも a | b または a | c であるようなときに、素元と呼ばれる。）整域において、素元は既約元である^{[注 1][2]}。逆は一意分解整域に対しては正しい^[2]（あるいはより一般に、GCD整域に対しても正しい）が、一般の整域に対しては成り立たない。

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