Proposition
Let be a Noetherian domain. Then is an UFD if and only if every prime ideal of height in is principal.
Proof
The forward direction was proven in 2.9. We will now prove the converse.
Let be a Noetherian domain such that every prime ideal of height in is principal.
Suppose is irreducible. By Hauptidealsatz there exists a prime ideal of height such that By our main hypothesis, is principal. Let In that case, for some Since is irreducible, either is a unit or is a unit. But is prime and this precludes from being a unit. Therefore, is a unit. We conclude that and are associate, that is, This proves that is prime. Since was generic, every irreducible of is prime.
Let be an ascending chain of principal ideals. By Noetherianity of this chain stabilizes.
Thus we can conclude that is a UFD.