Principal Ideal Domain is Unique Factorization Domain

From ProofWiki
Jump to navigation Jump to search

Theorem

Every principal ideal domain is a unique factorization domain.


Proof

From Element of Principal Ideal Domain is Finite Product of Irreducible Elements, each element which is neither $0$ nor a unit of a principal ideal domain has a factorization of irreducible elements.



Sources