Hilbert's basis theorem

Hilbert's basis theorem states that a polynomial ring in finitely many variables over a Noetherian ring is Noetherian. Equivalently, every ideal in that ring has a finite generating set.

Noetherian ring: A ring is Noetherian if every ideal in it is finitely generated. The theorem starts with this property in the coefficient ring and preserves it in polynomial rings.
Commutative ring: A ring in which multiplication is commutative. The theorem is usually stated for commutative coefficient rings and their polynomial rings.
David Hilbert: German mathematician David Hilbert shaped modern algebra, number theory, geometry, and mathematical physics. Hilbert proved the finite-generation result that became this theorem's namesake.
Hilbert basis theorem for modules: A module-theoretic extension asserting that polynomial extensions of Noetherian rings retain Noetherian module behavior. It generalizes the ring result to finitely generated modules over polynomial rings.
Leading coefficient ideal: An ideal formed from leading coefficients of polynomials in a specified ideal, usually after fixing a degree bound. Collecting leading coefficients turns polynomial ideal generation into finite generation in the base ring.
Finitely generated ideal: An ideal generated by a finite set of ring elements. The theorem says every ideal in the resulting polynomial ring has this form.
Invariant theory: The study of functions unchanged by transformations, especially polynomial invariants of group actions. Hilbert's finiteness methods arose in the study of polynomial invariants.
Hilbert's Nullstellensatz: A theorem relating ideals in polynomial rings over algebraically closed fields to algebraic sets. Finite generation of polynomial ideals underpins the algebraic setting of this theorem.
Polynomial degree: The degree of a nonzero polynomial is the highest total exponent or term order assigned to its nonzero terms. Degree bounds organize the leading-coefficient argument used to build finitely many generators.
Ideal generation: The process of forming the smallest ideal containing a specified set of ring elements. Understanding generation clarifies what the theorem's finiteness conclusion asserts.

Linked from 5 pages

Commutative algebraRelated: It guarantees that polynomial equations retain finite generation under adjoining variables.