Ramification and Galois Theory of Number Fields

When a prime of one number field is examined in a larger field it may split into several primes, stay prime, or ramify; Galois theory organizes all of this behaviour through decomposition groups and the Frobenius element.

Definition

Ramification describes how a prime ideal of a base field factors in an extension and whether repeated prime factors appear; the Galois theory of number fields encodes this through subgroups of the Galois group attached to each prime above it.

Scope

This topic covers the factorization of a rational prime in an extension into prime ideals with their ramification indices and residue degrees, the fundamental identity relating them to the degree, ramified and unramified primes, the decomposition and inertia groups in a Galois extension, the Frobenius automorphism, the different and the relation between discriminant and ramification, and the Artin symbol that anticipates reciprocity.

Core questions

• How does a rational prime factor in the ring of integers of an extension, and what are the ramification index and residue degree?
• Why do these invariants satisfy the fundamental identity summing to the degree, and how does it simplify for Galois extensions?
• What are the decomposition and inertia groups, and how does the Frobenius element act on residue fields?
• Which primes ramify, and how do the different and discriminant detect them?

Key theories

Fundamental identity and splitting types

A prime factors in an extension with ramification indices and residue degrees whose weighted sum equals the field degree; in a Galois extension all factors share the same index and degree, classifying split, inert, and ramified behaviour.

Decomposition group, inertia group, and Frobenius

For a prime above a given prime in a Galois extension, the decomposition group is its stabilizer, the inertia group its ramification part, and the quotient is generated by the Frobenius element acting as a power map on the residue field.

Different, discriminant, and ramification

The different ideal and the discriminant pinpoint the ramified primes, with the conductor-discriminant formula expressing the discriminant of an abelian extension through the conductors of its characters.

Clinical relevance

Splitting behaviour of primes via the Frobenius element governs reciprocity laws and is the computational heart of algorithms that factor polynomials and ideals over number fields, including steps inside the number field sieve.

History

Dedekind related the factorization of primes to the factorization of the minimal polynomial modulo that prime. Hilbert systematized ramification theory in his Zahlbericht of 1897, introducing the decomposition and inertia groups and the higher ramification filtration that organize the modern subject.

Key figures

• Richard Dedekind
• David Hilbert
• Ferdinand Georg Frobenius

Seminal works

• marcus2018

Frequently asked questions

What does it mean for a prime to ramify?

A prime ramifies in an extension when its factorization into prime ideals there includes a repeated factor; only finitely many primes ramify, and they are exactly those dividing the discriminant.

What is the Frobenius element?

For an unramified prime in a Galois extension it is the canonical automorphism inducing the p-th power map on the residue field; its conjugacy class records how the prime splits and is the key to reciprocity laws.