Prime element (source code)

= Prime element
{wiki}

A nonzero nonunit $p$ in an integral domain is prime when $p\mid ab$ implies $p\mid a$ or $p\mid b$.