Irreducible element (source code)

= Irreducible element
{wiki}

A nonzero nonunit $p$ in an integral domain is irreducible when every factorization $p=ab$ has at least one unit factor.