Noether Normalization

Core Idea

The Noether normalization lemma states that every finitely generated algebra over a field k is a module-finite (integral) extension of a polynomial subring k[y₁, ..., y_d]. The integer d equals the Krull dimension of the algebra. This result provides a uniform structure theorem: every affine algebra "looks like" a polynomial ring, up to an integral extension, and connects the algebraic notion of dimension to transcendence degree.

Explainer

The Noether normalization lemma says that every finitely generated k-algebra A (where k is a field) can be expressed as a module-finite extension of a polynomial subring. Precisely: there exist elements y₁, ..., y_d ∈ A, algebraically independent over k, such that A is integral over k[y₁, ..., y_d], and d equals the Krull dimension of A. This is one of the most fundamental structure theorems in commutative algebra — it says that no matter how complicated A looks, it is "a polynomial ring plus a finite extension."

The proof works by induction on the number of generators. If A = k[x₁, ..., xₙ] and the generators are algebraically dependent (satisfying some polynomial relation f(x₁, ..., xₙ) = 0), a change of variables makes xₙ integral over k[x₁, ..., xₙ₋₁] (by ensuring f is monic in xₙ after substitution). Over infinite fields, generic linear substitutions xᵢ → xᵢ - cᵢxₙ work; over finite fields, substitutions xᵢ → xᵢ - xₙ^{pⁱ} for suitable powers are needed. Repeating until the remaining generators are algebraically independent produces the desired polynomial subring.

Geometrically, Noether normalization says that every affine variety V ⊂ kⁿ admits a finite surjective map to an affine space k^d of the right dimension. For a curve (d = 1), this means projecting onto a line; for a surface (d = 2), projecting onto a plane. The finiteness means each point in k^d has only finitely many preimages in V. This is the algebraic geometry analog of the fact that every compact manifold admits a finite-sheeted covering map to a simpler space.

The theorem has several important consequences. It proves that the Krull dimension of a finitely generated k-algebra equals its transcendence degree over k — connecting two different notions of dimension. It implies the Nullstellensatz (Hilbert's theorem on maximal ideals) as a corollary. And it is the starting point for the theory of Hilbert polynomials and degree in algebraic geometry. Without Noether normalization, there would be no systematic way to reduce questions about general algebras to the concrete, computable setting of polynomial rings.