A theorem asserting that if R is a Noetherian commutative ring then the polynomial ring R[x1,…,xn] in finitely many indeterminates over R is also Noetherian; equivalently, every ideal of R[x1,…,xn] is finitely generated when R satisfies the ascending chain condition on ideals.

Principle

The Noetherian property is preserved under adjoining finitely many polynomial variables: finiteness of ideal generation in the base ring forces finiteness in the corresponding finite polynomial extension.

Demonstration

Take a field k (which is Noetherian) and form k[x1,…,xn]; the theorem implies every ideal of k[x1,…,xn] is finitely generated. Concretely, the ideal generated by all partial derivatives of a polynomial f in k[x,y] is finitely generated, so computations and elimination procedures terminate.

Misapplication

Assuming the same finiteness holds for polynomial rings in infinitely many variables, or assuming a non-Noetherian base ring becomes Noetherian after adjoining variables; both are false in general.

Consequence

Provides a foundation for finiteness arguments across algebraic geometry and commutative algebra: generators for ideals exist, algorithms for Gröbner bases terminate in the finite-variable case, and many structural results reduce to finite data.

Reversal

The converse direction is essentially forced by quotienting: if R[x1,…,xn] is Noetherian then R ≅ R[x1,…,xn]/(x1,…,xn) is Noetherian; thus for finitely many variables the two properties are equivalent, but the usual statement emphasizes the constructive direction from R to R[vars].

Boundary

Requires a commutative ring with unity and finitely many polynomial variables. It does not apply to infinitely generated polynomial algebras, to many noncommutative polynomial constructions, or to contexts lacking the ring-theoretic notion of Noetherian (ACC on ideals).

Semantic Tension

Noetherian (ACC on ideals) should not be conflated with being finitely generated as an algebra; a ring can be Noetherian without being finitely generated over a subring, and the theorem speaks specifically to ideal-theoretic finiteness rather than algebra generation.

Synthesis

Hilbert Basis Theorem ties the local finiteness condition on ideals in a base ring to a global finiteness statement for polynomial extensions in finitely many variables, enabling finite presentations and computational control in commutative algebra and algebraic geometry.