Krull's principal ideal theorem

In a Noetherian ring, any prime ideal minimal over a principal ideal has height at most 1.
Krull’s principal ideal theorem

Let AA be a . Recall that the ht(p)\operatorname{ht}(\mathfrak p) of a prime ideal pA\mathfrak p\subset A measures the maximal length of a strictly increasing chain of prime ideals ending at p\mathfrak p, and that AA is if it satisfies the ascending chain condition on ideals.

A prime ideal p\mathfrak p is said to be minimal over an ideal IAI\subseteq A if IpI\subseteq \mathfrak p and there is no prime q\mathfrak q with IqpI\subseteq \mathfrak q\subsetneq \mathfrak p.

Theorem (Krull’s principal ideal theorem).
Let AA be a and let fAf\in A. If p\mathfrak p is a prime ideal minimal over the principal ideal (f)(f), then

ht(p)1. \operatorname{ht}(\mathfrak p)\le 1.

Equivalently, in the Spec(A)\operatorname{Spec}(A), every irreducible component of the closed set V(f)V(f) has codimension at most 11 (codimension computed via ).

A common generalization (often called Krull’s height theorem) says: if an ideal II can be generated by rr elements, then any prime ideal minimal over II has height at most rr.

Examples

  1. A reducible hypersurface in a polynomial ring.
    Let A=k[x,y]A=k[x,y] for a kk, and take f=xyf=xy. The primes minimal over (xy)(xy) are (x)(x) and (y)(y), since (xy)=(x)(y)(xy)=(x)\cap (y) in this case. Each of these primes has height 11 (e.g. (0)(x)(0)\subsetneq (x) is a prime chain of length 11), in agreement with the theorem.

  2. An arithmetic example.
    In A=ZA=\mathbb Z, take f=12f=12. The primes minimal over (12)(12) are (2)(2) and (3)(3), since every prime ideal containing (12)(12) must contain one of (2)(2) or (3)(3). Each has height 11 because Z\mathbb Z has a prime chain (0)(p)(0)\subsetneq (p) and no longer chain ending at (p)(p).

  3. A principal prime ideal.
    In A=k[x,y,z]A=k[x,y,z], the ideal (x)(x) is prime, hence it is minimal over itself. Since (0)(x)(0)\subsetneq (x) is a chain of primes, ht(x)1\operatorname{ht}(x)\ge 1, and Krull’s principal ideal theorem forces ht(x)=1\operatorname{ht}(x)=1.