Hilbert basis theorem

Hilbert basis theorem
Name	Hilbert basis theorem
Field	David Hilbert
Introduced	1890
Contributors	David Hilbert, Emmy Noether, Krull, Emil Artin, Oscar Zariski, André Weil, Alexander Grothendieck, Jean-Pierre Serre, Claude Chevalley, Noetherian ring theory

Hilbert basis theorem The Hilbert basis theorem asserts that if a commutative ring R is Noetherian, then the polynomial ring R[x] in one indeterminate is also Noetherian. This foundational result, due to David Hilbert, underpins modern algebraic geometry and commutative algebra by ensuring finiteness properties used in theorems of Emmy Noether, Krull, Emil Artin, Oscar Zariski, and later developments by André Weil and Alexander Grothendieck.

Statement

The theorem states: if R is a Noetherian commutative ring, then the polynomial ring R[x] is Noetherian. Equivalently, every ideal of R[x] is finitely generated. The same assertion holds for polynomial rings in finitely many indeterminates R[x_1,...,x_n], a fact used by Emmy Noether in her structural work and by Krull in dimension theory. The result links to finiteness conditions studied by Emil Artin and to foundational finiteness theorems employed by Oscar Zariski in algebraic geometry and by André Weil in number theory.

Historical background

The theorem was published by David Hilbert in 1890 as part of his work on invariant theory, replacing earlier reliance on explicit constructions with abstract finiteness arguments. Hilbert’s approach influenced contemporaries and successors such as Emmy Noether, whose axiomatic methods in the 1920s reorganized algebraic theory, and Emil Artin, who applied such finiteness results to class field theory and algebraic structures. Later, Krull developed dimension theory building on Noetherian properties, while Oscar Zariski and André Weil used the theorem in formulating algebraic varieties and schemes. The framework was a stepping stone toward the categorical and cohomological methods introduced by Alexander Grothendieck and refined by Jean-Pierre Serre and Claude Chevalley.

Proofs

Hilbert’s original proof used the method of infinite descent and was non-constructive, relying on properties of homogeneous components in polynomial rings; it influenced Emmy Noether’s later axiomatic treatments. Modern expositions present several proofs: an argument using leading coefficients and ascending chains of ideals attributed to classical commutative algebra as in work by Noether and Krull; a proof via the theory of Gröbner bases developed later by Heinz Günther Galland and contemporary founders of computational algebra such as Bruno Buchberger; and categorical proofs employing properties of module theory and finiteness lemmas used by Emil Artin and Alexander Grothendieck. Constructive proofs using algorithms for ideal membership and generators connect to work in computational algebra by Bruno Buchberger and David Cox.

Consequences and applications

The theorem yields that coordinate rings of affine algebraic sets over fields are Noetherian, a fact exploited in Oscar Zariski’s foundation of algebraic geometry and in André Weil’s treatment of varieties. It guarantees the existence of finite generating sets for ideals, critical for the development of primary decomposition studied by Krull and Emmy Noether. In algebraic number theory, the finiteness properties influenced structural results employed by Emil Artin and Helmut Hasse. In modern mathematics, the theorem underlies scheme theory advanced by Alexander Grothendieck and cohomological methods developed by Jean-Pierre Serre and Grothendieck’s school, and it appears in algorithmic contexts in computational algebraic geometry by researchers like Bruno Buchberger and David Cox.

Examples and counterexamples

Examples: If R is a principal ideal domain such as Euclidean domain examples like Z or polynomial rings over fields such as F_p or C, then R[x] is Noetherian; this covers rings used by Carl Friedrich Gauss in arithmetic and by Richard Dedekind in ideal theory. The theorem applies to coordinate rings arising in work by Oscar Zariski and André Weil. Counterexamples: the theorem fails without the Noetherian hypothesis—there exist non-Noetherian rings R for which R[x] is non-Noetherian, examples constructed in studies by Krull and later explicit pathological examples provided in commutative algebra texts influenced by Emmy Noether and Krull. Further counterexamples to naive extensions appear in investigations by Nagata concerning non-Noetherian behavior in algebraic geometry.

Generalizations and related results

Generalizations include the Hilbert–Nagata theorem and results by Masayoshi Nagata on Noetherian properties in invariant theory and algebraic geometry. The theorem extends to polynomial rings in finitely many indeterminates R[x_1,...,x_n], a result used by Emmy Noether and formalized in modern algebra by Krull and Shafarevich. Related finiteness theorems include the Noether normalization lemma employed by Oscar Zariski and André Weil, the Lasker–Noether theorem on primary decomposition due to Emanuel Lasker and Emmy Noether, and the work on dimension theory by Krull. Cohomological and scheme-theoretic generalizations are central to Alexander Grothendieck’s reformulation of algebraic geometry and to structural results used by Jean-Pierre Serre and Claude Chevalley.

Category:Commutative algebra