Skip to content

Decomposition and Inertia Groups

Let

number-theory book chatgpt

Galois Symmetry and Prime Ideals

Let

L/K L/K

be a finite Galois extension of number fields with Galois group

G=Gal⁡(L/K). G=\operatorname{Gal}(L/K).

Suppose

p \mathfrak p

is a prime ideal of

OK, \mathcal O_K,

and let

P \mathfrak P

be a prime ideal of

OL \mathcal O_L

lying above p\mathfrak p, meaning

P∩OK=p. \mathfrak P\cap\mathcal O_K=\mathfrak p.

The Galois group acts on prime ideals:

σ(P)={σ(x):x∈P}. \sigma(\mathfrak P) = \{\sigma(x):x\in\mathfrak P\}.

This action encodes how primes behave in field extensions.

Two particularly important subgroups arise:

  • the decomposition group,
  • the inertia group.

These groups measure local arithmetic symmetry near a prime.

Decomposition Group

The decomposition group of

P \mathfrak P

is

D(P)={σ∈G:σ(P)=P}. D(\mathfrak P) = \{ \sigma\in G: \sigma(\mathfrak P)=\mathfrak P \}.

Thus the decomposition group consists of automorphisms preserving the chosen prime ideal.

It is the stabilizer subgroup of P\mathfrak P under the Galois action.

The decomposition group controls the local symmetry of the extension near the prime.

Residue Field Action

The decomposition group acts naturally on the residue field

OL/P. \mathcal O_L/\mathfrak P.

If

x∈OL, x\in\mathcal O_L,

then

σ(x) mod P \sigma(x)\bmod\mathfrak P

defines an automorphism of the residue field.

This gives a homomorphism

D(P)→Gal⁡((OL/P)/(OK/p)). D(\mathfrak P) \to \operatorname{Gal} \left( (\mathcal O_L/\mathfrak P)/ (\mathcal O_K/\mathfrak p) \right).

The kernel of this map is the inertia group.

Inertia Group

The inertia group is

I(P)={σ∈D(P):σ(x)≡x(modP) for all x∈OL}. I(\mathfrak P) = \{ \sigma\in D(\mathfrak P): \sigma(x)\equiv x\pmod{\mathfrak P} \text{ for all }x\in\mathcal O_L \}.

Thus inertia automorphisms act trivially on the residue field.

They preserve all arithmetic modulo the prime ideal while still acting nontrivially inside the field itself.

The inertia group measures ramification.

Fundamental Exact Sequence

The decomposition and inertia groups fit into the exact sequence

1→I(P)→D(P)→Gal⁡(kP/kp)→1, 1 \to I(\mathfrak P) \to D(\mathfrak P) \to \operatorname{Gal}(k_{\mathfrak P}/k_{\mathfrak p}) \to 1,

where:

kP=OL/P,kp=OK/p. k_{\mathfrak P}=\mathcal O_L/\mathfrak P, \qquad k_{\mathfrak p}=\mathcal O_K/\mathfrak p.

1→I(P)→D(P)→Gal⁡(kP/kp)→1 1\to I(\mathfrak P)\to D(\mathfrak P)\to \operatorname{Gal}(k_{\mathfrak P}/k_{\mathfrak p})\to1

The quotient

D(P)/I(P) D(\mathfrak P)/I(\mathfrak P)

controls residue field extensions.

The inertia subgroup measures purely ramified behavior.

Relation to Ramification

Suppose

e e

is the ramification index and

f f

the residue degree.

Then:

∣I(P)∣=e, |I(\mathfrak P)|=e,

and

∣D(P)/I(P)∣=f. |D(\mathfrak P)/I(\mathfrak P)|=f.

Thus:

  • inertia corresponds to ramification,
  • decomposition modulo inertia corresponds to residue field extension.

If the prime is unramified, then

I(P)=1. I(\mathfrak P)=1.

Hence the decomposition group becomes isomorphic to the residue field Galois group.

Frobenius Automorphism

Suppose the prime is unramified.

The residue field extension

kP/kp k_{\mathfrak P}/k_{\mathfrak p}

is finite, so its Galois group is cyclic generated by the Frobenius automorphism

x↦x∣kp∣. x\mapsto x^{|k_{\mathfrak p}|}.

This automorphism lifts uniquely to an element

Frob⁡P∈D(P). \operatorname{Frob}_{\mathfrak P} \in D(\mathfrak P).

It satisfies

Frob⁡P(x)≡x∣kp∣(modP). \operatorname{Frob}_{\mathfrak P}(x) \equiv x^{|k_{\mathfrak p}|} \pmod{\mathfrak P}.

The Frobenius element is one of the most important objects in modern number theory.

Example: Cyclotomic Fields

Consider the cyclotomic extension

Q(ζn)/Q. \mathbb Q(\zeta_n)/\mathbb Q.

Its Galois group is

(Z/nZ)×. (\mathbb Z/n\mathbb Z)^\times.

If p∤np\nmid n, then the Frobenius automorphism acts by

ζn↦ζnp. \zeta_n\mapsto \zeta_n^p.

Thus arithmetic modulo primes becomes encoded inside Galois symmetry.

This relationship is foundational in class field theory and the Langlands program.

Totally Ramified Extensions

Suppose

e=[L:K]. e=[L:K].

Then the extension is totally ramified.

In this case:

I(P)=D(P). I(\mathfrak P)=D(\mathfrak P).

All local symmetry comes from ramification, and the residue fields remain unchanged.

Totally ramified extensions exhibit especially strong local arithmetic behavior.

Unramified Extensions

If

e=1, e=1,

then inertia is trivial:

I(P)=1. I(\mathfrak P)=1.

The decomposition group is then completely determined by residue field arithmetic.

Unramified extensions behave similarly to finite field extensions.

In local class field theory, unramified extensions are the simplest extensions.

Higher Ramification Groups

Ramification can be refined further.

Inside the inertia group one defines a descending filtration:

I(P)=I0⊇I1⊇I2⊇⋯ I(\mathfrak P)=I_0\supseteq I_1\supseteq I_2\supseteq\cdots

called the higher ramification groups.

These groups measure increasingly subtle arithmetic behavior near the prime.

Wild ramification corresponds to nontrivial higher ramification groups.

This theory becomes essential in:

  • local Galois representations,
  • arithmetic geometry,
  • étale cohomology.

Local Interpretation

Passing to completions simplifies the theory.

For a prime

p, \mathfrak p,

one studies local extensions

LP/Kp. L_{\mathfrak P}/K_{\mathfrak p}.

Then:

  • decomposition groups become full local Galois groups,
  • inertia groups measure local ramification directly.

Local fields therefore provide the natural setting for decomposition theory.

Geometric Analogy

Decomposition and inertia groups resemble stabilizers in covering spaces.

In algebraic geometry, ramified coverings possess local symmetry near branch points.

Similarly, ramified primes possess extra Galois symmetry measured by inertia groups.

This analogy became one of the foundations of modern arithmetic geometry.

Structural Importance

Decomposition and inertia groups connect:

  • prime factorization,
  • residue fields,
  • ramification,
  • local Galois theory,
  • Frobenius symmetries,
  • arithmetic geometry.

They provide the local group-theoretic language for describing how arithmetic changes in field extensions.