# every PID is a UFD - alternative proof

If $R$ is a principal ideal domain, then $R$ is a unique factorization domain.

Proof. Recall, that due to Kaplansky Theorem (see this article (http://planetmath.org/EquivalentDefinitionsForUFD) for details) it is enough to show that every nonzero prime ideal in $R$ contains a prime element.

On the other hand, recall that an element $p\in R$ is prime if and only if an ideal $(p)$ generated by $p$ is nonzero and prime.

Thus, if $P$ is a nonzero prime ideal in $R$, then (since $R$ is a PID) there exists $p\in R$ such that $P=(p)$. This completes the proof. $\square$

Title every PID is a UFD - alternative proof EveryPIDIsAUFDAlternativeProof 2013-03-22 19:04:26 2013-03-22 19:04:26 joking (16130) joking (16130) 5 joking (16130) Theorem msc 13F07 msc 16D25 msc 13G05 msc 11N80 msc 13A15