Unique factorization and one-dimensional iff principal ideal

Statement
The following are equivalent for an integral domain:


 * It is a unique factorization domain as well as a one-dimensional domain: every nonzero prime ideal in it is maximal.
 * It is a principal ideal domain.

Facts used

 * 1) uses::PID implies UFD
 * 2) uses::PID implies one-dimensional
 * 3) uses::Principal ideal ring iff every prime ideal is principal
 * 4) uses::Unique factorization implies every nonzero prime ideal contains a prime element

Principal ideal domain implies unique factorization domain and one-dimensional
This follows from facts (1) and (2).

Unique factorization and one-dimensional implies principal ideal domain
By fact (3), it suffices to show that every prime ideal is principal. In fact, it suffices to show that every nonzero prime ideal is principal, because the zero ideal is principal.

Given: A unique factorization domain $$R$$ where every nonzero prime ideal is maximal.

To prove: Every nonzero prime ideal in $$R$$ is principal.

Proof: Suppose $$P$$ is a nonzero prime ideal in $$R$$. By fact (4), $$P$$ contains a prime element $$p$$. Thus, the ideal $$(p)$$ is a nonzero prime ideal of $$R$$ contained in $$P$$. Thus, by assumption, $$(p)$$ is maximal, so $$(p) = P$$, so $$P$$ is principal.