In abstract algebra, the Eakin–Nagata theorem states: given commutative rings formula_1 such that formula_2 is finitely generated as a module over formula_3, if formula_2 is a Noetherian ring, then formula_3 is a Noetherian ring.