Hilbert basis theorem
This article defines a result where the base ring (or one or more of the rings involved) is Noetherian
View more results involving Noetherianness or Read a survey article on applying Noetherianness
This article gives the statement, and possibly proof, of a commutative unital ring property satisfying a commutative unital ring metaproperty
View all commutative unital ring metaproperty satisfactions  View all commutative unital ring metaproperty dissatisfactions Get help on looking up metaproperty (dis)satisfactions for commutative unital ring properties

Contents
Name
This result is termed the Hilbert basis theorem.
Statement
Propertytheoretic statement
The property of commutative unital rings of being Noetherian is polynomialclosed.
Verbal statement
The polynomial ring over a Noetherian ring is Noetherian.
Symbolic statement
Let be a Noetherian ring. Then the polynomial ring (where is an indeterminate) is also a Noetherian ring.
Proof
Proof idea
The proof rests on the notion of the leading coefficient map and the fact that if the image of an ideal under the leading coefficient map is Noetherian, then so is the original ideal.
Further information: image under leading coefficient map is Noetherian implies finitely generated
Construction of a finite generating set
Let denote the ideal consisting of all possible leading coefficinets of elements of , and denote the set of all possible leading coefficients of degree polynomials in .
Then form an ascending chain of ideals whose union is .
Since is finitely generated, there exists such that . Now consider the subset of constructed as follows:
 For each , pick a finite generating set for , and for each generator, pick a polynomial of degree with that generating set as leading coefficient. Call such a set of polynomials , this is a subset of .
 Let
Proof of construction
Pick any polynomial . Now by construction, one can find polynomials such that each has degree at most that of and the leading coefficient of is in the span of the leading coefficients of . We can use this to construct a polynomial in the ideal spanned by , which has the same degree and same leading coefficient as . The difference of these is either zero, or a polynomial of degree strictly smaller than that of .
The proof now follows by induction on degree.
Remarks
The idea is to use the following fact: if the leading coefficient of a polynomial is in the ideal generated by leading coefficients of polynomials , and each has degree not larger than , then is congruent to a polynomial of strictly smaller degree, modulo the ideal generated by .
There are two main aspects here: firstly, that the leading coefficient should be generated by the leading coefficients of the other polynomials, and secondly, that the degree should be at least as much as that of each polynomial. The absence of either condition can render the conclusion false. This is why, when constructing a generating set for an ideal in the polynomial ring, we need to construct separate generating sets for leading coefficients of all degrees, rather than just taking a set of representative polynomials whose leading coefficients span the ideal of leading coefficients.
This explains why the corresponding proof does not work for principal ideal domains. For instance, if we consider the ring of rational integers , and take the ideal generated by in , we see that:
 The ideal of leading coefficients is the whole ring
 However, the element , whose leading coefficient generates the ideal of leading coefficients, does not generate the ideal. This is because the polynomial has smaller degree.
 Rather, the ideal