 Hilbert's basis theorem

In mathematics, specifically commutative algebra, Hilbert's basis theorem says that a polynomial ring over a Noetherian ring is Noetherian.If formula_1 is a ring, let formula_2 denote the ring of polynomials in the indeterminate formula_3 over formula_1.