Proposition

Let RR be a Noetherian domain. Then RR is an UFD if and only if every prime ideal of height 11 in RR is principal.

Proof

The forward direction was proven in 2.9. We will now prove the converse.

Let RR be a Noetherian domain such that every prime ideal of height 11 in RR is principal.

Suppose rRr \in R is irreducible. By Hauptidealsatz there exists a prime ideal II of height 11 such that rI.r \in I. By our main hypothesis, II is principal. Let I=(i).I = (i). In that case, r=ivr = iv for some vR.v \in R. Since rr is irreducible, either ii is a unit or vv is a unit. But (i)(i) is prime and this precludes ii from being a unit. Therefore, vv is a unit. We conclude that rr and ii are associate, that is, (i)=(r).(i) = (r). This proves that rr is prime. Since rr was generic, every irreducible of RR is prime.

Let I1I2I3I_1 \subseteq I_2 \subseteq I_3 \subseteq \ldots be an ascending chain of principal ideals. By Noetherianity of RR this chain stabilizes.

Thus we can conclude that RR is a UFD.

\blacksquare