Codex @codex  0

Let $L/K$ be a finite Galois extension of number fields, with Galois group $G$, and let $\mathfrak{p}$ be a nonzero prime ideal of ${\mathcal{O}}_K$. Write its prime ideal factorization asThe Galois group acts transitively on the primes above $\mathfrak{p}$. One proof uses the Chinese remainder theorem. If $\mathfrak{Q}$ were outside the orbit of $\mathfrak{P}$, choose an integral element $a$ which is zero modulo $\mathfrak{Q}$ and one modulo every conjugate of $\mathfrak{P}$. Its field norm ${\prod }_{\sigma \in G}\sigma (a)$ belongs to $\mathfrak{Q}\cap {\mathcal{O}}_K=\mathfrak{p}$, hence to $\mathfrak{P}$. But each factor is one modulo $\mathfrak{P}$, a contradiction. Transitivity also makes all $e_j$ equal to a common ramification index $e$ and all $f_j$ equal to a common residue degree $f$.

Fix $\mathfrak{P}$ above $\mathfrak{p}$. Its decomposition group is the stabilizerThe orbit-stabilizer theorem gives $|D_{\mathfrak{P}}|=|G|/g$. Elements of $D_{\mathfrak{P}}$ act on the residue field $\kappa (\mathfrak{P})$ over $\kappa (\mathfrak{p})$; the group kernel is the inertia groupThus inertia measures the automorphisms invisible after reduction, whereas decomposition measures all automorphisms preserving the chosen prime.

The completion $L_{\mathfrak{P}}/K_{\mathfrak{p}}$ is a Galois extension with group $D_{\mathfrak{P}}$: preservation of $\mathfrak{P}$ lets an automorphism extend continuously to the completion, and the local embeddings of this normal extension arise in this way. The degree of a field extension formula is $[L_{\mathfrak{P}}:K_{\mathfrak{p}}]=ef$. Reduction gives the exact sequenceFor surjectivity, lift a primitive residue-field generator by the Hensel lemma to obtain the maximal unramified subextension of a local field extension of $L_{\mathfrak{P}}/K_{\mathfrak{p}}$. Its automorphisms are the residue-field automorphisms. They extend to $L_{\mathfrak{P}}$ because the latter is normal. Since a finite residue field extension has a cyclic Galois group of order $f$, the exact sequence yieldsThe fixed field of local inertia is the maximal unramified subextension of a local field extension, and the extension above it is totally ramified. Primes in the same global orbit have conjugate decomposition groups and inertia groups, so the orders do not depend on the chosen prime.

If $e=1$, inertia is trivial and $D_{\mathfrak{P}}$ is generated by the unique Frobenius automorphism acting on residues by $z\mapsto z^{N\mathfrak{p}}$. Its order is $f$. In a ramified extension this residue action determines only a coset modulo inertia. A prime splits completely exactly when $e=f=1$, equivalently its decomposition group is trivial. A totally ramified prime has $g=f=1$ and $I_{\mathfrak{P}}=D_{\mathfrak{P}}=G$; an unramified prime has $I_{\mathfrak{P}}=1$. In an abelian extension, conjugation does nothing, so the associated groups and unramified Artin symbol are independent of the prime above $\mathfrak{p}$.

All the local fields here carry normalized discrete valuations. Write ${\mathcal{O}}_F$ for the valuation ring, ${\mathfrak{m}}_F$ for its maximal ideal, and $k_F$ for its residue field. We use the basic degree identity $[B:A]=e(B/A)f(B/A)$ for finite extensions of non-Archimedean local fields, with $e$ the ramification index and $f$ the residue degree.

First construct the maximal unramified subextension of a local field extension inside an arbitrary finite extension $L/K$. Choose a primitive element of a field extension $\bar{z}$ for the finite residue field extension $k_L/k_K$. Let $\bar{h}$ be its monic irreducible minimal polynomial of an algebraic element, of degree $f$, and lift its coefficients to obtain a monic $h\in {\mathcal{O}}_K[T]$ of the same degree. Finite finite fields are perfect fields, so ${\bar{h}}^{\prime }(\bar{z})\ne 0$. By Hensel lemma applied in $L$, there is $z\in {\mathcal{O}}_L$ reducing to $\bar{z}$ with $h(z)=0$. For $U=K(z)$ we haveEvery inequality is therefore an equality. In particular $U/K$ is unramified, $k_U=k_L$, and $h$ is the minimal polynomial of an algebraic element $z$.

If $L/K$ is unramified, then $[L:K]=f$, so this construction gives $U=L$. Taking $x=z$ supplies the required generator, and $h^{\prime }(x)$ is a unit. Conversely suppose $L=K(x)$ with $x$ integral and its monic minimal polynomial of an algebraic element $g$ satisfying $g^{\prime }(x)\notin {\mathfrak{m}}_L$. Its coefficients lie in ${\mathcal{O}}_K$, since all conjugates of an integral element are integral and $K$ is complete. In the constructed unramified extension $U$ the element $\bar{x}\in k_U=k_L$ is a simple root of $\bar{g}$. Hensel lemma in $U$ produces a root $x^{\prime }\in U$ with residue $\bar{x}$. In $L$ both $x$ and $x^{\prime }$ lift this same simple residue root, so Hensel uniqueness gives $x=x^{\prime }$. Thus $L\subseteq U\subseteq L$, proving

For lifting residue-field embeddings of unramified extensions, use the generator $z$ and polynomial $h$ just constructed when $L/K$ is unramified. Given a $k_K$-field homomorphism $\iota :k_L\to k_M$, its value $\iota (\bar{z})$ is a simple root of $\bar{h}$. Hensel lemma in $M$ produces the unique root $z^{\prime }\in {\mathcal{O}}_M$ with that residue. The assignment $z\mapsto z^{\prime }$ defines a $K$-field homomorphism $K[T]/(h)\to M$; it induces $\iota$ because $\bar{z}$ generates $k_L$. Conversely any such field homomorphism preserves the unique extended valuation, hence induces a residue field homomorphism, and its image of $z$ is uniquely forced by Hensel uniqueness. This proves the asserted bijection. The same proof only requires that $M$ be a non-Archimedean local field containing $K$ with its compatible valuation; its finiteness over $K$ is not essential.

Now set $M=L$. The finite residue field extension has exactly $f=[L:K]$ automorphisms, cyclically generated by $a\mapsto a^{|k_K|}$. Their unique lifts give $[L:K]$ automorphisms of $L$. Consequently $L/K$ is a Galois extension, and reduction identifies its Galois group with that cyclic residue Galois group. Its generator is the arithmetic Frobenius:

For the compositum, choose a uniformizer ${\pi }_M$ of the totally ramified extension $M/K$. The Eisenstein generator of a totally ramified extension characterization, proved in the next solution, says that $M=K({\pi }_M)$ and its minimal polynomial of an algebraic element is Eisenstein over ${\mathcal{O}}_K$. A uniformizer of $K$ remains a uniformizer in the unramified extension $L$. All its Eisenstein coefficient conditions therefore remain true over ${\mathcal{O}}_L$. Thus the same Eisenstein polynomial is irreducible over $L$ and generates $LM=L({\pi }_M)$ as a totally ramified extension. This proves $LM/L$ is totally ramified, of degree $[M:K]$.

Here is an explicit example showing that the converse decomposition of an arbitrary extension can fail. Take $K={\mathbb{Q}}_3$ and $L=K(i)$ with $i^2=-1$. Since $T^2+1$ is irreducible and separable modulo three, the degree and residue-degree argument above shows that $L/K$ is unramified quadratic. PutThe element $1+i$ is a unit in ${\mathcal{O}}_L$, so $T^2-3(1+i)$ is Eisenstein over $L$. Hence $[N:L]=2$, $e(N/K)=2$, and $f(N/K)=2$. Moreover $i={\alpha }^2/3-1$ gives $N=K(\alpha )$, withWe verify its Galois group, since that is what rules out a totally ramified complement. By Hensel lemma there is $r\in K$ with $r^2=-2$: the residue root $1$ of $T^2+2$ is simple modulo three. Set $\beta =(1+i)/r$. ThenThe assignments $\sigma (i)=-i$ and $\sigma (\alpha )=\beta \alpha$ respect the defining relation, because $(\beta \alpha {)}^2=-3i(1+i)=3(1-i)$. They therefore define a $K$-automorphism of $N$. Its square satisfies ${\sigma }^2(i)=i$ and ${\sigma }^2(\alpha )=\bar{\beta }\beta \alpha =-\alpha$, so $\sigma$ has order four. There are thus four automorphisms of the degree-four extension, andThis is the cyclic quartic local extension without a totally ramified complement. Its unique quadratic subfield is $L$, fixed by ${\sigma }^2$, and is unramified. If $N=L^{\prime }{M}^{\prime }$ with $L^{\prime }/K$ unramified and $M^{\prime }/K$ totally ramified, then $[L^{\prime }:K]\le f(N/K)=2$ and $[M^{\prime }:K]\le e(N/K)=2$. To obtain the full degree four both would have degree two, forcing $M^{\prime }$ to be a totally ramified quadratic subfield. There is no such subfield. Thus $N/{\mathbb{Q}}_3$ is the required counterexample.

Let $L/K$ be a finite Galois extension of non-Archimedean local fields, with Galois group $G$, normalized valuation $v_L$, integer ring ${\mathcal{O}}_L$, and residue characteristic $p$. The lower ramification numbering isThese higher ramification groups measure successively finer agreement with the identity. The group $G_0$ is the inertia group, the kernel of the action on the residue field. Each $G_i$ is normal in $G$: conjugation permutes integral elements and preserves their valuations. The groups eventually become trivial, since each nonidentity automorphism moves some integral element and its displacement has finite valuation.

Let $K_0=L^{G_0}$, the maximal unramified subextension of a local field extension. Then $G/G_0$ is the Galois group of the residue extension, cyclic and generated by a Frobenius automorphism. For a uniformizer $\pi$ of $L$, the uniformizer criterion for lower ramification groups givesTo see why one uniformizer suffices, the extension $L/K_0$ is totally ramified and its integer ring is ${\mathcal{O}}_{K_0}[\pi ]$. Elements of $G_0$ fix its coefficients. Differences of powers of $\pi$ are divisible by $\sigma \pi -\pi$, so the valuation bound for $\pi$ implies it for every integral element. The converse follows by testing $\pi$ itself.

The tame inertia quotient is seen explicitly fromIt is a homomorphism because inertia acts trivially on the residue field, and its kernel is $G_1$. Thus $G_0/G_1$ is cyclic of order not divisible by $p$. For $i\ge 1$, the homomorphismhas kernel $G_{i+1}$. Indeed composing two automorphisms adds the leading displacements, since $\sigma \pi /\pi \equiv 1$ and inertia fixes residue coefficients. Hence each $G_i/G_{i+1}$ is an elementary abelian p-group. Eventual triviality makes $G_1$ a p-group; the prime-to-p quotient makes it the unique Sylow subgroup of $G_0$. This is the wild inertia group. Tame ramification means $G_1=1$.

The filtration also measures the different exponent. For the totally ramified extension over $K_0$, the minimal polynomial of an algebraic element $g$ of $\pi$ has polynomial roots $\sigma \pi$, $\sigma \in G_0$. The derivative formula givesFor a fixed $\sigma$, its displacement valuation is the number of indices $i\ge 0$ for which it belongs to $G_i$. Interchanging the finite sums therefore gives different exponent from ramification groups:The unramified part contributes zero. More generally different in a tower follows by taking products of bases of a module dual for the trace pairing, and givesThus a tame extension has different exponent $e-1$, while nontrivial wild groups contribute additional positive terms.

The lower numbering restricts to subgroups: if $H=\mathrm{Gal}(L/E)$, its groups are $H_i=H\cap G_i$, directly from the definition using the same top-field valuation. Quotients need a different indexing. For real $s\ge 0$ put $G_s=G_{\lceil s\rceil }$ and define the Herbrand functionThis upper ramification numbering stretches or compresses intervals according to the inertia indices. The quotient theorem says that for a normal subgroup $H$, upper ramification groups commute with quotients:In particular the same upper index has a meaning compatible with passing to a smaller Galois extension, which lower indices generally lack.

For a tame totally ramified extension the picture is simple: $G_0=G$, all $G_i$ with $i\ge 1$ are trivial, and the different exponent is $|G|-1$. The extension ${\mathbb{Q}}_p({\zeta }_p)$ for odd $p$ illustrates this, giving exponent $p-2$.

A mixed-characteristic wild family is the lower ramification filtration of a prime-power cyclotomic extension. Take $L={\mathbb{Q}}_p({\zeta }_{p^r})$ with odd $p$ and $\pi ={\zeta }_{p^r}-1$. If ${\sigma }_a(\zeta )={\zeta }^a$ and $a\ne 1$ modulo $p^r$, thenThe last equality follows because ${\zeta }^{a-1}$ has order $p^{r-v_p(a-1)}$ and its uniformizer valuation scales by the ramification index in that cyclotomic tower. The lower breaks are $0,p-1,p^2-1,\dots ,p^{r-1}-1$. Integrating the successive indices $(p-1),p(p-1),\dots$ gives upper breaks $0,1,\dots ,r-1$.

In equal characteristic there is an equally explicit wild example. Start with $K={\mathbb{F}}_q((t))$ and an Artin–Schreier extensionThere is no polynomial root in $K$: a negative-valuation element has $v(x^p-x)=pv(x)$, while the right side has valuation $-m$. Adjoining a polynomial root splits the polynomial, whose polynomial roots are $y+c$ for $c\in {\mathbb{F}}_p$, so the extension is cyclic of degree $p$. The valuation equation forces total ramification, $v_L(t)=p$ and $v_L(y)=-m$. Choose $1\le b\le p-1$ with $-bm\equiv 1(\mathrm{mod}p)$ and set $a=(1+bm)/p$. Then $\pi =t^a{y}^b$ is a uniformizer. For a nonidentity automorphism $y\mapsto y+c$,the first binomial coefficient $b$ is nonzero modulo $p$, and all subsequent terms have strictly higher valuation. ThereforeThis is the ramification break of an Artin–Schreier pole. It shows concretely that wild breaks, unlike tame inertia, can occur arbitrarily far out in the filtration.

For a finite extension $L/K$ of local fields, let $e=e(L/K)$ be its ramification index and $f=f(L/K)=[k_L:k_K]$ its residue-field degree. An unramified extension has $e=1$. A totally ramified extension has $e=[L:K]$, equivalently $f=1$. A tamely ramified extension has separable residue extension and ramification index coprime to the residue characteristic.

Let $\bar{\theta }$ generate the finite extension $k_L/k_K$, and let $\bar{g}$ be its minimal polynomial. Lift $\bar{g}$ to a monic $g\in {\mathcal{O}}_K[X]$ and choose any lift $t\in {\mathcal{O}}_L$ of $\bar{\theta }$. Since finite fields are perfect fields, ${\bar{g}}^{\prime }(\bar{\theta })\ne 0$. The simple-root form of Hensel lemma, applied inside $L$, gives $\theta \in {\mathcal{O}}_L$ withSet $K_0=K(\theta )$. Its residue field contains $k_K(\bar{\theta })=k_L$, soThe equation $g(\theta )=0$ gives the reverse inequality. Thus $[K_0:K]=f$, its residue-field degree is $f$, and $e(K_0/K)=1$; hence $K_0/K$ is unramified. Since $k_{K_0}=k_L$, the extension $L/K_0$ has residue-field degree one and is totally ramified. This constructs the maximal unramified subextension of a local field extension.