Noetherian ring

Noetherian ring
Unknown authorUnknown author Publisher: Mathematical Association of America [3] · Public domain · source
Name	Noetherian ring
Type	Algebraic structure
Field	David Hilbert-inspired algebra
Notable	Emmy Noether

Noetherian ring A Noetherian ring is a ring satisfying the ascending chain condition on ideals, an axiom central to modern algebra that enabled advances by Emmy Noether and contemporaries. It underpins structure theorems used by researchers at institutions such as University of Göttingen, influences algebraic geometry practiced at École Normale Supérieure, and is crucial in the work of figures like Jean-Pierre Serre and Alexander Grothendieck. The concept interacts with developments in the theories of David Hilbert, Oscar Zariski, and Hermann Weyl.

Definition and basic properties

A ring R is Noetherian if every ascending chain I1 ⊆ I2 ⊆ I3 ⊆ ... of ideals stabilizes, equivalently each ideal of R is finitely generated; these formulations relate to theorems of David Hilbert and the Hilbert basis theorem developed in collaboration with institutions like Kaiser Wilhelm Society. Noetherian rings are closed under many algebraic constructions studied by Emmy Noether and later by scholars at Princeton University and University of Chicago. Basic properties include that quotients R/I inherit the property, and that finite R-modules reflect Noetherian behavior, concepts used by Jean Leray and Alexander Grothendieck.

Examples and non-examples

Classical examples include polynomial rings k[x1,...,xn] over a field k, used extensively in the work of David Hilbert and Oscar Zariski, and rings of integers like Z, central in the studies of Carl Friedrich Gauss and Ernst Kummer. Regular local rings studied by Jean-Pierre Serre and coordinate rings of affine varieties in Grothendieckian algebraic geometry provide further examples. Non-examples include rings of polynomials in infinitely many variables, rings of entire functions considered in the analyses of Bernhard Riemann and Karl Weierstrass-inspired function theory, and certain valuation rings arising in valuation theory developed by Alexander Ostrowski.

Noetherian modules and chain conditions

A module M over a ring R is Noetherian if every ascending chain of submodules stabilizes; this mirrors module-theoretic frameworks used by Emmy Noether and later by algebraists at Massachusetts Institute of Technology. The Noetherian condition for modules parallels the Artinian condition attributed to concepts used by Emil Artin at institutions such as Columbia University. Key equivalences—every submodule finitely generated implies chain condition—appear in texts influenced by Richard Dedekind and Richard Brauer. Noetherian modules play a role in representation theory pursued at University of Hamburg and in homological algebra developed by Samuel Eilenberg and Henri Cartan.

Ideal theory and primary decomposition

In Noetherian rings, ideals admit primary decompositions analogous to prime factorization in number theory by Srinivasa Ramanujan and Ernst Kummer; such decompositions were formalized through work influenced by Emmy Noether and later refined by Oscar Zariski and Pierre Samuel. The Lasker–Noether theorem gives existence of primary decompositions, a result connected to methods from David Hilbert and used in algebraic geometry by Alexander Grothendieck. Associated primes, unmixedness, and the dimension theory of ideals connect to research at Institut des Hautes Études Scientifiques and applications in singularity theory studied by Heisuke Hironaka.

Operations preserving Noetherian property

The Hilbert basis theorem asserts that if R is Noetherian then the polynomial ring R[x] is Noetherian, a result stemming from David Hilbert's foundational work and refined in expositions by Emmy Noether. Finite extensions, quotients, and finite direct sums preserve the Noetherian property, principles applied in commutative algebra courses at Princeton University and Harvard University. Localization at a multiplicative set preserves Noetherianity, a tool used in proofs by Alexander Grothendieck within the framework of schemes developed at Institut des Hautes Études Scientifiques.

Homological and algebraic consequences

Noetherian rings afford finiteness results in homological algebra central to the work of Samuel Eilenberg, Henri Cartan, and Jean-Pierre Serre; for example, Ext and Tor modules have finiteness properties when modules are Noetherian. Regular sequences, depth, and Cohen–Macaulay properties studied by Irving Kaplansky and Francis Sowerby Macaulay rely on Noetherian hypotheses; such notions are fundamental in the work of Alexander Grothendieck on duality and in the proof techniques of Heisuke Hironaka. Homological dimensions and Bass numbers in Noetherian contexts were developed further in seminars at University of Illinois and University of Cambridge.

Historical context and applications

The term commemorates Emmy Noether, whose structural approach to algebra transformed research at University of Göttingen and influenced contemporaries like David Hilbert and Felix Klein. Noetherian rings appear in algebraic geometry foundations by Oscar Zariski and Alexander Grothendieck and in number theory investigations by Richard Dedekind and Ernst Kummer. Applications extend to computational algebra implemented in systems inspired by work at Massachusetts Institute of Technology and Stanford University, and to invariant theory studied by Hilbert and Emmy Noether. The concept remains central in modern research at institutions such as Institute for Advanced Study and Max Planck Institute.

Category:Ring theory