The Hilbert basis theorem states that if R is a Noetherian ring, then the polynomial ring R[x] is also Noetherian. By induction, R[x₁, ..., xₙ] is Noetherian for any finite number of variables. This theorem guarantees that every ideal in a polynomial ring over a Noetherian ring (such as a field or ℤ) is finitely generated — the foundational finiteness result that makes computational algebra and algebraic geometry possible.
The Hilbert basis theorem, proved by David Hilbert in 1890, is one of the foundational results of commutative algebra. It answers a simple question with profound consequences: if R is a Noetherian ring, is the polynomial ring R[x] also Noetherian? The answer is yes, and by induction, R[x₁, ..., xₙ] is Noetherian for any finite number of variables. Since every field is trivially Noetherian, this immediately implies that k[x₁, ..., xₙ] — the ring in which algebraic geometry and computational algebra live — has the Noetherian property: every ideal is finitely generated.
The proof is elegant and non-constructive. Given an ideal I of R[x], you examine the leading coefficients of polynomials in I. For each degree d, the leading coefficients of degree-d elements of I form an ideal Lₐ in R, and these ideals form an ascending chain L₀ ⊆ L₁ ⊆ ···. Since R is Noetherian, this chain stabilizes at some degree N. You then choose finitely many polynomials from I whose leading coefficients generate each Lₐ for d ≤ N. Any polynomial in I can be reduced by these generators (subtracting appropriate multiples to kill leading terms), and the reduction process terminates because the leading coefficient ideals are covered. The resulting finite set generates I.
Hilbert's original motivation was invariant theory. He wanted to prove that the ring of polynomial invariants under a group action is finitely generated. The basis theorem was the key lemma: it showed that any ideal in a polynomial ring has a finite generating set, which he then used to prove finite generation of invariant rings. The theorem's non-constructive nature scandalized contemporaries — Gordan reportedly said "this is not mathematics, it is theology." But the theorem's power lies precisely in its abstraction: it applies to any Noetherian coefficient ring, not just fields, and requires no algorithm to construct the generators.
The theorem has a clean converse: R[x] Noetherian implies R Noetherian (since R is a quotient of R[x]). But the result emphatically does not extend to infinitely many variables: k[x₁, x₂, ...] is not Noetherian. It also does not extend to power series in general, though it turns out that if R is Noetherian then R[[x]] (formal power series) is also Noetherian — a separate theorem requiring a different proof. The Hilbert basis theorem, combined with the Hilbert Nullstellensatz, forms the algebraic foundation of classical algebraic geometry.
No topics depend on this one yet.