The Class Group - Key Properties

The structure of the class group reveals fundamental arithmetic properties of number fields and connects to analytic invariants via class number formulas.

TheoremFiniteness of the Class Group

For any number field $K$ , the class group $\text{Cl}(K)$ is finite. That is, $h_K < \infty$ .

This deep result combines geometry of numbers (Minkowski theory) with analytic techniques. The proof shows every ideal class contains an ideal of bounded norm, and there are only finitely many such ideals.

The finiteness of $h_K$ is non-obvious: while there are infinitely many ideals in $\mathcal{O}_K$ , only finitely many equivalence classes exist. This contrasts with the unit group $\mathcal{O}_K^*$ , which is typically infinite.

DefinitionClass Group Structure

By the structure theorem for finitely generated abelian groups, the class group decomposes as: $\text{Cl}(K) \cong \mathbb{Z}/d_1\mathbb{Z} \times \cdots \times \mathbb{Z}/d_r\mathbb{Z}$ where $d_1 | d_2 | \cdots | d_r$ . The invariants $d_i$ are the elementary divisors, and the largest, $d_r$ , is the exponent of the class group.

For quadratic fields, $\text{Cl}(K)$ is often cyclic, but higher-degree fields can have arbitrarily complex class group structures.

ExampleClass Group Structures

$\text{Cl}(\mathbb{Q}(\sqrt{-5})) \cong \mathbb{Z}/2\mathbb{Z}$ : cyclic of order 2
$\text{Cl}(\mathbb{Q}(\sqrt{-23})) \cong \mathbb{Z}/3\mathbb{Z}$ : cyclic of order 3
$\text{Cl}(\mathbb{Q}(\sqrt{-105})) \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z}$ : non-cyclic
$\text{Cl}(\mathbb{Q}(\zeta_{23}))$ has order 3, exponent 3

TheoremClass Number Formula

The analytic class number formula expresses $h_K$ in terms of the Dedekind zeta function: $h_K = \frac{w_K \sqrt{|\Delta_K|}}{2^{r_1}(2\pi)^{r_2} R_K} \lim_{s \to 1^+} (s-1)\zeta_K(s)$

where:

$w_K$ = number of roots of unity in $K$
$R_K$ = regulator (volume of fundamental domain of units)
$r_1, r_2$ = number of real and complex conjugate pair embeddings
$\zeta_K(s) = \sum_{\mathfrak{a}} N(\mathfrak{a})^{-s}$ = Dedekind zeta function

This formula reveals deep connections between algebraic (class number), geometric (discriminant, regulator), and analytic (zeta function) invariants.

Remark

The class number formula enables:

Computing $h_K$ via numerical evaluation of $\zeta_K(s)$
Proving infinitude of primes in arithmetic progressions via class field theory
Relating class numbers in towers of extensions (genus theory)

The formula's proof requires Dirichlet's unit theorem and properties of $L$ -functions.

TheoremCohen-Lenstra Heuristics

Empirical observations suggest that for imaginary quadratic fields ordered by discriminant, the probability that $p$ divides $h_K$ is approximately $1 - \prod_{i=1}^\infty (1 - p^{-i})$ .

These Cohen-Lenstra heuristics predict the distribution of class group structures in families of number fields, matching computational data remarkably well but remaining largely conjectural.

ExampleGrowth of Class Numbers

As $|\Delta_K| \to \infty$ :

For imaginary quadratic fields: $h_K \sim \frac{\sqrt{|\Delta_K|}}{\log |\Delta_K|}$ (Siegel)
For real quadratic fields: $h_K R_K \sim \frac{\sqrt{\Delta_K}}{\log \Delta_K}$

So class numbers grow, but slowly. Fields with large discriminant typically have large class numbers.