An irreducible element is a nonzero nonunit such that every factorization has at least one of a unit in a ring.
A prime element is a nonzero nonunit such that implies or . Equivalently its principal ideal is a nonzero prime ideal. These are definitions in the given commutative ring; the equivalence between irreducibility and primality requires additional hypotheses on the ring.
Articles by others on the same topic
There are currently no matching articles.