Proposition
Let be an UFD and let be a prime ideal of height in Then is a principal ideal. ⚠️
Proof
Let be non-zero. We perform induction on the number of irreducible factors of to prove that there exists an irreducible such that
If has one irreducible factor , then for some unit Since is prime, or It cannot be that since that contradicts being prime. Thus This resolves the base case.
Suppose has more than one irreducible factor. Then we write for some irreducible factor of Since is prime, either or If we’re done. Otherwise, Observe that has one fewer prime factors than Therefore, by the inductive hypothesis, there exists an irreducible as required.
Thus, there exists an irreducible In that case, there is a containment of prime ideals and since has height of we must conclude that and hence is principal.