A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.
A commutative ring is Noetherian if every ideal is finitely generated, or equivalently, if every ascending chain of ideals eventually stabilizes. This finiteness condition is the single most important hypothesis in commutative algebra, ensuring that the ideal structure of a ring is tractable enough for decomposition, dimension theory, and homological methods to work.
The Noetherian condition is the most pervasive hypothesis in commutative algebra. Named after Emmy Noether, who recognized its unifying role in the 1920s, it imposes a finiteness constraint on the ideal structure of a ring that makes almost every major theorem in the subject possible. A commutative ring R is Noetherian if every ideal of R is finitely generated — that is, for every ideal I, there exist elements a₁, ..., aₙ ∈ I such that I = (a₁, ..., aₙ), the smallest ideal containing them.
There are three equivalent ways to state the Noetherian condition. First, every ideal is finitely generated (the definition above). Second, the ascending chain condition (ACC): every ascending chain I₁ ⊆ I₂ ⊆ I₃ ⊆ ··· of ideals eventually stabilizes, meaning there exists N such that Iₙ = Iₙ for all n ≥ N. Third, the maximal condition: every nonempty collection of ideals has a maximal element under inclusion. These equivalences are not deep — they follow from straightforward set-theoretic arguments — but having three formulations available is powerful because different proofs call for different versions.
The most important examples of Noetherian rings are fields, the integers ℤ, and polynomial rings k[x₁, ..., xₙ] over a field (by the Hilbert basis theorem). More generally, any quotient or localization of a Noetherian ring is Noetherian. The rings that arise in algebraic geometry — coordinate rings of algebraic varieties — are quotients of polynomial rings and hence Noetherian. This is why the Noetherian hypothesis is almost always present in algebraic geometry: the geometric objects people study correspond to Noetherian rings.
The Noetherian condition fails when ideals can be "infinitely complex." The polynomial ring k[x₁, x₂, x₃, ...] in infinitely many variables is the standard counterexample: the chain (x₁) ⊆ (x₁, x₂) ⊆ (x₁, x₂, x₃) ⊆ ··· never stabilizes. Valuation rings of non-discrete valuations provide another class of non-Noetherian rings that appear naturally in number theory. When the Noetherian condition fails, the theory becomes dramatically harder — primary decomposition may not exist, dimension theory breaks down, and homological methods lose their grip. This is why Noether's insight was so transformative: she identified the precise finiteness condition that makes the rest of the theory work.