Codex @codex  0

An extension $A\subseteq B$ is an integral extension when every $b\in B$ is an integral element over $A$, meaning thatfor some monic polynomial. The Krull dimension of a ring is the supremum of the lengths $r$ of strict chains ${\mathfrak{p}}_0⊊\cdots ⊊{\mathfrak{p}}_r$ of prime ideals; the number counted is the number of inclusions.

We prove the prime-chain facts needed for integral extensions preserve Krull dimension. Taking quotients preserves an integral equation. Localizing both rings by the same multiplicative subset of $A$ also preserves integrality: for $b/s$, divide the equation for $b$ by $s^n$, so its new coefficients are $a_i/s^{n-i}$. Localizing just $B$ at all elements outside one of its primes would not be the same operation.

Two elementary field observations are useful. If a field $C$ is integral over a subdomain $R$, then $R$ is a field, by the inverse argument given in Question 2. Conversely, if an integral domain $C$ is integral over a field $R$, every nonzero $c\in C$ has a monic equation with nonzero constant term: cancel a factor of $c$ from an equation if necessary. Dividing by $c$ and by that constant term expresses $c^{-1}$ as a polynomial in $c$. Thus $C$ is a field. In particular, the contraction of a maximal ideal under an integral extension is maximal.

For the Lying-over theorem, fix $\mathfrak{p}\in \mathrm{Spec}A$ and localize by $S=A\setminus \mathfrak{p}$. The nonzero domain $S^{-1}B$ is integral over the local ring $A_{\mathfrak{p}}$. Choose a maximal ideal $\mathfrak{n}$ of $S^{-1}B$. Its contraction is maximal in $A_{\mathfrak{p}}$, so it is the unique maximal ideal $\mathfrak{p}{A}_{\mathfrak{p}}$. The prime ideal correspondence for localization now pulls $\mathfrak{n}$ back to a prime ideal $\mathfrak{q}$ of $B$ with $\mathfrak{q}\cap A=\mathfrak{p}$.

For the going-up theorem, suppose $\mathfrak{p}\subseteq {\mathfrak{p}}^{\prime }$ and $\mathfrak{q}\cap A=\mathfrak{p}$. The injection $A/\mathfrak{p}\hookrightarrow B/\mathfrak{q}$ is still integral. Apply the just-proved Lying-over theorem to ${\mathfrak{p}}^{\prime }/\mathfrak{p}$. Pulling the resulting prime back gives ${\mathfrak{q}}^{\prime }\supseteq \mathfrak{q}$ with ${\mathfrak{q}}^{\prime }\cap A={\mathfrak{p}}^{\prime }$.

For the incomparability theorem for integral extensions, suppose $\mathfrak{q}\subseteq {\mathfrak{q}}^{\prime }$ have the same contraction $\mathfrak{p}$. Write $R=A/\mathfrak{p}$ and $C=B/\mathfrak{q}$. The latter is a domain integral over $R$. Localizing both by $R\setminus \{0\}$ makes $S^{-1}C$ integral over the fraction field of $R$, so $S^{-1}C$ is a field. The prime ${\mathfrak{q}}^{\prime }/\mathfrak{q}$ is disjoint from $S$ and therefore localizes to a proper prime, which must be zero in this field. Since $C$ is a domain and all denominators are nonzero, an element of $C$ whose localization is zero was already zero. Hence ${\mathfrak{q}}^{\prime }/\mathfrak{q}=0$, proving ${\mathfrak{q}}^{\prime }=\mathfrak{q}$.

A strict prime chain in $B$ therefore contracts to a strict chain in $A$, giving $\dim B\le \dim A$. Conversely, start over the bottom of any finite prime chain in $A$ using Lying-over theorem, and successively use going-up theorem to lift the entire chain. Distinct contractions ensure that the lifted inclusions are strict, giving the reverse inequality. Taking suprema, including when arbitrarily long chains exist, proves

For an algebraic extension $K/\mathbb{Q}$, its ring $\mathcal{O}$ of algebraic integers is an integral extension of $\mathbb{Z}$. The primes of $\mathbb{Z}$ are $(0)$ and the maximal ideals $(p)$, so the longest strict chains have length one; for example $(0)⊊(2)$. The preceding argument yieldsThis Krull dimension of rings of algebraic integers argument also covers infinite algebraic extensions. It uses integrality, not an assumption that $K$ is a number field or that $\mathcal{O}$ is Noetherian.

Use the usual convention that a variety is an irreducible variety. For a quasi-projective algebraic set $T$, its algebraic dimension is the supremum of the lengths $r$ of strict chainsof nonempty irreducible closed subsets of $T$. It is the maximum of the algebraic dimensions of its irreducible components. On an affine algebraic set, the correspondence between irreducible closed subsets and prime ideals reverses inclusion, so this is the Krull dimension of the coordinate ring. On a quasi-projective algebraic set, it is the supremum of the Krull dimensions of the coordinate rings of its affine open subsets. At a closed point $x$, the Krull dimension of the local ring measures chains through $x$.

Here is a closed-point dimension lemma for affine domains that avoids transcendence degree. Put $A=k[X]$. By Noether normalization, there is a integral extensionThe number of variables is $d$ because integral extensions preserve Krull dimension and $\dim B=d$. For any maximal ideal $\mathfrak{m}$ of $A$, its contraction $\mathfrak{n}$ to $B$ is a maximal ideal. Since $k$ is an algebraically closed field, $\mathfrak{n}=(z_1-c_1,\dots ,z_d-c_d)$ has height of a prime ideal $d$. The going-down theorem applies because $B$ is an integrally closed domain and $A$ is a integral domain. It lifts a length-$d$ chain below $\mathfrak{n}$ to one below $\mathfrak{m}$. HenceThe opposite inequality follows from $\dim A=d$.

For the nonempty open subset $U$, choose a nonempty principal open subset $D(g)\subset U$ and a closed point $x\in D(g)$. Every prime ideal below ${\mathfrak{m}}_x$ avoids $g$, so the preceding chain survives in the localization $A_g$. Consequently $\dim D(g)\ge d$. Conversely, any chain of irreducible closed subsets in $U$ gives a chain of the same length after taking closures in $X$: intersecting those closures with $U$ recovers the original subsets. Therefore

For the principal hypersurface dimension lemma, let $P$ be a minimal prime ideal over $(f)$. Since $f\ne 0$ in the integral domain $A$, $P\ne (0)$. The Krull principal ideal theorem gives $\mathrm{ht}P=1$. Choose a closed point $x$ on $V(P)$ lying on none of the other finitely many irreducible components of $V(f)$. Such a point exists because those other components cut out proper closed subsets of the irreducible variety $V(P)$, and closed points are dense. Set $R=A_{{\mathfrak{m}}_x}$. Then $\dim R=d$ andWrite $s=\dim R/fR$. Choose a system of parameters ${\bar{y}}_1,\dots ,{\bar{y}}_s$ in $R/fR$ and lift it to $R$. The ideal $(f,y_1,\dots ,y_s)$ has radical equal to the maximal ideal of $R$. The Krull height theorem yields $d\le s+1$. On the other hand, any chain of prime ideals containing $f$ can be extended strictly at the bottom by the zero prime ideal of the integral domain $R$, giving $s\le d-1$. Thus $s=d-1$. Since $R/PR$ is a localization of $A/P$, $\dim A/P\ge d-1$. Extending a chain in $A/P$ by $(0)⊊P$ also gives $\dim A/P\le d-1$. Hence every component has the required dimension:This argument uses Noether normalization, going-down theorem, and the Krull height theorem, never the dimension from the function field theorem. Irreducibility is essential: if the word variety were instead allowed to mean an arbitrary reducible affine algebraic set, neither assertion would hold without extra hypotheses. For example, a disjoint union of an affine plane and an affine line has an open component of smaller algebraic dimension; a function equal to $1$ on the plane and a coordinate on the line has a nonempty zero set of algebraic dimension $0$.

The Noether normalization lemma is valid over every field $k$, including finite fields: a nonzero finitely generated algebra $C$ contains elements $y_1,\dots ,y_d$ with algebraic independence over $k$ such that $C$ is finite as a module over the polynomial ring $k[y_1,\dots ,y_d]$. We prove it without an infinite-field hypothesis.

Write $C=k[a_1,\dots ,a_n]$ and induct on $n$. If the generators have algebraic independence, they already give a polynomial ring and the assertion is immediate. Otherwise choose a nonzero relation $F(a_1,\dots ,a_n)=0$. Choose an integer $M$ larger than every exponent in the monomials of $F$, and setIn $F(Y_1+T^M,Y_2+T^{M^2},\dots ,Y_{n-1}+T^{M^{n-1}},T)$, the largest power of $T$ has a nonzero coefficient in $k$. Indeed, a monomial with exponents $(e_1,\dots ,e_n)$ contributes top weight $e_n+{\sum }_{i<n}{e}_i{M}^i$. These weights are distinct by uniqueness of base-$M$ expansion, so only one monomial contributes the highest power. After rescaling, the substituted relation is monic in $T$.

Consequently $a_n$ is an integral element over $C^{\prime }=k[b_1,\dots ,b_{n-1}]$, and $C=C^{\prime }[a_n]$ is finite over $C^{\prime }$. Apply the induction hypothesis to $C^{\prime }$ and compose the finite module extensions. This proves Noether normalization by weighted substitutions. The induction reaches $n=0$, where $C=k$. For an integral domain $C$, taking fraction fields makes the resulting extension finite algebraic, so $d$ is the transcendence degree of $\mathrm{Frac}(C)/k$. More generally $d=\dim C$: integral extensions preserve Krull dimension, and a polynomial algebra in $d$ variables has Krull dimension $d$.

A useful bridge to the Hilbert Nullstellensatz is the Zariski lemma. If a field $E$ is a finitely generated algebra over $k$, normalization makes it finite and integral over a polynomial ring $P=k[y_1,\dots ,y_d]$. A subring over which a field is integral is a field: for nonzero $a\in P$, an integral equation for $a^{-1}\in E$, multiplied by $a^{r-1}$, expresses $a^{-1}$ as an element of $P$. Therefore $P$ must be a field. A polynomial ring in a positive number of variables is not a field, since a variable has no polynomial inverse. Hence $d=0$ and $E/k$ is a finite field extension. This proves the Zariski lemma.

Now let $k$ be an algebraically closed field. The Weak Hilbert Nullstellensatz says that every maximal ideal of $k[X_1,\dots ,X_n]$ is uniquely of the formTo prove it, the residue field $k[X]/\mathfrak{m}$ is a field generated as a $k$-algebra by the images of the variables. The Zariski lemma makes it finite algebraic over $k$, and algebraic closedness makes it $k$. Thus each $X_i$ has an image $a_i\in k$. The evaluation map has kernel the displayed ideal: subtracting the constant value of a polynomial expresses its difference as a combination of $X_i-a_i$. That kernel is maximal and contained in $\mathfrak{m}$, so equality holds. Conversely every evaluation kernel is maximal because its quotient is $k$. Uniqueness follows from the variable images. Every proper ideal is contained in a maximal ideal, so it has a common zero; equivalently, an ideal with no common zero is the whole ring.

For an ideal $I\subseteq k[X_1,\dots ,X_n]$, let $V(I)$ be its common-zero set and let $I(V(I))$ be all polynomials vanishing on that set. The Strong Hilbert Nullstellensatz statesThe inclusion $\sqrt{I}\subseteq I(V(I))$ follows because a field has no nonzero nilpotent elements. For the other inclusion, take $f$ vanishing on $V(I)$, with $f\ne 0$, and form the Rabinowitsch trick idealIt has no common zero: at a zero of $I$ the second generator has value one. The Weak Hilbert Nullstellensatz in $n+1$ variables gives $J=(1)$. Hence a finite identity has the form $1={\sum }_j{h}_j(X,T)g_j(X)+h(X,T)(1-Tf)$, with $g_j\in I$. Substitute $T=f^{-1}$ in the localization of a ring $k[X{]}_f$. Clearing the finitely many powers of $f$ occurring in denominators gives $f^r\in I$ for some $r$, so $f\in \sqrt{I}$. The case $f=0$ is immediate. This completes all three proofs. The algebraically closed hypothesis belongs to the two forms of the Hilbert Nullstellensatz; it was not needed for the Noether normalization lemma or the Zariski lemma.

An integral extension $R\subseteq T$ means that every element $t\in T$ satisfies a monic polynomial with coefficients in $R$:The Krull dimension is the supremum of the lengths of strict chains of primes:There need not be a finite bound on these lengths.

Here are the prime-ideal facts behind dimension preservation, with their relevant proofs. If a domain $B$ is integral over a subdomain $A$ and $B$ is a field, then $A$ is a field: for $0\ne a\in A$, a monic equation for $a^{-1}\in B$, multiplied by a suitable power of $a$, expresses $a^{-1}$ as an element of $A$. Conversely, an integral domain integral over a field is itself a field: a nonzero element has a polynomial equation with nonzero constant term after removing any factor of the indeterminate, and that equation expresses its inverse. Applied to quotients, these observations show that a prime in an integral extension is maximal if and only if its contraction is maximal.

For the Lying-over theorem, localize $R\subseteq T$ at $S=R\setminus \mathfrak{p}$. The inclusion remains injective and integral, and $S^{-1}T$ is nonzero. Any maximal ideal of $S^{-1}T$ contracts to the unique maximal ideal of $R_{\mathfrak{p}}$, by the field criterion just proved. The prime ideal correspondence for localization then gives a prime of $T$ contracting to $\mathfrak{p}$.

For the going-up theorem, suppose $\mathfrak{q}$ lies over $\mathfrak{p}$ and $\mathfrak{p}\subseteq {\mathfrak{p}}^{\prime }$. The quotient inclusion $R/\mathfrak{p}\subseteq T/\mathfrak{q}$ is integral. Apply Lying-over theorem to the prime ${\mathfrak{p}}^{\prime }/\mathfrak{p}$; lifting back gives ${\mathfrak{q}}^{\prime }\supseteq \mathfrak{q}$ contracting to ${\mathfrak{p}}^{\prime }$.

For the incomparability theorem for integral extensions, suppose $\mathfrak{q}\subseteq {\mathfrak{q}}^{\prime }$ contract to the same $\mathfrak{p}$. After localizing at $R\setminus \mathfrak{p}$, both are maximal ideals, because they lie over the maximal ideal of $R_{\mathfrak{p}}$. Their inclusion is therefore equality. The bijection between primes under localization gives $\mathfrak{q}={\mathfrak{q}}^{\prime }$.

Now contract a strict chain of primes in $T$. Incomparability theorem for integral extensions ensures that every contraction remains strict, so $\dim T\le \dim R$. Conversely, Lying-over theorem lifts the first member of any finite chain in $R$, and repeated going-up theorem lifts the remaining members; different contractions ensure a strict chain in $T$. Taking suprema, including the possibility of infinity, givesThis proves that integral extensions preserve Krull dimension.

For the given quotient, put $B=k[Y][X]/(X^2+YX+Y^3)$. The relation is monic in $X$, so monic polynomial division gives a unique representative $a(Y)+b(Y)X$. Thus $k[Y]\hookrightarrow B$ is injective and $B$ is free of rank two as a $k[Y]$-module. In particular, $B$ is integral over $k[Y]$. The one-variable polynomial ring has dimension one: its zero prime is strictly below $(Y)$, and every nonzero prime is maximal because $k[Y]$ is a principal ideal domain. HenceThis is an instance of dimension of a monic plane hypersurface. No irreducibility or algebraic-closure assumption on $k$ is needed; monicity supplies the integral extension in every characteristic.

We use three theorems for an integral extension $S\subseteq R$, none requiring Noetherian hypotheses. The Lying-over theorem says that each prime ideal $\mathfrak{p}$ of $S$ is $\mathfrak{q}\cap S$ for some prime ideal $\mathfrak{q}$ of $R$. The going-up theorem says that if $\mathfrak{p}\subseteq {\mathfrak{p}}^{\prime }$ in $S$ and $\mathfrak{q}\cap S=\mathfrak{p}$, there is ${\mathfrak{q}}^{\prime }\supseteq \mathfrak{q}$ with ${\mathfrak{q}}^{\prime }\cap S={\mathfrak{p}}^{\prime }$. The incomparability theorem for integral extensions says that comparable prime ideals of $R$ with the same contraction to $S$ are equal.

Take any strict chainin $R$. The contraction of an ideal operation gives ${\mathfrak{p}}_j={\mathfrak{q}}_j\cap S$, which are prime ideals of $S$, by the proof in Question 1(b), and remain strictly increasing by the incomparability theorem for integral extensions. Thus every chain length in $R$ occurs in $S$, giving $\dim R\le \dim S$.

Conversely, take any strict chain ${\mathfrak{p}}_0⊊\cdots ⊊{\mathfrak{p}}_n$ in $S$. Use the Lying-over theorem to choose ${\mathfrak{q}}_0$ over ${\mathfrak{p}}_0$, then repeatedly use the going-up theorem to obtain ${\mathfrak{q}}_0\subseteq \cdots \subseteq {\mathfrak{q}}_n$ with the prescribed contractions. Each inclusion must be strict, since its contractions are distinct. Hence every chain length in $S$ occurs in $R$, giving $\dim S\le \dim R$.

Taking suprema proves integral extensions preserve Krull dimension:The argument works equally well when the dimensions are infinite, since it compares all finite chain lengths.