Hilbert Basis Theorem

Statement

A ring $R$ is Noetherian if every ideal of $R$ is finitely generated (equivalently, every ascending chain of ideals $I_1 \subseteq I_2 \subseteq \cdots$ eventually stabilises).

Hilbert Basis Theorem. If $R$ is a Noetherian ring, then the polynomial ring $R[x]$ is also Noetherian.

Corollary. By induction, $R[x_1, x_2, \ldots, x_n]$ is Noetherian for any $n \ge 0$.

In particular, $\mathbb{Z}[x_1, \ldots, x_n]$ and $k[x_1, \ldots, x_n]$ (for a field $k$) are Noetherian — every ideal in these rings is finitely generated.

Visualization

Ascending chain condition at work in $\mathbb{Z}[x]$:

Ideal chain in Z[x]:
  (2, x)   ⊂   (2)   ⊂   Z[x]
   |               |
   fg.             all multiples of 2

Suppose an ideal $I \subseteq \mathbb{Z}[x]$ has an infinite strictly ascending chain:

I_1 ⊂ I_2 ⊂ I_3 ⊂ ...    (strictly)

Hilbert says this cannot happen. Proof sketch: the leading coefficients of degree-$d$ elements of $I_n$ form an ascending chain in $\mathbb{Z}$ (Noetherian), which stabilises — propagating up degree by degree stabilises all of $I_n$.

Finite generation example. The ideal $(x^2, xy, y^2) \subseteq k[x,y]$ is generated by 3 elements. Without Hilbert's theorem, ideals in $k[x,y]$ might require infinitely many generators — but they never do.

Ring	Noetherian?	Reason
$\mathbb{Z}$	Yes	PID (all ideals principal)
$k$ (field)	Yes	Only ideals are $(0)$ and $k$
$\mathbb{Z}[x]$	Yes	Hilbert: $\mathbb{Z}$ Noetherian
$k[x_1,\ldots,x_n]$	Yes	Hilbert, $n$ times
$k[x_1, x_2, \ldots]$	No	$(x_1) \subsetneq (x_1,x_2) \subsetneq \cdots$

Proof Sketch

1. Let $I \subseteq R[x]$ be an ideal. Define $L_d = \{$leading coefficients of elements of $I$ of degree $\le d\} \cup \{0\}$. Each $L_d$ is an ideal of $R$ and $L_0 \subseteq L_1 \subseteq L_2 \subseteq \cdots$.

2. Stabilisation. Since $R$ is Noetherian, the chain $L_0 \subseteq L_1 \subseteq \cdots$ stabilises at some $L_N$. Each $L_d$ is finitely generated: pick generators $a_{d,1}, \ldots, a_{d,m_d} \in R$ of $L_d$, lifted from degree-$d$ polynomials $f_{d,1}, \ldots, f_{d,m_d} \in I$.

3. Finite generating set. The finite set $\{f_{d,j} : 0 \le d \le N,\, 1 \le j \le m_d\}$ generates $I$: given any $f \in I$, subtract multiples of these generators to lower the degree, inducting down to degree $0$.

4. Every ideal is finitely generated, so $R[x]$ is Noetherian.

Connections

Hilbert's theorem shows that polynomial rings over $\mathbb{Z}$ or a field are Noetherian, which is why algebraic geometry (varieties defined by polynomial equations) has such well-behaved ideal theory. The PID structure of $\mathbb{Z}$ (see PID Implies UFDPID Implies UFD$$\text{PID} \implies \text{UFD}$$Every principal ideal domain is a unique factorisation domain: elements factor uniquely into irreducibles up to units and order.Read more →) is the base case. The theorem also underpins Nakayama's LemmaNakayama's Lemma$$M = \mathfrak{m}M,\; M \text{ f.g.} \implies M = 0 \text{ (local ring)}$$A finitely generated module annihilated modulo the Jacobson radical is zero — a powerful tool for lifting generators and splitting modules.Read more → in the finitely-generated module setting.

-- Mathlib: Polynomial.isNoetherianRing
-- in Mathlib.RingTheory.Polynomial.Basic (line 733)

/-- If R is Noetherian, then R[X] is Noetherian (Hilbert Basis Theorem). -/
example (R : Type*) [CommRing R] [IsNoetherianRing R] : IsNoetherianRing R[X] :=
  Polynomial.isNoetherianRing

/-- Iterated: k[X, Y] is Noetherian for a field k. -/
example (k : Type*) [Field k] : IsNoetherianRing k[X][X] :=
  Polynomial.isNoetherianRing