Why is finite generation of ideals such a useful hypothesis?

It ensures that ideals, and hence the algebraic sets they define, are described by finitely much data, that ascending chains of ideals cannot continue forever, and that inductive arguments terminate. These are exactly the conditions needed for primary decomposition and dimension theory.

Are most rings encountered in practice Noetherian?

Yes. Fields, principal-ideal domains, rings of integers, and any finitely generated algebra over them are Noetherian by the Hilbert basis theorem. Non-Noetherian rings exist but are comparatively exotic in geometry and number theory.

Noetherian Ring

A Noetherian ring is one in which every ideal is finitely generated, equivalently whose ideals satisfy the ascending chain condition, a finiteness hypothesis that makes ideal theory tractable.

Definition

A commutative ring is Noetherian if every ascending chain of ideals stabilizes, equivalently if every ideal is finitely generated, equivalently if every nonempty collection of ideals has a maximal element.

Scope

This topic covers the equivalent formulations of the Noetherian condition, the Hilbert basis theorem, Noetherian modules, the persistence of the property under quotients, localization, and finite generation, and its role as the standing hypothesis of commutative algebra and algebraic geometry.

Core questions

What equivalent conditions define a Noetherian ring?
Why does the Hilbert basis theorem keep polynomial rings Noetherian?
How does the Noetherian property pass to quotients, localizations, and finitely generated algebras?
Why is the Noetherian hypothesis nearly ubiquitous in commutative algebra?

Key theories

Equivalent formulations: The ascending chain condition on ideals, the finite generation of every ideal, and the maximal-element condition on families of ideals are equivalent, giving several interchangeable definitions of a Noetherian ring.
Hilbert basis theorem: If a ring is Noetherian then so is the polynomial ring over it in finitely many variables, so finitely generated algebras over fields and over the integers are Noetherian.
Stability of the property: Quotients and localizations of Noetherian rings are Noetherian, and finitely generated modules over a Noetherian ring are Noetherian, so the class is closed under the standard constructions of commutative algebra.

Clinical relevance

The Noetherian condition is the finiteness hypothesis underlying nearly all of commutative algebra and algebraic geometry: it guarantees that primary decomposition exists, that varieties are cut out by finitely many equations, and that key constructions terminate, so the rings arising in geometry and number theory are almost always Noetherian.

History

David Hilbert proved his basis theorem in 1890 in the context of invariant theory, but the abstract ascending chain condition and the systematic theory of Noetherian rings are due to Emmy Noether in the 1920s, after whom the concept is named.

Key figures

Emmy Noether
David Hilbert
Emanuel Lasker

Seminal works

atiyah1969
eisenbud1995
matsumura1989

Frequently asked questions

Why is finite generation of ideals such a useful hypothesis?: It ensures that ideals, and hence the algebraic sets they define, are described by finitely much data, that ascending chains of ideals cannot continue forever, and that inductive arguments terminate. These are exactly the conditions needed for primary decomposition and dimension theory.
Are most rings encountered in practice Noetherian?: Yes. Fields, principal-ideal domains, rings of integers, and any finitely generated algebra over them are Noetherian by the Hilbert basis theorem. Non-Noetherian rings exist but are comparatively exotic in geometry and number theory.