Integral domain

All primes are irreducible in an integral domain

Let be an integral domain and be a prime element. Then is also an irreducible element. #m/thm/ring

Proof

Suppose with . Then , so without loss of generality . Thus so by the cancellation property , whence is a unit. Therefore is irreducible.

#state/tidy | #lang/en | #SemBr