Dedekind Domains

Arithmetic Beyond Unique Factorization

Ordinary integers satisfy several remarkable properties simultaneously:

every ideal is principal,
every nonzero element factors uniquely into primes,
every nonzero ideal factors uniquely into prime ideals.

When algebraic number theory developed, mathematicians discovered that many rings of algebraic integers lose some of these properties. Unique factorization of elements may fail, and ideals need not be principal.

Nevertheless, rings of integers still possess enough structure to support a deep arithmetic theory. The correct abstraction is the notion of a Dedekind domain.

Dedekind domains are the natural setting for ideal factorization.

Definition

An integral domain $R$ is called a Dedekind domain if it satisfies the following conditions:

$R$ is Noetherian,
$R$ is integrally closed in its field of fractions,
every nonzero prime ideal of $R$ is maximal.

These conditions may appear abstract, but together they produce a remarkably strong arithmetic structure.

The most important examples are rings of integers of number fields.

Noetherian Property

A ring is Noetherian if every ideal is finitely generated.

Equivalently, every ascending chain of ideals eventually stabilizes:

I_1\subseteq I_2\subseteq I_3\subseteq\cdots

cannot continue growing forever.

This condition prevents pathological infinite ideal growth.

For example:

$\mathbb{Z}$ is Noetherian,
polynomial rings over fields are Noetherian,
rings of integers of number fields are Noetherian.

The Noetherian property ensures that arithmetic remains computationally manageable.

Integrally Closed Domains

Let $R$ be an integral domain with fraction field $K$ .

An element $\alpha\in K$ is integral over $R$ if it satisfies a monic polynomial equation

x^n+a_{n-1}x^{n-1}+\cdots+a_0=0, \qquad a_i\in R.

The ring $R$ is integrally closed if every element of $K$ integral over $R$ already belongs to $R$ .

For example, $\mathbb{Z}$ is integrally closed inside $\mathbb{Q}$ .

The ring of integers

\mathcal O_K

is integrally closed inside the number field $K$ .

This property ensures that the ring already contains all “natural integers” associated with its fraction field.

Prime Ideals Are Maximal

In a Dedekind domain, every nonzero prime ideal is maximal.

Thus if

P\subsetneq R

is prime and nonzero, then the quotient

R/P

is a field.

This property makes the arithmetic of prime ideals behave much like ordinary prime numbers.

For example, in $\mathbb{Z}$ ,

(p)

is both prime and maximal whenever $p$ is prime.

Rings of Integers as Dedekind Domains

A fundamental theorem states:

Theorem. The ring of integers $\mathcal O_K$ of every number field $K$ is a Dedekind domain.

This theorem explains why ideal factorization behaves so well inside algebraic number theory.

Even though element factorization may fail, the Dedekind domain structure guarantees ideal-theoretic order.

Unique Factorization of Ideals

The central property of Dedekind domains is the following theorem.

Theorem. Every nonzero ideal in a Dedekind domain factors uniquely into prime ideals.



I=P_1^{e_1}P_2^{e_2}\cdots P_r^{e_r}

This theorem generalizes the fundamental theorem of arithmetic.

Prime ideals replace prime elements as the true atomic building blocks.

Example: Failure of Element Factorization

\mathbb{Z}[\sqrt{-5}],

one has

6=2\cdot3=(1+\sqrt{-5})(1-\sqrt{-5}).

Element factorization fails.

However, the corresponding ideals factor uniquely into prime ideals.

Thus arithmetic disorder at the element level becomes orderly at the ideal level.

This is the defining achievement of Dedekind ideal theory.

Fractional Ideals

Dedekind domains possess a particularly elegant ideal theory because every nonzero ideal is invertible.

To express this fully, one introduces fractional ideals.

A fractional ideal is a subset

I\subseteq K

such that

dI\subseteq R

for some nonzero

d\in R.

Fractional ideals form a group under multiplication.

Ordinary ideals become the integral part of this larger multiplicative system.

Ideal Inverses

If $I$ is a nonzero ideal in a Dedekind domain, there exists a fractional ideal $J$ such that

IJ=R.

Thus every nonzero ideal is invertible.

This property is one reason Dedekind domains possess such strong factorization theory.

The existence of inverses allows ideal arithmetic to resemble ordinary multiplicative arithmetic.

Localization Perspective

Dedekind domains become especially simple after localization.

P

is a nonzero prime ideal, then the localized ring

R_P

is a discrete valuation ring.

Thus locally, every ideal becomes a power of a single prime ideal.

Global ideal factorization emerges from combining these local structures.

This local-global viewpoint became fundamental in modern algebraic geometry and number theory.

Principal Ideal Domains

Every principal ideal domain is a Dedekind domain.

However, the converse is false.

For example:

$\mathbb{Z}$ is both a PID and a Dedekind domain,
$\mathbb{Z}[i]$ is both,
$\mathbb{Z}[\sqrt{-5}]$ is Dedekind but not a PID.

Thus Dedekind domains generalize the arithmetic of principal ideal domains while allowing nonprincipal ideals.

Geometric Interpretation

Dedekind domains admit a geometric interpretation through algebraic curves.

The local rings of nonsingular algebraic curves are Dedekind domains.

Prime ideals correspond to points on the curve.

This connection became one of the origins of modern algebraic geometry.

Arithmetic and geometry become unified through the structure of Dedekind domains.

Structural Importance

Dedekind domains form the natural algebraic framework for:

algebraic number theory,
ideal factorization,
class groups,
ramification,
local fields,
arithmetic geometry.

They preserve enough structure to support unique factorization of ideals even when ordinary factorization fails.

In many ways, Dedekind domains represent the correct abstraction of arithmetic rings beyond the integers.