Dirichlet's Unit Theorem

• Unit group of number field K splits as finite cyclic group (roots of unity) × free abelian group of rank r₁ + r₂ - 1
• Rank r₁ + r₂ - 1 determined by signature: r₁ real embeddings and r₂ pairs of complex embeddings
• Units embed logarithmically into (r₁ + r₂ - 1)-dimensional lattice via regulator map
• Generalizes ℤ having units {±1} and ℤ[i] having units {±1, ±i} to arbitrary number fields
• Proved by Dirichlet (1846) using L-functions; dimension defect reflects norm map multiplicativity
• Fundamental for class field theory, L-functions, and arithmetic structure of algebraic integers

Dirichlet's Unit Theorem

Overview

Dirichlet's Unit Theorem is one of the fundamental structural results in algebraic number theory, describing the precise structure of the unit group of the ring of integers in a number field. Just as the integers $\mathbb{Z}$ have units $\{\pm 1\}$ forming a finite group, and the Gaussian integers $\mathbb{Z}[i]$ have units $\{\pm 1,\pm i\}$, the theorem tells us that for any number field $K$, the group of units ${\mathcal{O}}_K^{\times }$ is the product of a finite cyclic group (the roots of unity in $K$) and a finitely generated free abelian group whose rank is explicitly determined by the signature of $K$.

The theorem provides the algebraic foundation for understanding class field theory, L-functions, and the regulator of a number field. It connects the arithmetic structure of number fields to their geometric properties through the logarithmic embedding, revealing that units live on a lattice in a real vector space whose dimension is one less than one might naively expect. This "defect" of one dimension is a profound arithmetic phenomenon reflecting the product formula in global fields.

Historically, the theorem was proved by Peter Gustav Lejeune Dirichlet in 1846 using analytic number theory|analytic methods, specifically his development of L-functions and the class number formula. His proof was a triumph of bringing continuous methods to bear on discrete problems, establishing a paradigm that continues to dominate modern number theory. The result was later given purely algebraic proofs, though the analytic perspective remains essential for understanding Dirichlet density and distribution questions.

The unit group of a number field is finitely generated with rank determined by the number of real and complex embeddings, but always one less than the total dimension—a defect arising from the multiplicativity of the norm map.

Core Theory

Main Result

[1] The image $L({\mathcal{O}}_K^{\times })$ is a lattice in the hyperplane $H=\{(x_1,\dots ,x_{r_1+r_2}):\sum x_i=0\}$ of dimension $r_1+r_2-1$.

[2] The kernel of $L$ restricted to ${\mathcal{O}}_K^{\times }$ is precisely ${\mu }_K$, the group of roots of unity in $K$.

[3] Therefore ${\mathcal{O}}_K^{\times }\cong {\mu }_K\times {\mathbb{Z}}^{r_1+r_2-1}$.

We prove the theorem in several steps.

If $u\in {\mathcal{O}}_K^{\times }$ satisfies $L(u)=0$, then $|{\sigma }_i(u)|=1$ for all $i$ and $|{\tau }_j(u)|=1$ for all $j$. Since $u$ and $u^{-1}$ are both algebraic integers, $u$ has all conjugates on the unit circle, so $u$ is a root of unity by Kronecker's theorem. Thus $\ker (L{|}_{{\mathcal{O}}_K^{\times }})\subseteq {\mu }_K$, which is finite since $K$ has only finitely many roots of unity (they form a finite cyclic group).

For any $u\in K^{\times }$, the norm $N_{K/\mathbb{Q}}(u)={\prod }_{i=1}^{r_1}{\sigma }_i(u)\cdot {\prod }_{j=1}^{r_2}{\tau }_j(u)\overline{{\tau }_j(u)}$. Taking absolute values and logarithms:

Consider the preimage $L^{-1}(B)$ where $B$ is a bounded set in ${\mathbb{R}}^{r_1+r_2}$. If $u\in {\mathcal{O}}_K^{\times }$ satisfies $L(u)\in B$, then all conjugates of $u$ are bounded: $|{\sigma }_i(u)|\le C$ and $|{\tau }_j(u)|\le C$ for some constant $C$. The coefficients of the minimal polynomial of $u$ are elementary symmetric functions of the conjugates, hence bounded. Since $u$ is an algebraic integer, there are only finitely many possibilities for $u$ (algebraic integers of bounded degree with bounded coefficients form a finite set). Thus $L^{-1}(B)\cap {\mathcal{O}}_K^{\times }$ is finite, proving discreteness.

We must show that $L({\mathcal{O}}_K^{\times })$ is not contained in any proper subspace of $H$. Suppose for contradiction that $L({\mathcal{O}}_K^{\times })$ lies in a hyperplane $H^{\prime }\subset H$ defined by ${\sum }_{i=1}^{r_1}{a}_i{x}_i+{\sum }_{j=1}^{r_2}{b}_j{x}_{r_1+j}=0$ where not all coefficients are proportional to $(1,\dots ,1)$.

We use Minkowski's theorem on successive minima. Consider the Minkowski space

For any tuple of positive reals $(t_1,\dots ,t_{r_1},s_1,\dots ,s_{r_2})$ with $\prod t_i\prod s_j^2>(\frac{n!}{n^n}{)}^{1/2}\sqrt{|d_K|}$ where $d_K$ is the discriminant, Minkowski's theorem guarantees a nonzero $\alpha \in {\mathcal{O}}_K$ with $|{\sigma }_i(\alpha )|<t_i$ and $|{\tau }_j(\alpha )|<s_j$.

By choosing the $t_i$ and $s_j$ appropriately (with ratios corresponding to desired ratios in the logarithmic image), we can construct infinitely many units whose logarithmic images point in directions violating the supposed restriction to $H^{\prime }$. This contradiction shows $L({\mathcal{O}}_K^{\times })$ spans $H$.

A discrete subgroup of ${\mathbb{R}}^m$ that spans ${\mathbb{R}}^m$ is a lattice of rank $m$. Since $L({\mathcal{O}}_K^{\times })$ is discrete in $H\cong {\mathbb{R}}^{r_1+r_2-1}$ and spans it, $L({\mathcal{O}}_K^{\times })$ is a lattice of rank $r_1+r_2-1$. By the structure theorem for finitely generated abelian groups and Step 1, we have ${\mathcal{O}}_K^{\times }\cong {\mu }_K\times {\mathbb{Z}}^{r_1+r_2-1}$. □

A common error is to expect the unit rank to be $r_1+r_2$ (the total number of embeddings up to conjugacy) rather than $r_1+r_2-1$. The "missing dimension" comes from the constraint that the norm of a unit must be $\pm 1$, which imposes one independent multiplicative relation among the absolute values of conjugates. This is not a defect of the proof but a genuine arithmetic phenomenon!

Examples and Applications

1

For $K=\mathbb{Q}(\sqrt{2})$, we have $r_1=2$ (embeddings ${\sigma }_1:\sqrt{2}\mapsto \sqrt{2}$ and ${\sigma }_2:\sqrt{2}\mapsto -\sqrt{2}$) and $r_2=0$. Thus the unit rank is $r=2+0-1=1$.

The roots of unity in $\mathbb{Q}(\sqrt{2})$ are just ${\mu }_K=\{\pm 1\}$ since any root of unity in a real field must be $\pm 1$.

We seek a fundamental unit. Consider $\epsilon =1+\sqrt{2}$. We verify it's a unit: $(1+\sqrt{2})(1-\sqrt{2})=1-2=-1$, so ${\epsilon }^{-1}=-(1-\sqrt{2})=-1+\sqrt{2}\in {\mathcal{O}}_K$.

To confirm $\epsilon$ is fundamental, we check that no proper power of it equals $\pm 1$. Computing: ${\epsilon }^2=3+2\sqrt{2}$, which is not $\pm 1$. By continued fractions|Pell's equation theory, $1+\sqrt{2}$ is indeed the fundamental unit.

Therefore ${\mathcal{O}}_K^{\times }=\{\pm (1+\sqrt{2}{)}^n:n\in \mathbb{Z}\}\cong \{\pm 1\}\times \mathbb{Z}$.

2

Let $K=\mathbb{Q}(\omega )$ where $\omega$ is a primitive cube root of unity. Then $[K:\mathbb{Q}]=2$, with $r_1=0$ and $r_2=1$ (one pair of complex conjugate embeddings). The unit rank is $r=0+1-1=0$.

The theorem predicts ${\mathcal{O}}_K^{\times }\cong {\mu }_K\times {\mathbb{Z}}^0={\mu }_K$ is finite. Indeed, the roots of unity in $K$ are ${\mu }_K=\{1,\omega ,{\omega }^2,-1,-\omega ,-{\omega }^2\}$, a cyclic group of order 6.

We verify these are the only units. If $u=a+b\omega \in {\mathcal{O}}_K^{\times }$ with $a,b\in \mathbb{Z}$, then $N(u)=u\cdot \bar{u}=(a+b\omega )(a+b{\omega }^2)=a^2-ab+b^2=\pm 1$. The integer solutions are $(a,b)\in \{(\pm 1,0),(0,\pm 1),(\pm 1,\pm 1)\}$, giving exactly the six units listed.

This illustrates that when there are no real embeddings and the unit rank vanishes, the unit group is purely torsion.

Consider $R=\mathbb{Z}[x]$, the polynomial ring. This is an integral domain but not the ring of integers of a number field. The unit group is $R^{\times }=\{\pm 1\}$, which is finitely generated.

However, consider $R=\mathbb{Z}[x,1/x]=\mathbb{Z}[x^{\pm 1}]$, the Laurent polynomial ring. Here $R^{\times }=\{\pm x^n:n\in \mathbb{Z}\}\cong \{\pm 1\}\times \mathbb{Z}$, still finitely generated.

But now consider the ring $R=k[x_1,x_2,x_3,\dots ]$ where $k$ is a field—an infinite polynomial ring. The unit group is just $R^{\times }=k^{\times }$, which may or may not be finitely generated depending on $k$.

More dramatically, the coordinate ring of an algebraic variety with infinitely many components can have units forming an infinitely generated group. The finiteness in Dirichlet's theorem crucially uses that $K$ is a finite extension of $\mathbb{Q}$ and that ${\mathcal{O}}_K$ is a Dedekind domain with finitely many primes above any rational prime.

In $\mathbb{Q}(\sqrt{2})$, a unit $u=a+b\sqrt{2}$ acts on the two "directions" (the two real embeddings). The fundamental unit $1+\sqrt{2}\approx 2.414$ expands by factor ~2.414 in one direction and contracts by factor ~0.414 in the other direction, preserving the product. All units are powers of this basic "hyperbolic rotation" together with sign changes.

In cyclotomic fields and other fields with complex embeddings, units can perform genuine rotations (coming from roots of unity) combined with rescalings in the real hyperbolic part of the hyperplane.

Historical Development

Dirichlet proved the unit theorem in 1846 as part of his broader investigation into the class number of number fields. His proof was fundamentally analytic, relying on his introduction of L-functions $L(s,\chi )$ associated to Dirichlet characters and the analysis of their behavior near $s=1$. The class number formula connects the residue of the Dedekind zeta function ${\zeta }_K(s)$ at $s=1$ to the product of the class number, the regulator (a volume associated to the unit lattice), and other invariants.

The first purely algebraic proof was given by Weber in the late 19th century, using geometric arguments about lattices in Euclidean space via Minkowski's geometry of numbers. Hilbert later refined these arguments in his Zahlbericht (1897), which systematized algebraic number theory. The modern formulation using the logarithmic embedding and lattice theory became standard in the 20th century through textbooks by Hecke, Weyl, and others.

Key papers include Dirichlet's original "Recherches sur diverses applications de l'analyse infinitésimale à la théorie des nombres" (1840s) and Minkowski's "Geometrie der Zahlen" (1896). The categorical perspective, viewing the unit theorem as a statement about the functor $K\mapsto {\mathcal{O}}_K^{\times }$ from number fields to abelian groups, emerged in the mid-20th century with the development of algebraic K-theory.

Connections to Other Areas

What You Need First

What This Opens Up

See Also