The Kronecker-Weber theorem

Section 1.1 The Kronecker-Weber theorem

Reference.

Our approach follows [59], Chapter 14. A variety of other methods can be found in other texts.

Subsection Abelian extensions of $Q$

Definition 1.1.1.

An abelian extension of a field is a Galois extension with abelian Galois group. An example of an abelian extension of

Q

is the cyclotomic field

Q (ζ_{n})

(where

n

is a positive integer and

ζ_{n}

is a primitive

n

-th root of unity), whose Galois group is

(Z / n Z)^{*},

or any subfield thereof. Amazingly, Theorem 1.1.2 implies that there are no other examples!

🔗

Theorem 1.1.2. Kronecker-Weber.

K / Q

is a finite abelian extension, then

K \subseteq Q (ζ_{n})

forg some positive integer

n .

🔗

Proof.

See Lemma 1.1.10.

Example 1.1.3.

A fundamental example of Theorem 1.1.2 is that every quadratic extension of

Q

is contained in a cyclotomic field. This was known to Gauss via what we now call Gauss sums, and forms the basis of one of his proofs of quadratic reciprocity. It is this proof in particular that generalizes to Artin reciprocity (Theorem 2.2.6). See also Exercise 2 and Exercise 3.

🔗

Definition 1.1.4.

The smallest

n

such that

K \subseteq Q (ζ_{n})

is called the conductor of

K / Q .

It plays an important role in the splitting behavior of primes of

Q

K,

as we will see a bit later.

🔗

We will prove Theorem 1.1.2 in the next few lectures. Our approach will be to deduce it from a local analogue (see Theorem 1.3.4).

🔗

Theorem 1.1.5. Local Kronecker-Weber.

K / Q_{p}

is a finite abelian extension, then

K \subseteq Q_{p} (ζ_{n})

for some

n,

where

ζ_{n}

is a primitive

n

-th root of unity.

🔗

Proof.

See Theorem 1.3.4.

Before proceeding, it is worth noting explicitly a nice property of abelian extensions that we will exploit below.

🔗

Remark 1.1.6.

Let

L / K

be a Galois extension with Galois group

G,

let

p

be a prime of

K,

let

q

be a prime of

L

over

p,

and let

G_{q}

and

I_{q}

be the decomposition and inertia groups of

q,

respectively. Then any other prime

q^{'}

over

p

can be written as

q^{g}

for some

g \in G,

and the decomposition and inertia groups of

q^{'}

are the conjugates

g^{- 1} G_{q} g

and

g^{- 1} I_{q} g,

respectively. (Note: my Galois actions will always be right actions, denoted by superscripts.)

🔗

L / K

is abelian, though, these conjugations have no effect. So it makes sense to talk about the decomposition and inertia groups of

p

itself!

🔗

Subsection A reciprocity law

Assuming the Kronecker-Weber theorem, we can deduce strong results about the way primes of

Q

split in an abelian extension.

🔗

Definition 1.1.7.

Suppose

K / Q

is abelian, with conductor

m .

Then we get a surjective homomorphism

🔗

(Z / m Z)^{*} ≅ Gal (Q (ζ_{m}) / Q) \to Gal (K / Q) .

🔗

On the other hand, suppose

p

is a prime not dividing

m,

so that

K / Q

is unramified above

p .

As noted above, there is a well-defined decomposition group

G_{p} \subseteq Gal (K / Q) .

Since there is no ramification above

p,

the corresponding inertia group is trivial, so

G_{p}

is generated by a Frobenius element

F_{p},

which modulo any prime above

p,

acts as

x \mapsto x^{p} .

We can formally extend the map

p \mapsto F_{p}

to a homomorphism from

S_{m},

the subgroup of

Q^{*}

generated by all primes not dividing

m,

Gal (K / Q) .

This is called the Artin map of

K / Q .

🔗

The punchline is that the Artin map factors through the map

(Z / m Z)^{*} \to Gal (K / Q)

we wrote down above! Namely, note that the image of

r

under the latter map takes

ζ_{m}

ζ_{m}^{r} .

For this image to be equal to

F_{p},

we must have

ζ_{m}^{r} \equiv ζ_{m}^{p} (\mod p)

for some prime

p

K

above

p .

But

ζ_{m}^{r} (1 - ζ_{m}^{r - p})

is only divisible by primes above

m

(see Exercise 4) unless

r - p \equiv 0 (\mod m) .

Thus

F_{p}

must be equal to the image of

p

under the map

(Z / m Z)^{*} \to Gal (K / Q) .

🔗

Remark 1.1.8.

The Artin reciprocity law states that a similar phenomenon arises for any abelian extension of any number field; that is, the Frobenius elements corresponding to various primes are governed by the way the primes “reduce” modulo some other quantity. There are several complicating factors in the general case, though.

🔗

Prime ideals in a general number field are not always principal, so we can’t always take a generator and reduce it modulo something.
There can be lots of units in a general number field, so even when a prime ideal is principal, it is unclear which generator to choose.
It is not known in general how to explicitly construct generators for all of the abelian extensions of a general number field.

Thus our approach will have to be a bit more indirect. See Chapter 2 for the beginning of the story.

🔗

Subsection Reduction to the local case

Our reduction of Kronecker-Weber to local Kronecker-Weber relies on a key result typically seen in a first course on algebraic number theory.

🔗

Theorem 1.1.9. Minkowski.

There are no nontrivial extensions of

Q

which are unramified everywhere.

🔗

Proof.

See for instance [38] III.2.

Using Minkowski’s theorem, let us deduce the Kronecker-Weber theorem from the local Kronecker-Weber theorem.

🔗

Lemma 1.1.10.

The local Kronecker-Weber theorem (Theorem 1.1.5) implies the Kronecker-Weber theorem (Theorem 1.1.2).

🔗

Proof.

For each prime

p

over which

K

ramifies, pick a prime

p

K

over

p;

by local Kronecker-Weber (Theorem 1.1.5),

K_{p} \subseteq Q_{p} (ζ_{n_{p}})

for some positive integer

n_{p} .

Let

p^{e_{p}}

be the largest power of

p

dividing

n_{p},

and put

n = \prod_{p} p^{e_{p}} .

(This is a finite product since only finitely many primes ramify in

K .

)

Write

L = K (ζ_{n});

we will prove that

K \subseteq Q (ζ_{n})

by proving that

L = Q (ζ_{n}) .

Form the completion

L_{q}

for some prime

q

over

p;

it is contained in

Q_{p} (ζ_{lcm (n, n_{p})}) .

Let

I_{p}

be the inertia group of

p

L;

the fixed fixed

U

I_{p}

L_{q}

is the maximal unramified subextension of

L_{q} .

Since

Q_{p} (ζ_{e})

is unramified over

Q_{p}

for any positive integer

e

coprime to

p,

we have

L_{q} = U (ζ_{p^{e_{p}}})

and so

I_{p} ≅ Gal (L_{q} / U) \subseteq (Z / p^{e_{p}} Z)^{*} .

Let

I

be the group generated by all of the

I_{p};

then

| I | \leq \prod | I_{p} | \leq \prod ϕ (p^{e_{p}}) = ϕ (n) = [Q (ζ_{n}) : Q] .

On the other hand, the fixed field of

I

is an everywhere unramified extension of

Q,

which can only be

Q

itself by Minkowski’s theorem. That is,

I = Gal (L / Q) .

But then

[L : Q] = | I | \leq [Q (ζ_{n}) : Q],

and

Q (ζ_{n}) \subseteq L,

so we must have

Q (ζ_{n}) = L

and

K \subseteq Q (ζ_{n}),

as desired.

🔗

Exercises Exercises

1.

Prove that the ring of integers in

Q (ζ_{n})

equals

Z [ζ_{n}] .

🔗

Hint.

For

n

a power of a prime

p,

the minimal polynomial of

ζ_{n}

is the cyclotomic polynomial

Φ_{n} (x) = x^{(p - 1) n / p} + \dots + x^{n / p} + 1;

use the polynomial

Φ_{n} (x - 1)

to show that

1 - ζ_{n}

generates a prime ideal. For the general case, show that if

K

and

L

are linearly disjoint extensions of

Q

with coprime discriminants, then

o_{K L} = o_{K} o_{L} .

🔗

2.

For

m \in Z

not a perfect square, determine the conductor of

Q (\sqrt{m}) .

🔗

Hint.

First show that for

p

prime,

Q (\sqrt{(- 1)^{(p - 1) / 2} p})

has conductor

p .

🔗

3.

Using Exercise 2, recover the law of quadratic reciprocity from the Artin reciprocity law.

🔗

4.

Prove that if

m, n

are coprime integers in

Z,

then

1 - ζ_{m}

and

n

are coprime in

Z [ζ_{m}] .

🔗

Hint.

Look at the polynomial

(1 - x)^{m} - 1

modulo a prime divisor of

n .

🔗

5.

Prove that if

m

is not a prime power, then

1 - ζ_{m}

is a unit in

Z [ζ_{m}] .

🔗

6.

Let

p

be an odd prime. Prove that

Z [ζ_{p}]^{*}

is generated by

ζ_{p}

and

Z [ζ_{p} + ζ_{p}^{- 1}]^{*} .

🔗

Hint.

By Dirichlet’s units theorem, the index

[Z [ζ_{p}]^{*} : Z [ζ_{p} + ζ_{p}^{- 1}]^{*}]

is finite. For

α \in Z [ζ_{p}]^{*},

the ratio

α / \overset{―}{α}

is an algebraic integer having absolute value

1

under each complex embedding, and hence is a root of unity by Kronecker’s theorem.

🔗

Prev Top Next

Section 1.1 The Kronecker-Weber theorem

Reference.

Subsection Abelian extensions of Q

Definition 1.1.1.

Theorem 1.1.2. Kronecker-Weber.

Proof.

Example 1.1.3.

Definition 1.1.4.

Theorem 1.1.5. Local Kronecker-Weber.

Proof.

Remark 1.1.6.

Subsection A reciprocity law

Definition 1.1.7.

Remark 1.1.8.

Subsection Reduction to the local case

Theorem 1.1.9. Minkowski.

Proof.

Lemma 1.1.10.

Proof.

Exercises Exercises

1.

2.

3.

4.

5.

6.

Subsection Abelian extensions of $Q$