Abelian Extensions

Field Extensions and Commutative Symmetry

A central goal of algebraic number theory is to understand field extensions of a given base field, especially extensions of the rational numbers

\mathbb{Q}.

Galois theory associates to every finite Galois extension

L/K

a group of symmetries:

\mathrm{Gal}(L/K).

The structure of this group reflects the arithmetic complexity of the extension.

Among all extensions, the simplest and most important are those whose Galois groups are abelian.

Definition. A finite Galois extension

L/K

is called an abelian extension if

\mathrm{Gal}(L/K)

is an abelian group.

Thus every pair of automorphisms commutes:

\sigma\tau=\tau\sigma.

Abelian extensions form the central subject of class field theory.

First Examples

The simplest examples arise from quadratic fields.

Consider

K=\mathbb{Q}(\sqrt d),

where $d$ is squarefree.

The extension degree is

[K:\mathbb{Q}]=2.

Its Galois group contains two automorphisms:

the identity;
conjugation

\sqrt d\mapsto-\sqrt d.

Thus

\mathrm{Gal}(K/\mathbb{Q}) \cong C_2,

which is abelian.

Hence every quadratic extension of $\mathbb{Q}$ is an abelian extension.

Cyclotomic fields provide more sophisticated examples.

For a primitive $n$ -th root of unity $\zeta_n$ ,

\mathrm{Gal}(\mathbb{Q}(\zeta_n)/\mathbb{Q}) \cong (\mathbb{Z}/n\mathbb{Z})^\times.

Since the multiplicative group modulo $n$ is abelian, every cyclotomic extension is abelian.

These examples hint at a deep connection between roots of unity and abelian field extensions.

Splitting Behavior of Primes

Abelian extensions exhibit highly structured prime factorization behavior.

Let

L/K

be an abelian extension and let

\mathfrak{p}

be a prime ideal of $K$ .

The prime decomposes in the ring of integers of $L$ :

\mathfrak{p}\mathcal{O}_L = \mathfrak{P}_1^{e_1}\cdots\mathfrak{P}_g^{e_g}.

Because the Galois group is abelian, the decomposition and inertia behavior becomes especially symmetric.

In particular, Frobenius automorphisms associated with unramified primes depend only on the prime itself rather than on a choice of prime above it.

This property is one of the foundational reasons abelian extensions are tractable.

Cyclotomic Extensions

Cyclotomic fields are the prototypical abelian extensions.

Recall that

\mathbb{Q}(\zeta_n)

is generated by adjoining a primitive $n$ -th root of unity.

Its Galois group is

(\mathbb{Z}/n\mathbb{Z})^\times.

An automorphism is determined by

\sigma_a(\zeta_n)=\zeta_n^a, \qquad \gcd(a,n)=1.

Composition corresponds to multiplication modulo $n$ :

\sigma_a\sigma_b=\sigma_{ab}.

Cyclotomic fields therefore provide explicit arithmetic realizations of many finite abelian groups.

The arithmetic of these fields became central in Kummer’s work on Fermat’s Last Theorem and later evolved into class field theory.

Kronecker-Weber Theorem

One of the most remarkable results in algebraic number theory completely characterizes abelian extensions of $\mathbb{Q}$ .

Kronecker-Weber Theorem. Every finite abelian extension of $\mathbb{Q}$ is contained in a cyclotomic field.

Thus if

L/\mathbb{Q}

is finite and abelian, then there exists $n$ such that

L\subseteq\mathbb{Q}(\zeta_n).

This theorem shows that roots of unity generate all abelian extensions of the rational numbers.

Consequently, the arithmetic of cyclotomic fields controls all commutative Galois extensions over $\mathbb{Q}$ .

The theorem marks the beginning of global class field theory.

Conductors and Ramification

Abelian extensions are closely related to ramification data.

Every finite abelian extension

L/\mathbb{Q}

has an associated conductor

f_L,

which measures the ramified primes and the depth of ramification.

The conductor determines the smallest cyclotomic field containing $L$ :

L\subseteq\mathbb{Q}(\zeta_{f_L}).

Thus ramification data encodes how the extension sits inside cyclotomic fields.

This relationship becomes fundamental in class field theory and Artin reciprocity.

Frobenius Automorphisms

Suppose

L/K

is an abelian extension and let

\mathfrak{p}

be an unramified prime.

Associated to $\mathfrak{p}$ is a distinguished automorphism called the Frobenius automorphism:

\mathrm{Frob}_{\mathfrak{p}}.

It is characterized by

\mathrm{Frob}_{\mathfrak{p}}(x) \equiv x^{N(\mathfrak{p})} \pmod{\mathfrak{P}},

where

N(\mathfrak{p}) = |\mathcal{O}_K/\mathfrak{p}|

is the norm of the prime.

In abelian extensions, the Frobenius automorphism depends only on the prime $\mathfrak{p}$ , not on the chosen prime above it.

The distribution of Frobenius elements encodes deep arithmetic information.

Abelianization of Galois Groups

Given an arbitrary Galois group $G$ , one may form its abelianization:

G^{\mathrm{ab}} = G/[G,G],

where

[G,G]

is the commutator subgroup.

The abelianization measures the “commutative part” of the group.

Class field theory describes the maximal abelian extension

K^{\mathrm{ab}}

of a field $K$ :

K^{\mathrm{ab}} = \bigcup \{ L : L/K \text{ finite abelian} \}.

The Galois group

\mathrm{Gal}(K^{\mathrm{ab}}/K)

is the fundamental object of class field theory.

Local Abelian Extensions

The local theory studies finite abelian extensions of local fields such as

\mathbb{Q}_p.

These extensions are simpler than global ones yet already display rich ramification behavior.

Local class field theory provides a complete description of:

\mathrm{Gal}(K^{\mathrm{ab}}/K)

for local fields $K$ .

The theory connects the multiplicative group

K^\times

with the abelianized Galois group.

This local correspondence becomes the building block of global reciprocity laws.

Artin Reciprocity

The culmination of class field theory is Artin reciprocity.

Roughly speaking, the theorem states that ideal-theoretic arithmetic controls all finite abelian extensions.

For a number field $K$ , there exists a canonical homomorphism from an idele class group into

\mathrm{Gal}(K^{\mathrm{ab}}/K).

This map generalizes quadratic reciprocity and unifies all classical reciprocity laws into a single framework.

Artin reciprocity is one of the deepest achievements of algebraic number theory.

Abelian Extensions in Modern Mathematics

Abelian extensions remain central throughout modern arithmetic.

They appear in:

class field theory;
modular forms;
$L$ -functions;
Iwasawa theory;
arithmetic geometry;
the Langlands program.

Many modern theories may be viewed as attempts to generalize class field theory from abelian Galois groups to nonabelian ones.

In this sense, abelian extensions form the first layer of the grand relationship between arithmetic and symmetry.