Commutative Algebra
Commutative algebra studies commutative rings, their ideals, and modules over them, serving as the local algebraic language of algebraic geometry and algebraic number theory.
Definition
Commutative algebra is the study of commutative rings with identity, their ideals, and modules over them, with particular attention to finiteness conditions, localization, and the geometry of the prime spectrum.
Scope
This area covers Noetherian rings and chain conditions, localization at primes and multiplicative sets, the prime spectrum, integral extensions and integral closure, dimension theory, completion, and primary decomposition of ideals. It supplies the foundations on which scheme theory and the study of singularities rest.
Sub-topics
Core questions
- What finiteness conditions (Noetherian, finite generation) make ideal theory tractable?
- How does localization isolate the behavior of a ring near a prime ideal?
- How do integral extensions relate the spectra of two rings?
- How can an ideal be decomposed into primary components, generalizing factorization?
Key theories
- Lasker-Noether primary decomposition
- In a Noetherian ring every ideal is a finite intersection of primary ideals, generalizing the factorization of integers into prime powers and exposing the associated primes of the ideal.
- Localization and the prime spectrum
- Localizing a ring at a prime ideal concentrates attention on its local behavior; the set of prime ideals, topologized as the spectrum, makes a commutative ring into a geometric object.
- Going-up and Noether normalization
- Integral extensions satisfy lying-over and going-up theorems relating their prime ideals, and any finitely generated algebra over a field is a finite module over a polynomial subring (Noether normalization), the algebraic heart of dimension theory.
Clinical relevance
Commutative algebra is the algebraic foundation of algebraic geometry: affine schemes are spectra of commutative rings, local rings model singularities, and dimension theory measures geometric dimension. It is equally central to algebraic number theory, where rings of integers and their localizations and completions are the basic objects.
History
Commutative algebra grew from Dedekind's and Kronecker's arithmetic and Hilbert's invariant theory, was systematized by Emmy Noether and Wolfgang Krull in the 1920s and 1930s through chain conditions and dimension theory, and was fused with geometry by Zariski, Chevalley, and ultimately Grothendieck's scheme theory.
Key figures
- Emmy Noether
- Wolfgang Krull
- David Hilbert
- Oscar Zariski
- Emanuel Lasker
Related topics
Seminal works
- atiyah1969
- eisenbud1995
- matsumura1989
Frequently asked questions
- How is commutative algebra related to algebraic geometry?
- There is a dictionary, formalized by Grothendieck, in which commutative rings correspond to geometric spaces (affine schemes), prime ideals to points, and localization to zooming in near a point. Commutative algebra provides the local, computational side of that geometry.
- Why is the Noetherian condition so important?
- The ascending chain condition on ideals, equivalent to every ideal being finitely generated, guarantees that key constructions terminate and that primary decomposition exists. Most rings arising in geometry and number theory are Noetherian, making the hypothesis both natural and powerful.