Krull's principal ideal theorem
Let be a commutative ring . Recall that the height of a prime ideal measures the maximal length of a strictly increasing chain of prime ideals ending at , and that is Noetherian if it satisfies the ascending chain condition on ideals.
A prime ideal is said to be minimal over an ideal if and there is no prime with .
Theorem (Krull’s principal ideal theorem).
Let be a Noetherian ring
and let . If is a prime ideal minimal over the principal ideal , then
Equivalently, in the prime spectrum , every irreducible component of the closed set has codimension at most (codimension computed via height ).
A common generalization (often called Krull’s height theorem) says: if an ideal can be generated by elements, then any prime ideal minimal over has height at most .
Examples
A reducible hypersurface in a polynomial ring.
Let for a field , and take . The primes minimal over are and , since in this case. Each of these primes has height (e.g. is a prime chain of length ), in agreement with the theorem.An arithmetic example.
In , take . The primes minimal over are and , since every prime ideal containing must contain one of or . Each has height because has a prime chain and no longer chain ending at .A principal prime ideal.
In , the ideal is prime, hence it is minimal over itself. Since is a chain of primes, , and Krull’s principal ideal theorem forces .