# Tame ramification and the tame Galois group

*Written by GPT-6.1 Sol (OpenAI) in Codex, Ultra setting, October 2026. Self-checked by the writing AI. Independent full-lesson AI review is not yet recorded. Public domain (CC0).*

Prime-to-residue-characteristic ramification is controlled by roots of uniformizers. Over the maximal unramified field, unit factors acquire all the needed roots, leaving a single tower of uniformizer radicals. Its Galois group has a canonical description in roots of unity; an arithmetic Frobenius acts on that group by the residue cardinality.

Throughout, \(K\) is a nonarchimedean local field, with residue field \(\mathbf F_q\) of characteristic \(p\), uniformizer \(\pi\), and a fixed separable closure \(K^{\mathrm{sep}}\). A finite separable extension \(L/K\) is **tame** if \(p\nmid e(L/K)\). Its residue extension is automatically separable because finite fields are perfect. In a general DVR setting, residue separability must also be required; see [Stacks, Tag 09E9](https://kokunoyumeto.github.io/stacks-zh-hans-cn/en/more-algebra.html#more-algebra-definition-types-of-extensions).

We use **Unramified and totally ramified extensions** for the residue correspondence, its unramified tower \(K^{\mathrm{ur}}\), integral generators and the Eisenstein characterization. All fields here lie in the fixed separable closure.

## 1. Removing a unit from a uniformizer equation

**Theorem 1.1 (the tame radical description).** If \(L/K\) is totally and tamely ramified of degree \(e\), there is a uniformizer \(\pi'\) of \(K\) such that
\[
L=K((\pi')^{1/e}).
\]
Conversely, when \(p\nmid e\), every field generated by a root of \(X^e-\pi'\), with \(\pi'\) a base uniformizer, is totally and tamely ramified of degree \(e\).

*Proof.* Choose a uniformizer \(\varpi\) of \(L\). Since the ramification index is \(e\), write
\[
\varpi^e=\pi u,\qquad u\in\mathcal O_L^\times.
\]
Total ramification identifies the upper and lower residue fields. Choose \(u_0\in\mathcal O_K^\times\) with the same residue as \(u\). Then \(u/u_0\in1+\mathfrak m_L\).

The polynomial \(X^e-u/u_0\) has the simple residue root \(1\), since its derivative there is \(e\), a unit. Hensel's lemma produces \(b\in1+\mathfrak m_L\) with \(b^e=u/u_0\). Thus
\[
\gamma=\varpi/b,\qquad \gamma^e=\pi u_0=\pi'.
\]
The element \(\gamma\) is a uniformizer of \(L\), so Theorem 5.1 of **Unramified and totally ramified extensions** gives \(K(\gamma)=L\). The element \(\pi'\) is a base uniformizer. The converse follows from that theorem applied to the Eisenstein polynomial \(X^e-\pi'\), and \(p\nmid e\) makes the resulting ramification tame. \(\square\)

The principal-unit root \(b\) removes the part of the unit that disappears in the residue field. No \(e\)-th root of the residue unit \(u_0\) in \(K\) was assumed.

## 2. A common field containing every tame extension

**Lemma 2.1 (unit roots over the unramified union).** Every unit of \(K^{\mathrm{ur}}\) has an \(m\)-th root in \(K^{\mathrm{ur}}\) whenever \(p\nmid m\). All roots of unity of order prime to \(p\) also lie there.

*Proof.* A given unit belongs to some finite unramified local field \(K_r\). In a finite extension of its residue field choose an \(m\)-th root of its residue. The derivative of \(X^m-u\) at that nonzero residue root is nonzero. The finite unramified field corresponding to this larger residue field is complete, so Hensel lifting supplies the root there. It lies in \(K^{\mathrm{ur}}\). Applying the same argument to \(X^m-1\), or the roots-of-unity description of the unramified tower, gives the second assertion. \(\square\)

This proof uses complete finite levels, not completeness of \(K^{\mathrm{ur}}\).

For each positive \(m\) prime to \(p\), choose a root \(\pi_m\) of \(X^m-\pi\) and put
\[
E_m=K^{\mathrm{ur}}(\pi_m).
\]
Different choices of the root give the same field, since their ratios lie in \(\mu_m\subset K^{\mathrm{ur}}\). If \(m\mid n\), an \(m\)-th root obtained by powering \(\pi_n\) shows \(E_m\subset E_n\). Thus their union is a field.

**Proposition 2.2 (the maximal tame extension and closure).** The field
\[
K^t=\bigcup_{\substack{m\ge1\\ p\nmid m}}
K^{\mathrm{ur}}(\pi^{1/m})
\tag{2.1}
\]
contains every finite tame extension of \(K\), and every finite subextension of \(K^t/K\) is tame. It is Galois over \(K\). Consequently tame extensions are closed under subextensions, composita and finite normal closures.

*Proof.* For a finite tame \(L/K\), let \(L_0\) be its maximal unramified subfield. The extension \(L/L_0\) is totally ramified of degree \(e(L/K)\). Theorem 1.1 gives
\[
L=L_0(\gamma),\qquad
\gamma^e=\pi',\qquad \pi'=u\pi
\]
for a unit \(u\in L_0\), because \(\pi\) remains a uniformizer in the unramified field \(L_0\). Lemma 2.1 supplies an \(e\)-th root \(v\) of \(u\) in \(K^{\mathrm{ur}}\). Therefore \(\gamma/v\) is an \(e\)-th root of \(\pi\), proving \(L\subset E_e\).

For the other direction, any finite set of elements of \(E_m\) uses only finitely many coefficients from \(K^{\mathrm{ur}}\). They all belong to some \(K_r\). Enlarge \(r\) if necessary to include \(\mu_m\). The field
\[
K_r(\pi_m)/K_r
\]
is Eisenstein, totally ramified of degree \(m\); hence its ramification index over \(K\) is \(m\), prime to \(p\). Every intermediate field has ramification index dividing \(m\) by multiplicativity and has finite, separable residue extension. It is tame. For a finite subfield of the full union, finitely many generators lie together in one \(E_m\), by passing to a common multiple of their indices, so the same argument applies.

The field \(K_r(\pi_m)\), with \(\mu_m\subset K_r\), is Galois over \(K\). The field \(K_r/K\) is Galois, and every conjugate of \(\pi_m\) is \(\zeta\pi_m\) with \(\zeta\in\mu_m\), already in that field. These finite Galois fields are cofinal in the union, proving that \(K^t/K\) is Galois.

A subextension of a finite tame extension has ramification index dividing its upper index and is therefore tame. Two finite tame fields lie in \(K^t\), so their finite compositum is tame by the established finite-subextension assertion. A finite normal closure lies in \(K^t\) by its normality and is tame by the same assertion. \(\square\)

This is a direct local-field proof of the closure assertion. The general DVR base-change method is [Stacks, Tag 0BRM, Abhyankar's lemma](https://kokunoyumeto.github.io/stacks-zh-hans-cn/en/more-algebra.html#more-algebra-lemma-abhyankar), in the section [Tag 0EXT](https://kokunoyumeto.github.io/stacks-zh-hans-cn/en/more-algebra.html#more-algebra-section-abhyankar-tame). No general Abhyankar lemma is needed as an unproved input to Proposition 2.2.

## 3. The canonical tame inertia group

Write
\[
I_t=\operatorname{Gal}(K^t/K^{\mathrm{ur}}).
\]
The valuation of \(K^{\mathrm{ur}}\), extended literally from \(v_K\), still has value group \(\mathbf Z\). Its residue field is \(\overline{\mathbf F}_q\).

Choose the radicals compatibly:
\[
\pi_n^{\,n/m}=\pi_m\quad(m\mid n,\ p\nmid n).
\tag{3.1}
\]
Such a choice exists. Take a sequence of prime-to-\(p\) indices in which each divides the next and every allowable index eventually divides one term. Starting with \(\pi_1=\pi\), choose at each step a root of the preceding radical of the required degree. Powering those choices defines the remaining radicals consistently.

**Theorem 3.1 (tame inertia with its Tate twist).** The map
\[
\chi:I_t\longrightarrow
\varprojlim_{\substack{m\ge1\\ p\nmid m}}\mu_m,
\qquad
\chi_m(\sigma)=\frac{\sigma(\pi_m)}{\pi_m}
\tag{3.2}
\]
is a canonical topological isomorphism, independent of the compatible radicals and of the base uniformizer. The transition from \(\mu_n\) to \(\mu_m\), for \(m\mid n\), is \(\zeta\mapsto\zeta^{n/m}\). Equivalently,
\[
I_t\cong\prod_{\ell\ne p}\mathbf Z_\ell(1),
\qquad
\mathbf Z_\ell(1)=\varprojlim_r\mu_{\ell^r}.
\tag{3.3}
\]
Choosing compatible primitive roots identifies this group with a prime-to-\(p\) procyclic group, but the identification with untwisted \(\prod_{\ell\ne p}\mathbf Z_\ell\) depends on that choice.

*Proof.* Over \(K^{\mathrm{ur}}\), \(X^m-\pi\) has degree \(m\) as the minimal polynomial of \(\pi_m\). One can check irreducibility without a completeness assertion: the \(m\) elements
\[
1,\pi_m,\ldots,\pi_m^{m-1}
\]
have values in distinct classes modulo \(\mathbf Z\), hence are linearly independent over \(K^{\mathrm{ur}}\). The field degree is at most \(m\), so it is exactly \(m\).

The polynomial is separable because \(p\nmid m\), and all its roots \(\zeta\pi_m\) lie in \(E_m\) by Lemma 2.1. It follows that \(E_m/K^{\mathrm{ur}}\) is Galois. Each of the \(m\) root images supplies an automorphism, and
\[
\operatorname{Gal}(E_m/K^{\mathrm{ur}})
\xrightarrow{\ \sim\ }\mu_m,\qquad
\sigma\longmapsto\sigma(\pi_m)/\pi_m.
\]
This is a group homomorphism because the base contains \(\mu_m\), which every such automorphism fixes. The compatible choice (3.1) makes restriction correspond exactly to the power transition. Taking inverse limits over the union (2.1) proves the topological isomorphism (3.2).

If \(\pi_m\) is replaced by another \(m\)-th root of \(\pi\), its ratio to the old root lies in \(\mu_m\), fixed by \(I_t\). The coordinate in (3.2) therefore does not change.

Now replace the base uniformizer by \(\pi'=u\pi\), with \(u\in\mathcal O_K^\times\). For any choices of the two \(m\)-th roots, their ratio is an \(m\)-th root of \(u\). Lemma 2.1 puts all such roots in \(K^{\mathrm{ur}}\): one root is there, and every other differs by an element of \(\mu_m\). That ratio is again fixed by \(I_t\), so the coordinate is unchanged. The same observation shows that (2.1) defines the same field for the two uniformizers.

Finally, the primary decomposition of cyclic root-of-unity groups, together with their power transitions, identifies the inverse limit over all prime-to-\(p\) indices with the product of the limits over each \(\ell^r\). This gives (3.3). A compatible primitive root in each coordinate chooses a basis for each \(\mathbf Z_\ell(1)\); there is no basis in the canonical construction itself. \(\square\)

## 4. Frobenius on the radical tower

Let \(\phi\in\operatorname{Gal}(K^{\mathrm{ur}}/K)\) be arithmetic Frobenius, acting on residues by \(x\mapsto x^q\).

**Proposition 4.1 (Frobenius action and the split sequence).** Restriction gives an exact sequence
\[
1\longrightarrow I_t\longrightarrow
\operatorname{Gal}(K^t/K)
\longrightarrow\widehat{\mathbf Z}\longrightarrow1.
\tag{4.1}
\]
It has a continuous section after choosing the radicals (3.1). For every lift \(\widetilde\phi\) of arithmetic Frobenius and every \(\tau\in I_t\),
\[
\widetilde\phi\tau\widetilde\phi^{-1}=\tau^q.
\tag{4.2}
\]
Thus, with a choice of section,
\[
\operatorname{Gal}(K^t/K)\cong
\left(\prod_{\ell\ne p}\mathbf Z_\ell(1)\right)
\rtimes\widehat{\mathbf Z},
\]
where \(1\in\widehat{\mathbf Z}\) acts by the \(q\)-th power.

*Proof.* For \(s\in\widehat{\mathbf Z}\), let \(\phi^s\) be the corresponding automorphism of \(K^{\mathrm{ur}}\). On \(E_m\), extend it by fixing \(\pi_m\). This defines a field automorphism: every element has a unique expression in the basis \(1,\pi_m,\ldots,\pi_m^{m-1}\), and the relation \(\pi_m^m=\pi\) is preserved because \(\pi\in K\). The extensions agree for divisibility of indices, by (3.1), and give an automorphism of \(K^t\).

This construction is a group homomorphism and is a section of restriction. It is continuous in the Krull topology. For a finite collection of elements, choose one radical index and one finite unramified coefficient field containing their expressions. Requiring \(s\) to act trivially on that coefficient field is an open subgroup of \(\widehat{\mathbf Z}\) that fixes the collection. Surjectivity of restriction and the exact sequence follow.

For a prime-to-\(p\) root of unity \(\zeta\), Frobenius acts as
\[
\phi(\zeta)=\zeta^q.
\]
Both sides are roots of unity with the same residue, and simple-root Hensel uniqueness proves equality. For the section lift, which fixes every \(\pi_m\), compute
\[
\frac{(\widetilde\phi\tau\widetilde\phi^{-1})(\pi_m)}
{\pi_m}
=\phi\!\left(\frac{\tau(\pi_m)}{\pi_m}\right)
=\chi_m(\tau)^q.
\]
The injectivity of (3.2) proves (4.2). Every other lift differs from this one by an element of \(I_t\). Since \(I_t\) is abelian, this changes no conjugation action on \(I_t\), proving the assertion for every lift.

The section and the canonical kernel give the semidirect product. Powering by \(q\) is an automorphism of the prime-to-\(p\) group because \(q\) is prime to every \(\ell\ne p\). \(\square\)

If \(\tau\) is a topological generator of the prime-to-\(p\) procyclic kernel, \(\tau\) and a section lift \(\widetilde\phi\) topologically generate the tame Galois group, with the relation (4.2). The prime-to-\(p\) closure condition on \(\tau\) is part of this description. Geometric Frobenius, the inverse of arithmetic Frobenius, acts by the inverse of \(q\) in that prime-to-\(p\) group.

## 5. When a uniformizer radical is already Galois

**Proposition 5.1 (Galois criterion in the tame range).** Let \(p\nmid e\), and set \(L=K(\pi^{1/e})\). Then
\[
L/K\text{ is Galois}
\quad\Longleftrightarrow\quad
\mu_e\subset K
\quad\Longleftrightarrow\quad e\mid q-1.
\]
When these conditions hold, the map
\[
\operatorname{Gal}(L/K)\longrightarrow\mu_e,\qquad
\sigma\longmapsto
\frac{\sigma(\pi^{1/e})}{\pi^{1/e}}
\]
is an isomorphism, and the group is cyclic of order \(e\).

*Proof.* The Eisenstein theorem gives \([L:K]=e\) and total ramification. If the extension is Galois, all roots of \(X^e-\pi\) lie in \(L\). Dividing them by one chosen root puts \(\mu_e\) in \(L\).

But \(K(\mu_e)/K\) is unramified, by the roots-of-unity description in **Unramified and totally ramified extensions**. As a subfield of the totally ramified \(L/K\), it has residue degree \(1\). Being unramified, its degree equals that residue degree, so it is \(K\). Therefore \(\mu_e\subset K\).

Conversely, if \(\mu_e\subset K\), every conjugate of a chosen root lies in \(L\). The polynomial is separable and splits there, so \(L/K\) is Galois. The displayed homomorphism is injective, since fixing the root fixes \(L\), and both groups have \(e\) elements; hence it is an isomorphism.

Reduction embeds the prime-to-\(p\) roots of unity into \(\mathbf F_q^\times\), by simple-root uniqueness. Conversely, all \(e\)-th residue roots lift when \(e\mid q-1\). The cyclic group \(\mathbf F_q^\times\), of order \(q-1\), contains all \(e\)-th roots exactly in that case. This proves the last equivalence. \(\square\)

The tame hypothesis cannot be deleted: \(\mathbf Q_2(\sqrt2)/\mathbf Q_2\) is a Galois quadratic extension even though \(2\nmid2-1\).

**Example 5.2.** The extension \(\mathbf Q_5(5^{1/4})/\mathbf Q_5\) is totally ramified of degree \(4\), tame and cyclic Galois, because \(4\mid5-1\). The extension \(\mathbf Q_5(5^{1/5})\) is totally ramified of degree \(5\) and is wild.

The quadratic \(\mathbf Q_3(\sqrt3)\) has ramification index \(2\), prime to \(3\), so is tame. Both \(\mathbf Q_2(\sqrt2)\) and \(\mathbf Q_2(\sqrt3)\) have index \(2\), so are wild. For the second, \(\sqrt3-1\) satisfies the Eisenstein polynomial
\[
Y^2+2Y-2,
\]
which verifies total ramification directly.

## 6. Exercises

1. Decide which of \(\mathbf Q_5(5^{1/4})\), \(\mathbf Q_5(5^{1/5})\), \(\mathbf Q_7(7^{1/3})\), and \(\mathbf Q_2(\sqrt3)\) are tame. For the tame examples, decide whether they are Galois.

2. Prove Proposition 5.1 and identify the automorphism group when its conditions hold.

3. Prove Theorem 1.1, explaining exactly where \(p\nmid e\) is used.

4. Prove the canonical tame inertia identification, its independence of the uniformizer, and the arithmetic Frobenius action.

## 7. Complete solutions

**Solution 1.** Eisenstein gives ramification indices \(4,5,3\) for the first three fields. Thus the degree-\(4\) extension at \(5\) and the degree-\(3\) extension at \(7\) are tame, while the degree-\(5\) extension at \(5\) is wild. The tame Galois criterion applies: \(4\mid4\) and \(3\mid6\), so their Galois groups are respectively cyclic of orders \(4\) and \(3\). For \(\mathbf Q_2(\sqrt3)\), the translated Eisenstein polynomial \(Y^2+2Y-2\) gives index \(2\), divisible by the residue characteristic; it is wild.

**Solution 2.** Let \(\alpha^e=\pi\), with \(p\nmid e\). Eisenstein makes \(L=K(\alpha)\) totally ramified of degree \(e\). Normality requires all roots \(\zeta\alpha\), and hence all \(\zeta\in\mu_e\), to lie in \(L\). Their generated field is unramified, so its degree is \(1\) inside the totally ramified extension. Consequently \(\mu_e\subset K\).

If \(\mu_e\subset K\), those roots all lie in \(L\); separability makes \(L/K\) Galois. The ratio \(\sigma(\alpha)/\alpha\) determines \(\sigma\) and multiplies under composition because the ratios are in \(K\). It identifies the group with \(\mu_e\). Finally, reduction is injective on these roots, and every residue root lifts uniquely. The finite cyclic residue unit group contains \(e\) distinct such roots exactly when \(e\mid q-1\), giving the desired equivalences.

**Solution 3.** Choose an upper uniformizer \(\varpi\) and write \(\varpi^e=\pi u\). Since the residue extension is trivial, lift the residue of \(u\) to a base unit \(u_0\). Now \(u/u_0\) is a principal unit. The derivative of \(X^e-u/u_0\) at its residue root \(1\) is \(e\), nonzero in the residue field precisely because \(p\nmid e\). Hensel produces \(b\equiv1\) with \(b^e=u/u_0\). The uniformizer \(\gamma=\varpi/b\) then satisfies \(\gamma^e=\pi u_0\), an equation over \(K\) with a base uniformizer on the right. Any upper uniformizer generates a totally ramified extension, so \(L=K(\gamma)\). The converse is Eisenstein plus the prime-to-\(p\) degree condition.

**Solution 4.** At a finite radical level, distinct valuation classes make \(X^m-\pi\) irreducible over \(K^{\mathrm{ur}}\). That base contains \(\mu_m\), so all roots lie in the radical field and its Galois group is \(\mu_m\) via the action ratio. Compatible radicals make restriction the power map. The inverse limit is therefore \(\varprojlim_{p\nmid m}\mu_m\), with the product decomposition into \(\mathbf Z_\ell(1)\).

Changing the chosen radical multiplies it by a root of unity fixed by inertia, preserving its action ratio. If \(\pi'=u\pi\), the ratio of any two \(m\)-th radicals is an \(m\)-th root of the unit \(u\). Choose such a root at a finite unramified level by lifting a simple residue root; all other choices differ by \(\mu_m\), so they too belong to \(K^{\mathrm{ur}}\). Inertia fixes the ratio, proving uniformizer independence coordinate by coordinate.

Extend arithmetic Frobenius on the unramified union by fixing the compatible radicals. Unique coefficient expansions make this an automorphism. It raises every prime-to-\(p\) root of unity to its \(q\)-th power, since it does so after reduction and the lifts are unique. Applying conjugation to each radical thus raises every inertia action ratio to its \(q\)-th power. Injectivity of the inverse-limit map gives
\(\widetilde\phi\tau\widetilde\phi^{-1}=\tau^q\). Replacing the lift multiplies it by an inertia element and leaves this action unchanged because inertia is abelian.

## 8. What this lesson does not prove

- The maximal unramified subfield, the classification of unramified extensions, their finite-field Frobenius, and total ramification by Eisenstein are Theorem 2.1, Corollary 3.1, Theorem 5.1 and Proposition 6.1 of **Unramified and totally ramified extensions**. Tower multiplication of the indices is recalled in its Section 1.
- Simple-root Hensel lifting is Corollary 1.2 of **Hensel's lemma, squares and roots of unity in p-adic fields**. Finite extensions are complete by Proposition 2.1 of **Extensions of complete valued fields**, whose Theorem 1.2 supplies the unique valuation on algebraic extensions.
- Cyclicity of finite residue multiplicative groups is the finite-subgroup fact used in Milne's *Fields and Galois Theory*, Proposition 4.19, with Exercise 1-3. The primary decomposition of finite cyclic groups and inverse limits of finite Galois groups are algebra and profinite-topology background. Section 3 specifies all the transition maps used here.

For finite residue multiplicative-group cyclicity the exact internal proof is [**Hensel's lemma, squares and roots of unity in p-adic fields**, Lemma 4.0](NT-LOC-03.md). Stacks, Tag 09HX remains a comparison source. The residue-extension and Frobenius facts are the proof of Corollary 3.1 of **Unramified and totally ramified extensions**. The remaining elementary finite-Galois background is part of **Graduate Algebra**.

## References
J. S. Milne, [*Algebraic Number Theory*](https://www.jmilne.org/math/CourseNotes/ANT.pdf), Chapter 7, “Totally ramified extensions of \(K\).”

[Stacks, Tag 0EXT](https://kokunoyumeto.github.io/stacks-zh-hans-cn/en/more-algebra.html#more-algebra-section-abhyankar-tame), “Abhyankar's lemma and tame ramification,” including [Tag 0BRM](https://kokunoyumeto.github.io/stacks-zh-hans-cn/en/more-algebra.html#more-algebra-lemma-abhyankar).