Dedekind domain
Generated by GPT-5-miniExpansion Funnel Raw 42 → Dedup 0 → NER 0 → Enqueued 0
| Dedekind domain | |
|---|---|
| Name | Dedekind domain |
| Type | Commutative ring; integral domain |
| Introduced by | Richard Dedekind |
| Introduced in | 19th century |
| Notable for | Unique factorization of ideals; ideal class group |
Dedekind domain A Dedekind domain is a Noetherian integral domain in which every nonzero proper ideal factors uniquely as a product of prime ideals; this notion, introduced by Richard Dedekind, underpins algebraic number theory and algebraic geometry through connections with rings of integers and coordinate rings. It refines classical concepts from Ernst Kummer's work on ideal numbers and complements structures studied by David Hilbert, Emil Artin, and Helmut Hasse in the development of class field theory and global fields. Dedekind domains serve as a unifying setting linking results of Bernhard Riemann (via curves), André Weil (via varieties), and later formalizations by Oscar Zariski and Alexander Grothendieck.
Definition and basic properties
A Dedekind domain is defined as a Noetherian, integrally closed integral domain of Krull dimension one; prominent examples include the ring of integers of a number field considered by Leopold Kronecker, the coordinate ring of a smooth affine curve studied by Max Noether, and discrete valuation rings examined by Richard H. Dedekind's contemporaries. Fundamental properties were used by Emmy Noether and Helmut Hasse to prove finiteness theorems and regularity results; the ideal-theoretic characterization yields unique factorization of nonzero ideals into prime ideals, paralleling unique factorization domains analyzed by David Hilbert and Ernst Steinitz. Dedekind domains are integrally closed, and every nonzero prime ideal is maximal, a feature exploited in proofs by Emil Artin and John Tate in cohomological contexts.
Examples and non-examples
Classical examples include the ring of integers O_K in a number field K central to Carl Friedrich Gauss's investigations, rings of S-integers appearing in the work of Kurt Mahler, and coordinate rings of smooth projective curves linked to Riemann and André Weil. Specific instances are the Gaussian integers studied by Sophie Germain and Adrien-Marie Legendre in early quadratic forms, and the Hilbert class field constructions of David Hilbert. Non-examples include non-Noetherian integrally closed domains that arise in counterexamples by Oscar Zariski and pathological cases in the work of Oscar Zariski and Serge Lang, and rings whose ideals fail unique factorization as illuminated by Ernst Kummer's failures prior to the introduction of ideals. Rings of polynomials in two variables over a field, central to Alexander Grothendieck's schemes, are generally not Dedekind unless suitably localized, a fact used by Jean-Pierre Serre.
Ideal factorization and class group
The unique factorization of ideals into prime ideals in a Dedekind domain forms the backbone of ideal class group theory developed by Richard Dedekind and expanded by Leopold Kronecker and David Hilbert. The ideal class group, a finite abelian group in the number field case proved by Helmut Hasse and Emil Artin, measures the obstruction to unique factorization of elements and connects to the Hilbert class field studied by Heinrich Weber and Kummer. Class field theory of Kurt Hensel and Emil Artin relates the ideal class group to Galois groups of abelian extensions, and analytic class number formulas investigated by Carl Gustav Jacobi and Ernst Kummer tie class groups to L-functions treated by Bernhard Riemann and Erich Hecke.
Modules and fractional ideals
Fractional ideals and invertible modules over a Dedekind domain behave like rank-one projective modules; this perspective was systematized by Emmy Noether and later by Jean-Pierre Serre in module theory. Every finitely generated torsion-free module over a Dedekind domain decomposes into a direct sum of ideals, a structure theorem with antecedents in the work of David Hilbert and formalized in Algebraic Number Theory by Heinrich M. Weber. Fractional ideal groups form a free abelian group generated by nonzero prime ideals, and the subgroup of principal fractional ideals yields the exact sequence central to class number computations used by Heinrich Hasse and Ernst Kummer.
Extensions and localization
Dedekind domains are stable under localization at nonzero prime ideals, producing discrete valuation rings fundamental to local field theory as explored by Kurt Hensel and Helmut Hasse. Integral closures of Dedekind domains in finite separable field extensions often remain Dedekind, a phenomenon crucial in the study of ramification and decomposition groups developed by Richard Dedekind, Emil Artin, and Otto Hasse. Behavior under extension features inertia and ramification theory formalized by Friedrich Engel and Herbrand, and these ideas underpin the work of Emmy Noether and Claude Chevalley on Galois module structure.
Applications and connections in number theory and algebraic geometry
Dedekind domains appear as rings of integers in algebraic number theory studied by Carl Friedrich Gauss, Leopold Kronecker, and David Hilbert, and as coordinate rings of smooth curves in algebraic geometry central to Bernhard Riemann's theory of Riemann surfaces and André Weil's formulation of varieties. They are indispensable in class field theory pioneered by Emil Artin and Helmut Hasse, in the formulation of the Chebotarev density theorem due to Niels Henrik Abel's successors, and in modern arithmetic geometry advanced by Alexander Grothendieck, Jean-Pierre Serre, and Barry Mazur. Connections extend to the study of L-functions and modular forms linked with Srinivasa Ramanujan, Goro Shimura, and Yutaka Taniyama, and to explicit methods in computational number theory developed by Daniel Shanks and Henri Cohen.