Unique factorization and Noetherian implies every prime ideal is generated by finitely many prime elements
Statement
Suppose is a unique factorization domain that is also a Noetherian ring; in particular, is a Noetherian unique factorization domain. Then, every prime ideal in is generated by finitely many prime elements, in other words, it can be expressed as a finitely generated ideal where all the elements of the generating set are prime elements.
Related facts
- Unique factorization implies every nonzero prime ideal contains a prime element
- Unique factorization and one-dimensional iff principal ideal
- Unique factorization and finite-dimensional implies every prime ideal is generated by a set of primes of size at most the dimension
Proof
Given: A unique factorization domain . A prime ideal of .
To prove: for some nonnegative integer .
Proof:
- We do the construction inductively. Suppose we have a collection of pairwise distinct primes in ( could be zero, which is covered in the general case, but can also be proved separately as shown in fact (1)). We show that if , there exists a prime :
- For this, pick . Clearly, has a prime factorization in (use fact (2) to argue that the irreducible factors are indeed prime).
- Since is prime, at least one of the prime factors of is in . Call this prime factor .
- If , then because is a multiple of . This contradicts the way we picked . Thus, , and we have the required induction step.
- We thus have, for the prime ideal , a strictly increasing chain of ideals with prime, that terminates at if and only if . Since is Noetherian, the sequence must terminate at some finite stage, forcing for some nonnegative integer .