Prime

An element $p$ is prime if it is non-zero, non-unit where if $p \vert mn$ then $p \vert m$ or $p \vert n$.

# Theory

For $\mathbb{Z}$ a prime element is equivalent to an irreducible element - the definition most people recognise as prime.

# Prime