Associated, prime, and irreducible elements. #
pis not a unit
pfactors then one factor is a unit
Irreducible p states that
p is non-unit and only factors into units.
We explicitly avoid stating that
p is non-zero, this would require a semiring. Assuming only a
monoid allows us to reuse irreducible for associated elements.