Dedekind Domains and Unique Factorization of Ideals

⚡ Key Takeaways

Dedekind domains are Noetherian, integrally closed, one-dimensional integral domains. Their defining miracle: every nonzero ideal factors uniquely as a product of prime ideals, restoring unique factorization at the level of ideals even when elements fail to factor uniquely. Applies throughout algebraic number theory (rings of integers $\mathcal{O}_K$ ), algebraic geometry (smooth affine curves), and the arithmetic of function fields. Crystallized by Richard Dedekind (1871) building on Kummer's "ideal numbers."

💡 The Core Insight

Unique factorization fails for elements because primes can "split, ramify, or remain inert," but the obstruction is invisible at the level of ideals. By passing from the multiplicative monoid of elements to the group of fractional ideals, the three Dedekind axioms — Noetherian (factorizations terminate), dimension one (only one layer of primes), integrally closed (no "missing" elements that would block invertibility) — conspire to make every fractional ideal invertible. Invertibility plus the ascending chain condition yields existence and uniqueness of prime factorization, exactly mirroring the Fundamental Theorem of Arithmetic.

DefinitionDedekind Domain

An integral domain $R$ (not a field) with fraction field $K$ is a Dedekind domain if it satisfies all three: 1. $R$ is Noetherian (every ideal is finitely generated / ascending chain condition on ideals). 2. $R$ is integrally closed in $K$ (every element of $K$ integral over $R$ lies in $R$ ). 3. $R$ has Krull dimension one (every nonzero prime ideal is maximal).

1

\quad R \text{ Dedekind} \iff \begin{cases} R \text{ Noetherian} \\ R = \widetilde{R} \text{ (integral closure in } K\text{)} \\ \dim R = 1 \end{cases}

Derivation hint: This is the definition; the equivalences with valuation-theoretic and ideal-theoretic conditions are theorems below.

DefinitionFractional Ideal

A fractional ideal of $R$ (with fraction field $K$ ) is a nonzero finitely generated $R$ -submodule $\mathfrak{a} \subseteq K$ . Equivalently, there exists $d \in R \setminus \{0\}$ with $d\mathfrak{a} \subseteq R$ (so $d\mathfrak{a}$ is an ordinary ideal). The inverse of $\mathfrak{a}$ is

2

\quad \mathfrak{a}^{-1} = \{ x \in K : x\mathfrak{a} \subseteq R \}.

Derivation hint: $\mathfrak{a}^{-1}$ is itself a fractional ideal; finiteness follows since $\mathfrak{a}$ contains a nonzero element $a$ , forcing $\mathfrak{a}^{-1} \subseteq a^{-1}R$ .

TheoremUnique Factorization of Ideals

Let $R$ be a Dedekind domain. Then: 1. (Invertibility) Every nonzero fractional ideal $\mathfrak{a}$ is invertible: $\mathfrak{a}\,\mathfrak{a}^{-1} = R$ . 2. (Existence & Uniqueness) Every nonzero proper ideal $\mathfrak{a} \subseteq R$ factors as

3

\quad \mathfrak{a} = \mathfrak{p}_1^{e_1}\,\mathfrak{p}_2^{e_2}\cdots \mathfrak{p}_r^{e_r}, \qquad e_i \geq 1,

with the $\mathfrak{p}_i$ distinct nonzero primes, and this factorization is unique up to reordering. 3. (Group structure) The set $I(R)$ of nonzero fractional ideals is a free abelian group on the set of nonzero prime ideals:

4

\quad I(R) \;\cong\; \bigoplus_{\mathfrak{p}} \mathbb{Z}, \qquad \mathfrak{a} = \prod_{\mathfrak{p}} \mathfrak{p}^{\,v_{\mathfrak{p}}(\mathfrak{a})},

where $v_{\mathfrak{p}}(\mathfrak{a}) \in \mathbb{Z}$ is zero for all but finitely many $\mathfrak{p}$ .

TheoremEquivalent Characterizations

For a Noetherian domain $R$ that is not a field, the following are equivalent: 1. $R$ is integrally closed and one-dimensional (i.e. Dedekind). 2. Every localization $R_{\mathfrak p}$ at a nonzero prime is a discrete valuation ring (DVR). 3. Every nonzero fractional ideal of $R$ is invertible. 4. Every nonzero ideal factors as a product of prime ideals (existence alone forces uniqueness).

ProofUnique Factorization in a Dedekind Domain

We sketch the standard proof in numbered steps, assuming $R$ Dedekind with fraction field $K$ .

Step 1 — Every nonzero ideal contains a product of nonzero primes. Suppose not; by ACC choose a maximal counterexample $\mathfrak{a}$ . Then $\mathfrak{a}$ is not prime, so there exist $x,y \notin \mathfrak{a}$ with $xy \in \mathfrak{a}$ . The strictly larger ideals $\mathfrak{a}+(x)$ , $\mathfrak{a}+(y)$ each contain a product of primes, hence so does their product $\subseteq \mathfrak{a}$ — contradiction.

5

\quad \exists\, \mathfrak{p}_1,\dots,\mathfrak{p}_k : \mathfrak{p}_1\cdots\mathfrak{p}_k \subseteq \mathfrak{a}.

Derivation hint: Standard "maximal counterexample" argument using the ascending chain condition.

Step 2 — For a maximal ideal $\mathfrak{m}$ , $\mathfrak{m}^{-1} \supsetneq R$ . Pick $0 \neq a \in \mathfrak{m}$ . By Step 1, $(a) \supseteq \mathfrak{p}_1\cdots\mathfrak{p}_k$ with $k$ minimal. Since $\mathfrak{m} \supseteq (a) \supseteq \prod \mathfrak{p}_i$ and $\mathfrak{m}$ is prime, $\mathfrak{m} \supseteq \mathfrak{p}_i$ for some $i$ ; as $\dim R = 1$ , $\mathfrak{m} = \mathfrak{p}_i$ , say $\mathfrak{p}_1$ . By minimality of $k$ , $\prod_{i\geq 2}\mathfrak{p}_i \not\subseteq (a)$ , so pick $b$ in that product but not in $(a)$ . Then $b\mathfrak{m} \subseteq (a)$ , i.e. $a^{-1}b\,\mathfrak{m} \subseteq R$ , so $a^{-1}b \in \mathfrak{m}^{-1}$ but $a^{-1}b \notin R$ .

6

\quad \mathfrak{m}^{-1} = \{x \in K : x\mathfrak{m}\subseteq R\} \supsetneq R.

Derivation hint: Minimality of the prime product gives an element witnessing $\mathfrak m^{-1}\neq R$ .

Step 3 — Maximal ideals are invertible. We have $\mathfrak{m} \subseteq \mathfrak{m}\,\mathfrak{m}^{-1} \subseteq R$ , so by maximality $\mathfrak{m}\,\mathfrak{m}^{-1} = \mathfrak{m}$ or $= R$ . If $\mathfrak{m}\,\mathfrak{m}^{-1}=\mathfrak{m}$ , then every $x\in\mathfrak{m}^{-1}$ stabilizes the finitely generated module $\mathfrak{m}$ , so $x$ is integral over $R$ (Cayley–Hamilton / determinant trick); since $R$ is integrally closed, $x\in R$ , contradicting Step 2. Hence

7

\quad \mathfrak{m}\,\mathfrak{m}^{-1} = R.

Derivation hint: This is the unique place integral closure is used — it kills the "trivial" fixed-module case.

Step 4 — Existence of factorization. Suppose some nonzero proper ideal has no prime factorization; take a maximal such $\mathfrak{a}$ by ACC. Pick a maximal ideal $\mathfrak{m}\supseteq\mathfrak{a}$ . Then $\mathfrak{a}\subseteq \mathfrak{a}\mathfrak{m}^{-1}\subseteq \mathfrak{m}\mathfrak{m}^{-1}=R$ , and $\mathfrak{a}\mathfrak{m}^{-1}\supsetneq\mathfrak{a}$ (else $\mathfrak m^{-1}$ stabilizes $\mathfrak a$ , forcing $\mathfrak m^{-1}\subseteq R$ ). By maximality of the counterexample, $\mathfrak{a}\mathfrak{m}^{-1}$ factors, say $=\prod\mathfrak{p}_i$ . Multiply by $\mathfrak{m}$ :

8

\quad \mathfrak{a} = \mathfrak{m}\cdot(\mathfrak{a}\mathfrak{m}^{-1}) = \mathfrak{m}\prod_i \mathfrak{p}_i.

Derivation hint: Strictly enlarging $\mathfrak a$ by $\mathfrak m^{-1}$ feeds the induction.

Step 5 — Uniqueness. Suppose $\mathfrak{p}_1\cdots\mathfrak{p}_r = \mathfrak{q}_1\cdots\mathfrak{q}_s$ . Then $\mathfrak{p}_1 \supseteq \prod\mathfrak{q}_j$ , so $\mathfrak{p}_1\supseteq\mathfrak{q}_j$ for some $j$ ; both maximal gives $\mathfrak{p}_1=\mathfrak{q}_j$ . Multiply both sides by $\mathfrak{p}_1^{-1}$ (Step 3) and induct on $r$ .

9

\quad \mathfrak{p}_1^{-1}\Big(\prod_i\mathfrak{p}_i\Big)=\mathfrak{p}_1^{-1}\Big(\prod_j\mathfrak{q}_j\Big)\implies \prod_{i\geq 2}\mathfrak{p}_i=\prod_{j\neq}\mathfrak{q}_j. \qquad\blacksquare

Derivation hint: Cancellation is precisely what invertibility (Step 3) provides; this is the analogue of Euclid's lemma.

∎

mathematician · Richard Dedekind | 1831–1916

Dedekind, a student of Gauss and Dirichlet at Göttingen, reformulated Kummer's heuristic "ideal numbers" into the rigorous theory of ideals as actual subsets of a ring (1871, in his supplements to Dirichlet's Vorlesungen über Zahlentheorie). His key conceptual leap — defining an ideal as the set of elements "divisible" by a hypothetical ideal number — let him prove unique factorization of ideals in arbitrary rings of algebraic integers, a result Kummer had only for cyclotomic fields. Dedekind also gave us the modern notions of field, module, and the Dedekind cut. The objects bearing his name are the natural domain of validity for his factorization theorem.

🧠 Intuition

Think of the failure of unique factorization of elements as the symptom of primes that "want" to split but lack the room to do so among elements. In $\mathbb{Z}[\sqrt{-5}]$ the rational prime $2$ is not prime, yet $(2)=\mathfrak{p}^2$ for the ideal $\mathfrak{p}=(2,1+\sqrt{-5})$ — there is a "square root of $(2)$ " hiding among ideals that has no element representative. Ideals are the true atoms. The three axioms enforce three intuitions: Noetherian = "factorizations stop" (no infinite descent); dimension one = "there is exactly one nontrivial layer of primes, all maximal, so divisibility is a single grade"; integrally closed = "no algebraic elements are missing," which is exactly what makes every ideal invertible rather than merely stabilizable. The slogan: a Dedekind domain is glued together from DVRs, one per point/prime, and a DVR is the simplest possible place where divisibility is governed by a single integer exponent (a valuation).

ExampleFactoring (6) in the ring of integers of

\mathbb{Q}(\sqrt{-5})

Given: $R = \mathbb{Z}[\sqrt{-5}] = \mathcal{O}_K$ for $K=\mathbb{Q}(\sqrt{-5})$ (discriminant $-20$ ). Factor the ideal $(6)$ .

Step 1. Factor over the rational primes: $(6) = (2)(3)$ .

Step 2. Factor $(2)$ . Reduce the minimal polynomial $x^2+5 \equiv x^2+1 \equiv (x+1)^2 \pmod 2$ . By Dedekind's factorization theorem (since $2\nmid$ index), $(2)=\mathfrak{p}^2$ with $\mathfrak{p}=(2,\,\sqrt{-5}+1)$ . Here $2$ is ramified.

Step 3. Factor $(3)$ . $x^2+5\equiv x^2+2 \equiv (x+1)(x+2)\pmod 3$ , since $x^2+2$ has roots $\pm 1 \cdot$ ... check: $1^2+5=6\equiv 0$ , $2^2+5 = 9\equiv 0 \pmod 3$ . So $(3)=\mathfrak{q}\mathfrak{q}'$ with $\mathfrak{q}=(3,\sqrt{-5}+1)$ , $\mathfrak{q}'=(3,\sqrt{-5}-1)$ . Here $3$ splits.

Step 4. Assemble:

10

\quad (6) = \mathfrak{p}^2\,\mathfrak{q}\,\mathfrak{q}',\qquad N(\mathfrak p)=2,\ N(\mathfrak q)=N(\mathfrak q')=3.

Derivation hint: Norm is multiplicative; $N((6))=36=2^2\cdot 3\cdot 3$ matches.

\boxed{(6)=\mathfrak{p}^2\,\mathfrak{q}\,\mathfrak{q}'\quad\text{(dimensionless ideal identity)}}

This single unique factorization reconciles $6=2\cdot 3=(1+\sqrt{-5})(1-\sqrt{-5})$ : indeed $(2)=\mathfrak p^2$ , $(3)=\mathfrak q\mathfrak q'$ , $(1+\sqrt{-5})=\mathfrak p\mathfrak q$ , $(1-\sqrt{-5})=\mathfrak p\mathfrak q'$ .

ExampleA non-principal prime and the class group at work

Given: Same $R=\mathbb{Z}[\sqrt{-5}]$ . Show $\mathfrak{p}=(2,1+\sqrt{-5})$ is not principal, and verify $\mathfrak{p}^2$ is principal.

Step 1 — Norm bound. If $\mathfrak{p}=(\alpha)$ , then $N(\alpha)=N(\mathfrak p)=2$ . For $\alpha=a+b\sqrt{-5}$ , $N(\alpha)=a^2+5b^2$ .

Step 2 — Diophantine check. Solve $a^2+5b^2=2$ . With $b=0$ : $a^2=2$ impossible in $\mathbb Z$ ; with $b\neq 0$ : $5b^2\geq 5 > 2$ . No solution, so $\mathfrak p$ is non-principal.

Step 3 — Square is principal. $\mathfrak p^2 = (2)$ from the previous example, and $(2)$ is principal. Hence the ideal class $[\mathfrak p]$ has order exactly $2$ in the class group.

Step 4 — Class number. One shows $\mathrm{Cl}(\mathcal O_K)\cong\mathbb Z/2\mathbb Z$ :

11

\quad h_K = |\mathrm{Cl}(\mathcal O_K)| = 2,\qquad [\mathfrak p]^2 = [R] = \text{identity}.

Derivation hint: Minkowski bound $\tfrac{2}{\pi}\sqrt{20}\approx 2.85$ means classes are represented by primes above $2$ ; only $\mathfrak p$ arises.

\boxed{\mathfrak p \text{ non-principal},\ \ \mathfrak p^2=(2),\ \ h_K=2}

The class group measures precisely the failure of $R$ to be a PID/UFD.

⚠️ Common mistake

Pitfall 1 — "Unique factorization of ideals means $R$ is a UFD." False. UFD-ness is about elements; $\mathbb{Z}[\sqrt{-5}]$ has unique ideal factorization but is not a UFD. A Dedekind domain is a UFD iff it is a PID iff its ideal class group is trivial.

Pitfall 2 — "Every Noetherian one-dimensional domain is Dedekind." No — you must include integrally closed. The ring $\mathbb{Z}[\sqrt{-3}]$ (not maximal in $\mathbb Q(\sqrt{-3})$ ) is Noetherian, dimension one, but not integrally closed, and ideal factorization fails.

Pitfall 3 — " $\mathfrak{a}\mathfrak{b}$ is the set of products $\{ab\}$ ." The product of ideals is the ideal generated by all such products: finite sums $\sum a_i b_i$ . The raw product set is generally not an ideal.

Pitfall 4 — "Fields are Dedekind domains." By the usual convention a field has dimension $0$ and is excluded (no nonzero primes to factor into). Some texts include them as a degenerate case.

CounterexampleIntegral closure is essential

Let $R = \mathbb{Z}[\sqrt{-3}]$ , a subring of $\mathcal O_K=\mathbb Z[\tfrac{1+\sqrt{-3}}{2}]$ (the Eisenstein integers) where $K=\mathbb Q(\sqrt{-3})$ . $R$ is Noetherian and one-dimensional, but not integrally closed: $\omega=\tfrac{1+\sqrt{-3}}{2}$ satisfies $\omega^2-\omega+1=0$ , so $\omega$ is integral over $R$ but $\omega\notin R$ . Consequence: the ideal $\mathfrak m=(2,\,1+\sqrt{-3})$ is not invertible. One computes $\mathfrak m^2 = 2\mathfrak m \neq (2)\mathfrak m \cdot$ ..., and indeed $\mathfrak m\mathfrak m^{-1}\subsetneq R$ . Concretely $(4)$ and $(2(1+\sqrt{-3}))$ produce factorizations that cannot be reconciled into a single unique prime decomposition. Unique factorization of ideals therefore fails in $R$ , illustrating that dropping integral closure breaks Step 3 of the proof.

connection

Dedekind domains sit at the crossroads of several theories. They are exactly the regular Noetherian domains of dimension one, connecting to Regular Local Rings via the fact that $R_{\mathfrak p}$ is a DVR (a regular local ring of dimension one). The localization perspective ties them to Discrete Valuation Rings and the theory of Valuations on Fields. The quotient $I(R)/P(R)$ of fractional ideals by principal ideals is the Ideal Class Group, whose finiteness for $\mathcal O_K$ is a cornerstone of Algebraic Number Theory. Geometrically, the spectrum of a Dedekind domain is a Smooth Affine Curve, and prime factorization of ideals corresponds to expressing divisors as combinations of closed points — linking to Divisors and Line Bundles and the Picard group. Finally, the splitting behavior of primes ( $(p)=\prod\mathfrak p_i^{e_i}$ ) is the input to Ramification Theory and class field theory.

🔬 Where this appears

⏳ History

- 1801 — Gauss's Disquisitiones Arithmeticae develops the theory of binary quadratic forms and "composition," the prehistory of ideal class groups.

- 1844–1847 — Kummer discovers that unique factorization fails in cyclotomic rings

\mathbb Z[\zeta_p]

and introduces ideal numbers (ideale Zahlen) to restore it, proving FLT for regular primes.

- 1871 — Dedekind publishes the modern theory of ideals in Supplement X to Dirichlet's Vorlesungen, defining ideals as subsets and proving unique factorization for all rings of algebraic integers.

- 1882 — Dedekind & Weber create the parallel theory for algebraic function fields of one variable, unifying number fields and curves.

- 1894 — Hilbert's Zahlbericht systematizes algebraic number theory, including ramification and the different/discriminant.

- 1897 — Kronecker's divisor-theoretic alternative ("Divisorentheorie") provides a competing but equivalent framework.

- 1920s — Emmy Noether axiomatizes the conditions, proving that a domain is Dedekind iff it is Noetherian, integrally closed, and one-dimensional — the abstract definition used today.

- 1927 — Krull develops general valuation theory and dimension theory, embedding Dedekind domains in the broader landscape of Noetherian rings.

- 1930s–40s — Chevalley introduces ideles/adeles; class field theory recasts the arithmetic of

\mathcal O_K

adelically.

open-problem

Several deep and open questions surround Dedekind domains:

Class number problems. Gauss conjectured there are exactly nine imaginary quadratic fields with class number one; this was proven (Heegner, Baker, Stark). But the Gauss class number problem for real quadratic fields — whether infinitely many have class number one — remains open.
Cohen–Lenstra heuristics. Predict the statistical distribution of ideal class groups of $\mathcal O_K$ as $K$ varies; many cases are still conjectural.
Vandiver's conjecture. Asks whether $p$ never divides the class number of the maximal real subfield of $\mathbb Q(\zeta_p)$ — open, with implications for the structure of $K$ -groups and Iwasawa theory.
Which abstract groups occur as class groups? Every finite abelian group arises as the class group of some Dedekind domain (Claborn's theorem, 1966), but realizing prescribed class groups for rings of integers with controlled invariants is subtle.
Beyond dimension one. In higher dimension, unique factorization of ideals fails entirely; the correct generalization is unique factorization into primary ideals (Lasker–Noether) or, for divisors, the theory of Krull domains and reflexive ideals — but factorization is no longer canonical.

Dedekind Domains and Unique Factorization of Ideals

Formal Statement

Why It Holds

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also