Noetherian ring

A ring R is Noetherian if every ascending chain of ideals I₁ ⊆ I₂ ⊆ ... eventually stabilizes, meaning there exists n such that I_n = I_n+1 = ... . This condition is equivalent to the requirement that every ideal is finitely generated, a fact that makes Noetherian rings particularly tractable. The condition is named after Emmy Noether, who introduced it in her 1921 paper Idealtheorie in Ringbereichen.

Noetherianity is preserved under many ring operations: quotient rings, localizations, and finite direct products of Noetherian rings remain Noetherian. The Hilbert basis theorem states that if R is Noetherian, then the polynomial ring R[x] is also Noetherian, a cornerstone result that underpins much of algebraic geometry.¹

Fields, principal ideal domains (such as the integers Z), and finite rings are all Noetherian. More generally, any ring that is a quotient of a Noetherian ring is Noetherian, so finitely generated algebras over a field are Noetherian by the Hilbert basis theorem.²

Non-Noetherian rings are abundant: the ring of polynomials in infinitely many variables over a field is not Noetherian, as the chain of ideals generated by the first n variables does not stabilize. Similarly, the ring of algebraic integers (the integral closure of Z in the algebraic numbers) is not Noetherian, despite being a Bézout domain. These examples illustrate that Noetherianity is a strong finiteness condition that fails in many natural settings.³

In algebraic geometry, Noetherian rings are the foundation for the theory of schemes, as most schemes studied in practice are locally Noetherian. The condition ensures that the Zariski topology is well-behaved, that every affine scheme has a finite decomposition into irreducible components, and that coherent sheaves have well-defined ranks.⁴

In commutative algebra, Noetherian rings are the setting for primary decomposition, dimension theory, and the theory of associated primes. The ascending chain condition is also used to prove the existence of maximal ideals in many contexts, and it underlies the structure theory of finitely generated modules over Noetherian rings, including the classification of finitely generated abelian groups.⁵

Beyond the standard theory, Noetherian rings have surprising connections to logic and model theory. The notion of a Noetherian ring is not first-order axiomatizable, but the class of rings with the ascending chain condition on radical ideals (the so-called Noetherian spectrum) is, and this has been studied in the model theory of rings.

Another subtlety is that the ascending chain condition on ideals does not imply the same condition on submodules of arbitrary modules; a module over a Noetherian ring need not be Noetherian unless it is finitely generated. This distinction is often overlooked in introductory treatments. Additionally, the concept of a Noetherian ring generalizes to noncommutative rings, where the condition is applied to left or right ideals separately, leading to left-Noetherian and right-Noetherian rings that are not necessarily both.⁶

Ideal

A subset of a ring closed under addition and multiplication by ring elements.

Ascending chain condition

The property that every increasing sequence of ideals stabilizes.

Hilbert basis theorem

A theorem stating that if a ring is Noetherian, then so is its polynomial ring in finitely many variables.

Primary decomposition

A decomposition of an ideal into primary ideals, generalizing factorization into prime powers.