Prime

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

# Theory

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

# Prime