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. ring

Proof

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

---

tidy | en | sembr