Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-148/3/solution

The height of a prime ideal is
The Krull principal ideal theorem states that if is Noetherian and is minimal among the primes containing a proper principal ideal , then
Suppose otherwise that . Quotient by and localize at ; it is enough to consider a Noetherian local domain whose maximal ideal is the only prime containing and which has .
For , put
This is a -primary ideal. Since is a zero-dimensional Noetherian ring, it is Artinian, and the descending chain eventually stabilizes. Thus, for all sufficiently large , every can be written
Now , while ; -primaryness gives . Hence
The Nakayama lemma applied to gives . Localizing at makes all sufficiently large powers of the nonzero maximal ideal equal. A nonzero element of the stable power then belongs to , contradicting the Krull intersection theorem. This proves the theorem.
Now let be a Noetherian integral domain. If is a unique factorization domain and has height one, choose and an irreducible factor of . In a UFD, is prime, so
Height one forces .
Conversely, suppose every height-one prime is principal. Noetherianity makes an atomic domain. Given an irreducible element , choose a prime minimal over . The principal ideal theorem gives , so by hypothesis. Since and is irreducible, is a unit; hence is prime. Thus every irreducible is a prime element, and an atomic domain with this property is a UFD. Therefore

New to topics? Read the docs here!