既約元

抽象代数学において、整域の 0 でも単元でもない元は、それが2つの非単元の積でないときに、既約（）であると言う。
既約元を素元と混同してはならない。（可換環 の0でも単元でもない元 は、 のある元 と に対して であるときにはいつでも または であるようなときに、素元と呼ばれる。）整域において、素元は既約元である。逆は一意分解整域に対しては正しい（あるいはより一般に、GCD整域に対しても正しい）が、一般の整域に対しては"成り立たない"。
さらに、素元で生成されたイデアルが素イデアルであるのに対して、既約元で生成されたイデアルは一般には既約イデアルであるとは限らない。しかしながら、 が GCD 整域であり、 が の既約元であれば、 で生成されたイデアルは の素イデアル（したがって既約イデアル）"である"。
例.
二次の整数環 formula_1 において、ノルムを使った議論で数 3 が既約であることが証明できる。しかしながら、3 はこの環で素元ではない。なぜならば、例えば、
であるが、formula_3 は2つの因数のいずれも割り切らない。