Fact-checked by Grok 2 weeks ago

Dirichlet's unit theorem

Dirichlet's unit theorem is a central result in algebraic number theory that determines the structure of the multiplicative group of units in the ring of integers of a number field. Specifically, for a number field K of degree n over the rationals with r_1 real embeddings and r_2 pairs of complex conjugate embeddings (so n = r_1 + 2r_2), the unit group \mathcal{O}_K^\times is isomorphic to \mu_K \times \mathbb{Z}^{r_1 + r_2 - 1}, where \mu_K is the finite cyclic group of roots of unity in K.^[1] This theorem provides the precise rank of the free abelian part of the unit group, highlighting how the arithmetic of units is governed by the field's signature.^[2] Proved by Peter Gustav Lejeune Dirichlet in 1846, the theorem was originally established using the pigeonhole principle applied to embeddings of units, predating more geometric tools like Minkowski's convex body theorem.^[2] Dirichlet communicated the result to the Berlin Academy of Sciences on March 30, 1846, building on earlier work in quadratic fields by Lagrange and Gauss.^[3] Modern proofs often employ the logarithmic embedding map from units to a hyperplane in Euclidean space, showing that the image forms a full-rank lattice whose covolume is the regulator of the field.^[1] The theorem has profound implications for class field theory and the study of ideal class groups, as the units influence the finiteness of the class number via the Dirichlet class number formula.^[1] For example, in real quadratic fields (r_1 = 2, r_2 = 0), the rank is 1, yielding a fundamental unit that generates all units of infinite order up to torsion.^[2] It also extends to S-units in number fields, generalizing the structure to include units outside the full ring of integers.^[4]

Background and Statement

Number Fields and Integers

An algebraic number field K is a finite field extension of the rational numbers \mathbb{Q} of degree n = [K : \mathbb{Q}], meaning K is a finite-dimensional vector space over \mathbb{Q} with dimension n.^[5] For example, quadratic fields like K = \mathbb{Q}(\sqrt{d}) for square-free integer d have degree n=2.^[6] The embeddings of K into the complex numbers \mathbb{C} are crucial: there are r_1 real embeddings \sigma_1, \dots, \sigma_{r_1}: K \to \mathbb{R} and r_2 pairs of complex conjugate embeddings \tau_1, \overline{\tau_1}, \dots, \tau_{r_2}, \overline{\tau_{r_2}}: K \to \mathbb{C}, satisfying n = r_1 + 2r_2.^[5] These embeddings reflect the signatures of the field, with real embeddings corresponding to totally real subfields and complex pairs indicating imaginary components.^[6] The ring of integers \mathcal{O}_K of K is the integral closure of \mathbb{Z} in K, consisting of all elements \alpha \in K that are roots of monic polynomials with integer coefficients.^[5] Thus, \mathcal{O}_K is a subring of K containing \mathbb{Z} and is integrally closed in K.^[6] It forms a Dedekind domain, ensuring unique factorization of ideals into primes.^[5] The units of \mathcal{O}_K are the invertible elements within this ring.^[6] The discriminant \Delta_K of K is defined for a \mathbb{Z}-basis \{\alpha_1, \dots, \alpha_n\} of \mathcal{O}_K as \Delta_K = \det(\operatorname{Tr}_{K/\mathbb{Q}}(\alpha_i \alpha_j))_{1 \leq i,j \leq n}, providing a measure of ramification in the extension.^[5] It is independent of the basis choice and nonzero for K \neq \mathbb{Q}.^[6] The different ideal \mathfrak{d}_K is the inverse of the dual module \mathcal{O}_K^\vee = \{\beta \in K : \operatorname{Tr}_{K/\mathbb{Q}}(\beta \mathcal{O}_K) \subseteq \mathbb{Z}\}, and its prime factors are precisely the ramified primes in \mathcal{O}_K over \mathbb{Z}.^[7] The norm of \mathfrak{d}_K equals |\Delta_K|.^[7] For \alpha \in K, the trace \operatorname{Tr}_{K/\mathbb{Q}}(\alpha) = \sum_{\sigma} \sigma(\alpha) sums the images under all n embeddings \sigma: K \hookrightarrow \mathbb{C}, while the norm N_{K/\mathbb{Q}}(\alpha) = \prod_{\sigma} \sigma(\alpha) is their product; both belong to \mathbb{Q}.^[5] These maps extend the usual trace and determinant from linear algebra to the field setting.^[6]

Statement of the Theorem

Dirichlet's unit theorem states that if K is a number field with r_1 real embeddings and r_2 pairs of complex embeddings, then the unit group \mathcal{O}_K^\times of its ring of integers \mathcal{O}_K is isomorphic to [W](/page/W) \times \mathbb{Z}^{r_1 + r_2 - 1}, where [W](/page/W) is the finite torsion subgroup consisting of the roots of unity in K.^[2] This isomorphism highlights the structure of the unit group as a direct product of a finite cyclic group and a free abelian group of rank s = r_1 + r_2 - 1.^[2] The integer s denotes the number of multiplicatively independent units of infinite order that generate the free part of \mathcal{O}_K^\times as a \mathbb{Z}-module.^[2] Specifically, there exist fundamental units \varepsilon_1, \dots, \varepsilon_s such that every unit in \mathcal{O}_K^\times can be uniquely expressed as \zeta \varepsilon_1^{m_1} \cdots \varepsilon_s^{m_s} for some root of unity \zeta \in W and integers m_i \in \mathbb{Z}.^[2] The theorem was proved by Peter Gustav Lejeune Dirichlet in 1846 using the pigeonhole principle and ideas anticipating the geometry of numbers.

Unit Group Structure

Torsion Component

The torsion subgroup W of the unit group \mathcal{O}_K^\times of the ring of integers \mathcal{O}_K of a number field K is precisely the group \mu_K of all roots of unity contained in K. This subgroup is finite and cyclic, generated by a primitive w_K-th root of unity, where w_K = |\mu_K| is the order of W.^[2]^[1] If K has at least one real embedding (i.e., r_1 > 0), then every root of unity in K must map to a real root of unity under that embedding, which can only be \pm 1; thus, W = \{\pm 1\} in this case.^[2] For totally real fields, this yields the minimal non-trivial torsion subgroup of order 2. Non-trivial roots of unity beyond \pm 1 therefore require K to be totally complex (i.e., r_1 = 0), and any such root generates a cyclotomic subfield \mathbb{Q}(\zeta_l) for some l > 2. The possible values of w_K > 2 are thus constrained by the cyclotomic subfields of K, with \mu_K being the largest cyclic group \mu_l \subset K.^[2] In imaginary quadratic fields, the torsion subgroup is finite since the unit rank is zero, and explicit classification shows W = \{\pm 1\} except in two cases: for K = \mathbb{Q}(i), W = \mu_4 = \{\pm 1, \pm i\} of order 4; and for K = \mathbb{Q}(\sqrt{-3}) = \mathbb{Q}(\zeta_3), W = \mu_6 of order 6, generated by a primitive sixth root of unity. These are the only imaginary quadratic fields with w_K > 2.^[2] More generally, non-quadratic number fields containing roots of unity of order greater than 2 must contain corresponding cyclotomic extensions as subfields.^[1] Cyclotomic fields \mathbb{Q}(\zeta_m) exhibit the largest torsion subgroups among fields of given degree, as \mu_{\mathbb{Q}(\zeta_m)} is cyclic of order equal to the maximal l such that \mu_l \subset \mathbb{Q}(\zeta_m). For odd m, this is \mu_{2m} of order $2m, since \mathbb{Q}(\zeta_m) = \mathbb{Q}(\zeta_{2m}); for example, in \mathbb{Q}(\zeta_5), W = \mu_{10} of order 10. For even m, it is \mu_m of order m; for instance, in \mathbb{Q}(\zeta_4) = \mathbb{Q}(i), order 4 as noted above. These examples illustrate how the torsion order grows with m, far exceeding the degree \phi(m).^[2] The order w_K can be computed using the conductor of the maximal cyclotomic subfield of K or via the class number formula, which relates w_K to the residue of the Dedekind zeta function at s=1: \lim_{s \to 1} (s-1) \zeta_K(s) = 2^{r_1} (2\pi)^{r_2} h_K R_K / (w_K \sqrt{|\Delta_K|}), where solving for w_K requires knowledge of the class number h_K, regulator R_K, and discriminant \Delta_K. This approach is practical for low-degree fields but relies on analytic continuation for verification.^[1]

Rank and Free Component

The free component of the unit group \mathcal{O}_K^\times of the ring of integers \mathcal{O}_K of a number field K is a free abelian group of rank s = r_1 + r_2 - 1, where r_1 is the number of real embeddings of K and r_2 is the number of pairs of complex conjugate embeddings.^[2]^[8] This free abelian group \mathbb{Z}^s is generated by s fundamental units \varepsilon_1, \dots, \varepsilon_s, which serve as a \mathbb{Z}-basis and, together with the torsion subgroup, generate the full unit group multiplicatively.^[2]^[8] A fundamental system of units refers to such a minimal generating set for the free component modulo the torsion subgroup, ensuring that every unit can be uniquely expressed as a torsion element times a product of integer powers of these fundamental units.^[2]^[8] The fundamental units \varepsilon_1, \dots, \varepsilon_s are independent over \mathbb{Z} if there do not exist integers n_1, \dots, n_s, not all zero, and a root of unity \zeta in K such that \prod_{i=1}^s \varepsilon_i^{n_i} = \pm \zeta.^[8] The choice of fundamental units is not unique; any other fundamental system differs by multiplication with torsion elements and integer powers of units within the group.^[2]^[8] The determination of this finite rank s in Dirichlet's unit theorem provides a key finiteness result, paralleling the finiteness of the ideal class group (whose order is the class number) as one of the two foundational structural theorems in algebraic number theory.^[1]^[8]

The Regulator

Definition and Logarithmic Map

The regulator of the unit group of the ring of integers \mathcal{O}_K in a number field [K](/page/K) is defined using the logarithmic embedding, which provides a geometric interpretation of the structure described by Dirichlet's unit theorem. Let r_1 denote the number of real embeddings of [K](/page/K) and r_2 the number of pairs of complex conjugate embeddings, so that [K : \mathbb{Q}] = r_1 + 2r_2. The logarithmic map \lambda: \mathcal{O}_K^\times \to \mathbb{R}^{r_1 + r_2} is given by

\lambda(\varepsilon) = \bigl( \log |\sigma_1(\varepsilon)|, \dots, \log |\sigma_{r_1}(\varepsilon)|, \, 2 \log |\tau_1(\varepsilon)|, \dots, 2 \log |\tau_{r_2}(\varepsilon)| \bigr),

where \sigma_1, \dots, \sigma_{r_1}: [K](/page/K) \to \mathbb{R} are the real embeddings and \tau_1, \dots, \tau_{r_2}: [K](/page/K) \to \mathbb{C} are representatives of the complex conjugate pairs.^[2]^[1] This map is a group homomorphism from the multiplicative group of units to the additive group \mathbb{R}^{r_1 + r_2}, reflecting the additive property of logarithms on absolute values.^[2] The image of \lambda on \mathcal{O}_K^\times lies in the hyperplane

H = \bigl\{ (x_1, \dots, x_{r_1 + r_2}) \in \mathbb{R}^{r_1 + r_2} \,\big|\, \sum_{i=1}^{r_1 + r_2} x_i = 0 \bigr\},

because for any unit \varepsilon \in \mathcal{O}_K^\times, the norm N_{K/\mathbb{Q}}(\varepsilon) = \pm 1 implies \sum x_i = \log |N_{K/\mathbb{Q}}(\varepsilon)| = 0.^[2]^[1] By Dirichlet's unit theorem, \mathcal{O}_K^\times \cong \mu_K \times \mathbb{Z}^s where \mu_K is the finite torsion subgroup (roots of unity in K) and s = r_1 + r_2 - 1 is the rank of the free part. The image \lambda(\mathcal{O}_K^\times) is thus a lattice of full rank s in the (r_1 + r_2 - 1)-dimensional hyperplane H.^[2]^[1] The regulator R_K measures the covolume of this lattice in H, providing a quantitative invariant of the unit group's arithmetic structure. If \varepsilon_1, \dots, \varepsilon_s form a \mathbb{Z}-basis for the free part of \mathcal{O}_K^\times, then R_K is the absolute value of the determinant of the s \times s matrix whose rows are the first s coordinates of \lambda(\varepsilon_1), \dots, \lambda(\varepsilon_s), or equivalently, the (r_1 + r_2 - 1)-dimensional volume of the parallelepiped spanned by these vectors in H.^[2]^[1] Explicitly, this determinant can be expressed as R_K = |\det M|, where M = (m_{i,j}) is the matrix with entries

m_{i,j} = \begin{cases} \log |\sigma_j(\varepsilon_i)| & 1 \leq j \leq r_1, \\ 2 \log |\tau_{j - r_1}(\varepsilon_i)| & r_1 + 1 \leq j \leq r_1 + r_2, \end{cases}

for i = 1, \dots, s and j = 1, \dots, s, taking a suitable minor to account for the hyperplane condition.^[2] This definition ensures R_K > 0 and is independent of the choice of basis for the free part, up to the action of the torsion subgroup.^[1]

Properties and Computation

The regulator R_K of a number field K is always positive, R_K > 0, as it equals the absolute value of the determinant of the matrix formed by the images under the logarithmic embedding map of a fundamental system of units, which is nonsingular.^[9] This positivity ensures that the unit group is "dense" in the appropriate sense within the space of embeddings, and the logarithm of the regulator, \log R_K, encodes geometric information about the arithmetic of the field, linking it to broader structures in arithmetic geometry.^[9] The regulator is independent of the choice of fundamental units: if \{u_1, \dots, u_s\} and \{v_1, \dots, v_s\} are two such systems, where s = r_1 + r_2 - 1 is the rank, then the corresponding matrices M and N under the logarithmic map satisfy N = A M for some A \in \mathrm{SL}(s, \mathbb{Z}), so \det N = \det A \cdot \det M = \det M since \det A = 1.^[9] This invariance makes R_K a well-defined invariant of the field. Lower bounds for the regulator arise from the geometry of numbers, particularly via the Hermite-Minkowski theorem on successive minima of lattices. Specifically, for a number field of degree n with signature (r_1, r_2), there exists a constant c > 0 depending on n and the signature such that R_K \geq c^{s} \sqrt{|\Delta_K|}, where \Delta_K is the discriminant and s = r_1 + r_2 - 1; explicit forms involve the Hermite constants \gamma_m bounding the minima, ensuring finiteness of fields with bounded discriminant.^[10] The regulator appears in the analytic class number formula, which equates the residue of the Dedekind zeta function at s = 1 to arithmetic invariants: \mathrm{Res}_{s=1} \zeta_K(s) = 2^{r_1} (2\pi)^{r_2} \frac{h_K R_K}{w_K \sqrt{|\Delta_K|}}, where h_K is the class number and w_K is the number of roots of unity; this relates R_K to the special value of the zeta function without delving into L-function details for characters.^[11] Computational methods for the regulator rely on finding a fundamental system of units via reduction theory. In real quadratic fields, continued fraction expansions of quadratic irrationals yield fundamental units efficiently, as the units correspond to solutions of Pell-like equations appearing in the continued fraction periods.^[9] For higher-degree fields, the Lenstra-Lenstra-Lovász (LLL) lattice reduction algorithm is used to find short vectors in the logarithmic embedding lattice, producing units of small height; generalizations like the geodesic algorithm apply LLL iteratively to quadratic forms derived from the Minkowski embedding to bound norms and generate independent units.^[12] Once units are computed, the regulator is obtained as the absolute determinant of their logarithmic matrix.

Examples

In real quadratic fields K = \mathbb{Q}(\sqrt{d}) for square-free positive integers d, there are two real embeddings and no complex ones, so r_1 = 2, r_2 = 0, and the unit group has rank 1 with torsion subgroup \{\pm 1\}. The fundamental unit \varepsilon > 1 generates the free part and satisfies the Pell equation x^2 - d y^2 = \pm 1 with minimal such x + y \sqrt{d} > 1. For instance, in K = \mathbb{Q}(\sqrt{2}), the fundamental unit is \varepsilon = 1 + \sqrt{2} (with norm -1), and the regulator is R = \log \varepsilon \approx 0.8814.^[2]^[1] In imaginary quadratic fields K = \mathbb{Q}(\sqrt{-d}) for square-free positive integers d, there are no real embeddings and one pair of complex conjugate embeddings, so r_1 = 0, r_2 = 1, and the unit group has rank 0 (purely torsional). For d \geq 5, the units are exactly \{\pm 1\}. Exceptions occur for d=1, where K = \mathbb{Q}(i) has units \{\pm 1, \pm i\} of order 4, and for d=3, where K = \mathbb{Q}(\sqrt{-3}) has units \{\pm 1, \pm \omega, \pm \omega^2\} with \omega = (-1 + \sqrt{-3})/2 a primitive sixth root of unity, of order 6. In all cases, the regulator is defined to be 1.^[2]^[13] Consider the cubic field K = \mathbb{Q}(\alpha) where \alpha^3 - \alpha - 1 = 0, which has one real embedding (r_1 = 1) and one complex conjugate pair (r_2 = 1), yielding rank 1 with torsion \{\pm [1](/page/−1)\}. The ring of integers is \mathbb{Z}[\alpha], and a fundamental unit is \varepsilon = \alpha (with norm 1). The regulator is R = \log |\sigma_1(\varepsilon)| \approx 0.28, where \sigma_1 is the real embedding.^[2] For a totally real cubic field, take K = \mathbb{Q}(\alpha) where \alpha^3 + \alpha^2 - 2\alpha - 1 = 0, with three real embeddings (r_1 = 3, r_2 = 0) and thus rank 2 with torsion \{\pm 1\}. A system of fundamental units is \varepsilon_1 = \alpha^2 + \alpha - 1 and \varepsilon_2 = 2 - \alpha^2 (both of norm -1). The regulator is the absolute value of the determinant of the $2 \times 2 matrix whose entries are \log |\sigma_j(\varepsilon_i)| for i=1,2 and real embeddings \sigma_1, \sigma_2 (with \sigma_3 determined by the norm condition).^[2] To compute such units explicitly, apply the geometry of numbers via the Minkowski bound, which provides an upper limit M_K on the norms of ideals whose generators may yield units (elements \beta \in \mathcal{O}_K with |\mathrm{N}_{K/\mathbb{Q}}(\beta)| = 1). Specifically, M_K = \frac{n!}{n^n} \left( \frac{4}{\pi} \right)^{r_2} \sqrt{|\Delta_K|} where n = [K:\mathbb{Q}] and \Delta_K is the discriminant; check principal ideals of norm at most M_K for elements of norm \pm 1, reducing via the continued fraction algorithm or trial in small ideals to find generators. For the examples above, M_K < 3 suffices to bound and identify the units listed.^[2]^[1]

Proof Outline

Geometry of Numbers

The geometry of numbers is a branch of mathematics that studies lattices in Euclidean space and their intersections with convex bodies, providing tools to bound the existence of nonzero lattice points within such sets. Developed by Hermann Minkowski, this framework is essential for analyzing discrete subgroups in vector spaces arising from number fields. Central to it is the concept of a lattice, which is a discrete subgroup of \mathbb{R}^m generated by m linearly independent vectors, with determinant \det(\Lambda) measuring its "volume" as the volume of the fundamental parallelepiped.^[14] Minkowski's convex body theorem asserts that if C \subset \mathbb{R}^m is a convex, compact set symmetric about the origin (i.e., C = -C) and \vol(C) > 2^m \det(\Lambda), then C contains a nonzero point of the lattice \Lambda. This guarantee relies on the Blichfeldt-Minkowski method, which uses integral geometry to show that the volume condition forces overlaps in the translates of C by lattice points, implying a nontrivial intersection. The theorem extends to non-compact bodies under additional measurability assumptions, but the compact case suffices for many applications in number theory.^[14]^[15] In the context of algebraic number theory, consider a number field K of degree n = r_1 + 2r_2 over \mathbb{Q}, with r_1 real embeddings and r_2 pairs of complex conjugate embeddings. The embeddings \sigma_1, \dots, \sigma_{r_1} into \mathbb{R} and \sigma_{r_1+1}, \dots, \sigma_{r_1+r_2} into \mathbb{C} map elements of K to a vector space V \cong \mathbb{R}^{r_1} \times \mathbb{C}^{r_2} \cong \mathbb{R}^n. This embedding space allows the ring of integers \mathcal{O}_K to be viewed as a lattice in \mathbb{R}^n. For units in \mathcal{O}_K^\times, the relevant structure emerges in logarithmic space.^[2] The logarithmic map \lambda: K^\times \to \mathbb{R}^{r_1 + r_2}, defined by \lambda(\alpha) = (\log |\sigma_1(\alpha)|, \dots, \log |\sigma_{r_1}(\alpha)|, 2\log |\sigma_{r_1+1}(\alpha)|, \dots, 2\log |\sigma_{r_1+r_2}(\alpha)|), sends units to points in the hyperplane H = \{ y \in \mathbb{R}^{r_1 + r_2} : \sum y_i = 0 \}, since the product of absolute values equals the norm, which is \pm 1 for units. The image \lambda(\mathcal{O}_K^\times) forms a lattice \Lambda in H \cong \mathbb{R}^{s}, where s = r_1 + r_2 - 1 is the rank of the free abelian part of the unit group. This lattice captures the multiplicative structure of units through additive geometry.^[1]^[2] To quantify the "size" of this unit lattice \Lambda relative to convex bodies in H, successive minima are defined as follows: for a convex body C \subset H symmetric about the origin, the i-th successive minimum \lambda_i(C, \Lambda) is the infimum of \lambda > 0 such that \lambda C contains at least i linearly independent points of \Lambda, for $1 \leq i \leq s. These minima \lambda_1 \leq \lambda_2 \leq \dots \leq \lambda_s provide successive scales at which the lattice "fills" the space, with Minkowski's second theorem bounding their product by \lambda_1 \cdots \lambda_s \leq 2^s \det(\Lambda) / \vol(C). In the unit lattice case, they measure the growth rates of fundamental units along independent directions in the hyperplane.^[15]^[1]

Finiteness and Generation

The proof of Dirichlet's unit theorem establishes the structure of the unit group \mathcal{O}_K^\times by first demonstrating the finiteness of its torsion subgroup and then showing that the free part is of rank s = r_1 + r_2 - 1, where r_1 and r_2 are the numbers of real and pairs of complex embeddings of the number field K. The torsion subgroup \mu_K consists precisely of the roots of unity in K, which form a finite cyclic group. This finiteness arises because any torsion unit satisfies |\epsilon|_v = 1 for all infinite places v, placing it in the kernel of the logarithmic map \lambda: \mathcal{O}_K^\times \to \mathbb{R}^{r_1 + r_2}, and finite subgroups of K^\times are cyclic and bounded, hence contained among the roots of unity of degree at most [K : \mathbb{Q}].^[16]^[1] To prove the rank is exactly s, the image \lambda(\mathcal{O}_K^\times) lies in the trace-zero hyperplane H \subset \mathbb{R}^{r_1 + r_2} of dimension s, and this image is a discrete additive subgroup, hence a lattice of rank at most s. Full rank is shown using the pigeonhole principle (Dirichlet's box principle) applied to units modulo torsion: Full rank is established using the pigeonhole principle by applying it to the images of a finite set of units under the logarithmic embedding in the hyperplane, demonstrating the existence of s linearly independent elements that span H. Alternatively, Minkowski's geometry of numbers bounds the successive minima of the lattice, ensuring it achieves full rank without proper sublattice containment.^[17]^[16] The finite generation follows from the lattice structure: since \lambda(\mathcal{O}_K^\times) is a full-rank lattice in H \cong \mathbb{R}^s, it is isomorphic to \mathbb{Z}^s, generated by s fundamental vectors corresponding to fundamental units \epsilon_1, \dots, \epsilon_s. Any unit \varepsilon \in \mathcal{O}_K^\times satisfies \lambda(\varepsilon) = \sum m_i \lambda(\epsilon_i) for integers m_i, so \varepsilon = \zeta \prod \epsilon_i^{m_i} up to sign (with \pm 1 absorbed into the torsion for real quadratic fields), as the height in log space is bounded by the lattice generators. This yields the isomorphism \mathcal{O}_K^\times \cong \mu_K \times \mathbb{Z}^s.^[1]^[17] The non-vanishing of the regulator, defined as the volume of the fundamental parallelepiped of \lambda(\mathcal{O}_K^\times), follows directly from the full-rank lattice embedding, as a lattice of rank less than s would have infinite volume or lie in a subspace, contradicting the spanning property. To outline the role of Minkowski's theorem in generating units from principal ideals, consider fractional ideals of norm at most the Minkowski bound M_K = \sqrt{|\Delta_K|} (4/\pi)^{r_2} (n!/n^n), where n = [K : \mathbb{Q}] and \Delta_K is the discriminant; there are only finitely many such ideals up to principal multiples, but geometry of numbers guarantees non-trivial principal ideals in this range, yielding units of bounded norm whose logarithms fill the lattice.^[16]^[1]

Generalizations

Higher Regulators

Higher regulators generalize the classical regulator from Dirichlet's unit theorem to higher algebraic K-groups of the ring of integers \mathcal{O}_K of a number field K. In the classical case, the regulator arises from the logarithmic embedding of the unit group into \mathbb{R}^{r_1 + r_2 - 1}, where r_1 and r_2 denote the numbers of real and pairs of complex embeddings, respectively. Higher regulators extend this to maps from odd-dimensional K-groups K_{2m-1}(\mathcal{O}_K) to real vector spaces of dimension typically r_1 + r_2, capturing finer arithmetic invariants through connections to special values of L-functions.^[18]^[19] Borel regulators provide a foundational construction, defined as continuous cohomology maps \rho_m: K_{2m-1}(\mathcal{O}_K) \to \mathbb{R}^{d_m}, where d_m = r_1 + r_2 if m is odd and d_m = r_2 if m is even. These maps generalize the Dirichlet regulator, which corresponds to the m=1 case up to the torsion-free rank adjustment, by embedding the rationalized K-group as a lattice in the target space; the higher regulator R_m is then the covolume of this lattice. For higher m, the regulator matrix representing \rho_m has size determined by the K-group rank, which equals d_m, reflecting the arithmetic structure without binomial growth in the number field setting. A key theorem links these regulators to Dedekind zeta values: \zeta_K^*(1 - 2m) = q_m R_m for rational q_m \neq 0, establishing their role in analytic class number formulas for higher K-groups.^[18]^[20] Beilinson regulators refine this framework within algebraic K-theory, defined via the Deligne-Beilinson cohomology map r_{Be,m}: K_{2m-1}(\mathcal{O}_K) \otimes \mathbb{R} \to H^1_D(X_{\mathbb{R}}, \mathbb{R}(m)), where X = \mathrm{Spec}(\mathcal{O}_K) and the target space has dimension r_1 + r_2 for odd weights. This construction aligns Borel's regulator with motivic cohomology, satisfying r_{Bo,m} = 2 r_{Be,m}, and extends the classical logarithmic map to higher weights using Chern characters and van Est isomorphisms. In the motivic setting, these regulators appear in special values of L-functions associated to motives over K, conjecturally determining the rational structure of K-groups through Beilinson's conjectures on the relation between algebraic and analytic regulators.^[19] The development of higher regulators began with Borel's work in the 1970s, establishing the ranks and maps for K-groups of number fields, and was advanced in the 1980s by Soulé through étale cohomology connections and by Beilinson via motivic interpretations, providing a unified arithmetic-geometric perspective on generalizations of Dirichlet's theorem.^[18]^[21]^[19]

Stark Regulator

Stark's conjectures, formulated in 1976, predict the existence of certain units in the ring of integers of abelian extensions of number fields, expressed in terms of derivatives of Artin L-functions at s = 0. Specifically, for an abelian extension K/k of totally real number fields with Galois group G, and a finite set S of places of k including the infinite places, the conjecture posits a unit \varepsilon in the S-units of K such that, for every irreducible character \chi of G with simple zero at s=0, L'(0, \chi) = -\frac{1}{|\mu_K|} \sum_{\sigma \in G} \chi(\sigma) \log |\sigma(\varepsilon)|_v for places v above a fixed infinite place w of k that splits completely.^[22] The Stark regulator R_\chi, central to this prediction, is defined as the determinant of a matrix whose entries are the logarithmic embeddings of a basis of units, twisted by the character \chi. More precisely, if \{\varepsilon_j\} is a basis for the unit lattice, then R_\chi = \det( (\log |\sigma_i(\varepsilon_j)| \cdot \chi(\sigma_i))_{i,j} ), which measures the volume of the projected unit lattice in the character direction and remains independent of the choice of basis. This regulator generalizes the classical Dirichlet regulator by incorporating the Galois action via \chi. In the conjecture, the unit \varepsilon satisfies an approximate relation \varepsilon \approx \exp\left( \sum_\chi R_\chi^{-1} L'(0, \chi) / w \right), where w is the number of roots of unity, linking the algebraic units directly to analytic data from L-function derivatives.^[23] An equivariant refinement, known as the Rubin-Stark conjecture, extends these ideas to higher-rank situations and applies particularly to CM fields. In this version, for abelian extensions of CM fields, the conjectured elements—generalizing Stark units—are elements in the exterior power of the unit module whose regulators match leading terms of equivariant L-functions at s = 0. For imaginary quadratic base fields, these Rubin-Stark elements coincide with elliptic units constructed via modular units on elliptic curves with complex multiplication, providing explicit generators for ray class fields. Verifications of Stark's conjectures hold in special cases, notably for totally real abelian extensions, where the predictions reduce to the classical analytic class number formula via the functional equation relating L'(0, \chi) to L(1, \overline{\chi}) and Gamma factors. This equivalence confirms the conjecture in low-degree settings and aligns with known unit structures in cyclotomic fields.^[23]

p-adic Regulator

The p-adic analogue of Dirichlet's unit theorem is provided by Leopoldt's conjecture, which posits that for a number field K and a prime p, the p-primary component of the unit group satisfies \mathcal{O}_K^\times \otimes \mathbb{Z}_p \cong \mathbb{Z}_p^{r_1 + r_2 - 1} \times F, where F is a finite group and r_1, r_2 are the numbers of real and pairs of complex embeddings of K, respectively.^[24] This structure reflects the expected rank from the classical theorem but in the p-adically completed setting, with the conjecture remaining open in general but proven for abelian extensions and certain other cases.^[25] The p-adic logarithmic map is central to this theory, defined via the p-adic logarithm \log_p(1 + x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \cdots, which converges in the p-adic disk |x|_p < p^{-1/(p-1)}. For global units, the map \lambda: \mathcal{O}_K^\times \to \bigoplus_{v \mid p} K_v sends a unit \varepsilon to (\log_v(\varepsilon))_{v \mid p}, where \log_v is the local p-adic logarithm on the completion K_v at each prime v above p, normalized such that the kernel on roots of unity is controlled and the image lies in a lattice of full rank under the conjecture.^[26] This map extends the classical logarithmic embedding at infinite places but uses local p-adic analysis instead of real absolute values. The p-adic regulator R_p(K) is defined as the absolute value of the determinant of the matrix whose entries are the images under \lambda of a \mathbb{Z}-basis \{\varepsilon_1, \dots, \varepsilon_{r_1 + r_2 - 1}\} of the free part of \mathcal{O}_K^\times, taken with respect to a \mathbb{Z}_p-basis of the image lattice in \bigoplus_{v \mid p} K_v.^[27] Leopoldt's conjecture is equivalent to the non-vanishing of R_p(K), ensuring the units generate the expected p-adic rank without defect.^[24] In Iwasawa theory, the p-adic regulator plays a key role in the p-adic class number formula, relating the value of the Kubota-Leopoldt p-adic L-function at s=1 to the p-adic class number and regulator via \zeta_p(1, \chi) = -\frac{h_p R_p(K)}{w_p \sqrt{|d_K|}} for totally real abelian K, up to units, where h_p, w_p, d_K are the p-part of the class number, number of roots of unity, and discriminant.^[28] It connects to the invariants of the Iwasawa \Lambda-module structure of class groups in \mathbb{Z}_p-extensions, with Leopoldt's conjecture implying the vanishing of the \mu-invariant (\mu = 0) for the cyclotomic tower.^[29] Unlike the archimedean regulator, which uses the real logarithm on all units, the p-adic version converges primarily on 1-units (those congruent to 1 modulo the maximal ideal at p-places) due to the radius of convergence of the series. In cyclotomic \mathbb{Z}_p-extensions, the regulator interpolates continuously in the p-adic sense across layers, enabling p-adic continuity properties absent in the classical case.^[28]

References

[1]
[PDF] 15 Dirichlet's unit theorem - MIT Mathematics
Nov 1, 2021 · Let K be a number field. The two main theorems of classical algebraic number theory are: • The class group clOK is finite. • The unit group O×.
[2]
[PDF] dirichlet's unit theorem - keith conrad
Introduction. Dirichlet's unit theorem describes the structure of the unit group of orders in a number field. Theorem 1.1 (Dirichlet, 1846).
[3]
Publications: 1846–1855 | SpringerLink
13.2 The Unit Theorem. On March 30, 1846, Dirichlet communicated the verification of his unit theorem, 1846b, to the Physical-Mathematical Class of the Akademie ...Missing: original | Show results with:original
[4]
[PDF] A generalization of Dirichlet's S-unit theorem - UT Math
Oct 5, 2010 · We generalize Dirichlet's S-unit theorem from the usual group of S-units of a number field K to the infinite rank group of all algebraic numbers ...
[5]
[PDF] Math 129: Number Fields
7.1 Trace, Norm and Discriminant using Embeddings . ... Last time, we showed that the discriminant of a number field is well-defined (it does not.
[6]
[PDF] MATH 154. ALGEBRAIC NUMBER THEORY 1. Fermat's ...
specific number, with no scaling ambiguity at all! 8. DISCRIMINANTS OF NUMBER FIELDS. We will define the discriminant of a number field, or really the “discrim-.
[7]
[PDF] the different ideal - keith conrad
The main idea needed to construct the different ideal is an analogue in number fields of the classical notion of a dual lattice in Euclidean space. We will ...
[8]
[PDF] Algebraic Number Theory
We find this eharisma of Jtirgen Neukirch in the book. It will be a motivating source for young students to study Algebraic Number Theory, and I am sure that it ...
[9]
[PDF] Algebraic Number Theory - James Milne
the ring of integers in the number field, the ideals and units in the ring of.
[10]
[PDF] A lower regulator bound for number fields
Since lower regulator bounds are important for many computational tasks in algebraic number fields we develop an explicit lower bound in this paper which is ...
[11]
[PDF] 19 The analytic class number formula
Nov 13, 2017 · By Dirichlet's unit theorem (Theorem 15.12), we can write. O×. K. = U × µK, where U ⊆ O. ×. K is free of rank r + s − 1 (the subgroup U is not ...
[12]
[PDF] Computation of Units in Number Fields
Jun 14, 2016 · We discuss three algorithms to find small norm elements in number fields. One of these algorithms is a continued fraction-like algorithm ...
[13]
[PDF] Last Time We were in the middle of the proof of Dirichlet's unit ...
It follows from Dirichlet's unit theorem that rK = rQ(ζ) = p − 1 2 − 1. ζi − ζ−i , i = 1,..., p − 1 2 . This implies that 1 − 4θ + 2θ2 is a unit. It is not a ...Missing: sqrt( | Show results with:sqrt(
[14]
[PDF] Minkowski's Theorem and Its Applications
We first introduce two proofs of the main theorem. Theorem. (Minkowski's theorem). Suppose C to be a symmetric, convex, bounded subset Rd. If vol(C) > 2d ...
[15]
[PDF] Chapter 2 Geometry of numbers
Minkowski's second convex body theorem gives an optimal upper and lower bound for the product of the successive minima of a central symmetric convex body. C ...
[16]
[PDF] Algebraic Number Theory Lecture 10: Dirichlet's Unit Theorem
The group of units UK associated to a number field K is the group of elements of OK that have an inverse in OK. Theorem 1.2 (Dirichlet). The ...
[17]
II Number Fields - Dirichlet's unit theorem
7Dirichlet's unit theorem. II Number Fields. 7 Dirichlet's unit theorem. We ... Example. If. d <. 0, then. r. = 0 and. s. = 1. So. r. +. s −. 1 = 0. So. O. ×. L.
[18]
[PDF] Higher K-Theory of Algebraic Integers and the Cohomology ... - IHES
Lecture one: Two theorems of Armand Borel. Let F be a number field, i.e, a finite field extension of Q, and let A = OF be its ring of integers, i.e., ...
[19]
[PDF] The Regulators of Beilinson and Borel José I. Burgos Gil - ICMAT
The aim of this book is to give a complete proof of the fact that Borel's regulator map is twice Beilinson's regulator map (Theorem 10.9). The key ingredient ...
[20]
https://doi.org/10.1007/BFb0084172
[21]
https://doi.org/10.1007/BFb0067057
[22]
https://doi.org/10.1016/0001-8708(76)90138-9
[23]
Cyclic extensions of prime degree and their p-adic regulators - MSP
The class group and regulator of a number field are important invariants of the field, providing information about the multiplicative and unit group structure ...
[24]
modules and Leopoldt's conjecture - arXiv
May 8, 2009 · The conjecture of Leopoldt states that the p - adic regulator of a number field does not vanish. It was proved for the abelian case in 1967 by Brumer, using ...
[25]
Definition of p-adic regulator and Minkowski theory - MathOverflow
Aug 8, 2016 · In "Cohomology of number fields" there is an interesting analogy between the Leopoldt conjecture and Minkowski's proof of the Dirichlet's unit theorem.How Dirichlet proved Dirichlet's unit theorem for general number ...Does p-adic $L$- function determine the $L$ function - MathOverflowMore results from mathoverflow.net
[26]
[PDF] p-primary parts of unit traces and the p-adic regulator
Recall the definition of Leopoldt's p-adic regulator: (24) |Rp| = det(logp τi(ej)), 1 ≤ i, j ≤ r , where logp denotes the usual p-adic logarithm on 1 + pZp.
[27]
[PDF] THE p-ADIC KUMMER–LEOPOLDT CONSTANT ... - HAL
The p-adic Kummer–Leopoldt constant κK of a number field. K is (under the Leopoldt conjecture for p in K) the least integer c such that for all n large enough, ...
[28]
Iwasawa theory and p-adic L-functions over $\mathbf{Z}_p^2 - arXiv
Aug 30, 2011 · In this paper, we define a two-variable analogue of Perrin-Riou's p-adic regulator map for the Iwasawa cohomology of a crystalline representation of the ...