Maximal Tamely Ramified Quotient

• Maximal Tamely Ramified Quotient is the quotient of the absolute Galois group that retains all prime-to-residue characteristic inertia, differentiating tame from wild ramification.
• It is formally constructed by modding out wild inertia, thereby preserving the decomposition/inertia stratification essential for precise arithmetic and anabelian applications.
• This quotient underpins key insights in field reconstruction, Iwasawa theory, and Galois cohomology by encoding local-global ramification structures in number fields and local p-fields.

A maximal tamely ramified quotient of the absolute Galois group of a number field or local p-field encapsulates the group-theoretic data of all Galois extensions having no wild ramification, i.e., extensions where at each finite prime, the ramification index is prime to the residue characteristic. This quotient retains much of the decomposition/inertia stratification present in the full Galois group, and plays a crucial role in modern anabelian geometry, Iwasawa theory, and Galois cohomology. Unlike maximal pronilpotent quotients—which lose wild vs. tame ramification distinctions—the tamely ramified quotient preserves decomposition subgroups and the prime-to-$p$ inertia, allowing arithmetic and field-reconstructive applications that fundamentally depend on these local invariants (Karshon et al., 3 Jan 2026).

1. Definition and Formal Construction

Let $K$ be a number field or local field, and fix a separable closure $\overline{K}$. The maximal tamely ramified extension, denoted $K^{\mathrm{tame}}$, is the compositum of all finite Galois subextensions $L/K$ inside $\overline{K}$ such that at every finite prime $v$ of $K$, the wild inertia subgroup $W_v\cap\mathrm{Gal}(\overline{K}/L)=\{1\}$, i.e., no wild ramification occurs. Formally,

$$G_K^{\mathrm{tame}} := \mathrm{Gal}(K^{\mathrm{tame}}/K) \cong \mathrm{Gal}(\overline{K}/K)\Big/\Big\langle\,W_v:\,v<\infty\Big\rangle\,.$$

In local fields $K$ with residue characteristic $p$, the tame quotient $\Gamma = \mathrm{Gal}(K^{\mathrm{tame}}/K)$ is exactly the group generated by tame inertia $I_{\mathrm{tame}}$ (a pro-cyclic, prime-to-$p$ group) and the Frobenius $\phi$, subject to the relation $\phi \tau \phi^{-1} = \tau^q$ where $q$ is the cardinality of the residue field (Dalawat, 2016).

2. Local–Global Decomposition and Inertia Structure

In $G_K^{\mathrm{tame}}$, decomposition subgroups at finite primes $D_v^{\mathrm{tame}}$ fit into split exact sequences: $$1 \longrightarrow I_v^{\mathrm{tame}} \longrightarrow D_v^{\mathrm{tame}} \longrightarrow \widehat{\mathbb{Z}} \longrightarrow 1\,,$$ with $$I_v^{\mathrm{tame}} \cong \prod_{\ell\neq p_v} \mathbb{Z}_\ell$$ (the product runs over primes distinct from the residue characteristic). The Frobenius action is encoded via $\tau\mapsto \tau^{q_v}$ for $q_v$ the sizes of residue fields. This structure ensures that tame Galois groups fully encode the prime-to-$p$ part of inertia and decomposition stratification at every finite place, in a way that supports arithmetic reconstruction results (Karshon et al., 3 Jan 2026, Dalawat, 2016). The global cohomological structure is summarized in the tame Brauer exact sequence: $$0 \longrightarrow H^2(G_K^{\mathrm{tame}}, \mu_\ell) \longrightarrow \bigoplus_{v} H^2(D_v^{\mathrm{tame}},\mu_\ell) \longrightarrow \mathbb{Z}/\ell \mathbb{Z} \longrightarrow 0\,,$$ for $\ell$-sealed number fields $K$ (Karshon et al., 3 Jan 2026).

3. Pro-$p$ Quotients and Finiteness Results

Let $K$ be imaginary quadratic, $p$ odd, $S$ a set of finite primes of $K$ not above $p$. The maximal pro-$p$ extension unramified outside $S$ is denoted $K_S$, and $G_S(K,p) = \mathrm{Gal}(K_S/K)$ is its Galois group. When $S$ consists of one or two primes, and the $p$-class group is cyclic or trivial,

• If $|S|=1$ and $$\operatorname{Cl}_K(p)\simeq \mathbb{Z}/p\mathbb{Z}$$, $G_S(K,p)$ is an extraspecial $p$-group of order $p^n$,

$$G_S(K,p) \simeq \langle a,b \mid a^{p^{n-1}}=1,\, b^p=1,\, b^{-1}ab = a^{1+p^{n-2}} \rangle$$

for $$n-1 = \operatorname{ord}_p |\operatorname{Cl}_{H_p(K)}(q')| \geq 2$$ (Liu et al., 2024).

• If $|S|=2$, similar presentations hold.

For $K=\mathbb{Q}(i)$, $p=3$, $S=\{7,31\}$,

$$G_{\{7,31\}}(\mathbb{Q}(i),3) \simeq \langle a,b \mid a^9=1,\, b^3=1,\, b^{-1}ab=a^4 \rangle$$

yielding a group of order $27$, exponent $9$ (Liu et al., 2024). These groups have generator rank $2$ and relation rank $1$. Lemmas guarantee powerfulness and finiteness whenever an inertia subgroup surjects onto the Frattini quotient.

In the case of number fields with cyclic $p$-class group, for almost all suitable $q$,

$G_{\{q\}}(F) := \mathrm{Gal}(F_{\{q\}}/F)$

is finite, specifically whenever the generator rank jumps to $2$ outside a thin exceptional set (Lee et al., 2024). These groups are often identified with local Demuškin groups (rank $2$), satisfying $d(G)=2$, $r(G)=1$, cup-product pairing perfect, and presented as

$$G \simeq \langle x, y \mid x^{N_q-1}\cdot [x,y]^c=1 \rangle$$

for suitable residue field size $N_q$ and Hasse invariant $c$ (Lee et al., 2024).

4. Characterization and Realization of Tame Galois Groups

Maximal tamely ramified quotients $G_K^{\mathrm{tame}}$ admit all finite $p$-groups as continuous quotients, but not all finitely generated pro-$p$ groups. The key property is stably inertially generated: a pro-$p$ group $G$ is stably inertially generated if each $P_n(G)$ (lower $p$-central series) is inertially generated. Hajir–Larsen–Maire–Ramakrishna proved that every such $G$ occurs as a quotient of $G_K^{\mathrm{tame}}$ for $p>2$ and $\mu_p\not\subset K$ (Hajir et al., 2024). The realization proceeds via filtered central embedding problems and local–global cohomological techniques, using local presentations: $$\langle \sigma, \tau \mid [\sigma, \tau]=\tau^{N(q)-1} \rangle$$ and extending via appropriately chosen ramified primes to kill cohomological obstructions.

Uniform toral quotients—uniform groups with semisimple adjoint action only—cannot arise as tame quotients due to failure to admit tame inertia commutators. This is a substantive constraint arising from the local commutator relation (Hajir et al., 2024).

5. Field Reconstruction and Anabelian Implications

The isomorphism type of the maximal tamely ramified quotient $G_K^{\mathrm{tame}}$ determines $K$ as a number field: any isomorphism between such quotients for two fields arises from a unique isomorphism of fields (Karshon et al., 3 Jan 2026). This variant of the Neukirch–Uchida theorem leverages the preservation of decomposition subgroups and residue characteristics, as encoded by the structure of $D_v^{\mathrm{tame}}$ for all finite $v$.

In contrast, maximal pronilpotent quotients lose much local information (wild vs. tame ramification), and pro-$\ell$-by-cyclotomic quotients, while reconstructive, only encode the inertia at $\ell$. The tamely ramified quotient is thus minimal among nontrivial Galois group quotients that still retain complete local-global ramification structure enabling full arithmetic and field-theoretic recovery (Karshon et al., 3 Jan 2026).

6. Iwasawa Theory and Tamely Ramified Modules

In the context of the cyclotomic $\mathbb{Z}_p$-extension $k_\infty$ of an abelian field $k$, the maximal tamely ramified pro-$p$ quotient is given by

$\mathrm{Gal}(M_S(k_\infty)/k_\infty)$

for $S$ not containing $p$. The main rank formula (Itoh) is

$$\mathrm{rank}_{\mathbb{Z}_p} \mathrm{Gal}(M_S(k_\infty)/k_\infty) = A + \sum_{q\in S_1} p^{m_q} - \max_{q\in S_1} p^{m_q}$$

where $A$ is the rank of the unramified Iwasawa module and the summation indexes $S_1=\{q\in S : q\equiv1\ (\mathrm{mod}\ p)\}$, with $m_q$ as the unique integer such that $p^{m_q}$ divides the norm $N_{k/\mathbb{Q}} q-1$ (Itoh, 2011). For real abelian $k$, the tamely ramified module for a single prime $q$ is finite over the Iwasawa algebra, with the “minus part” vanishing in the limit.

7. Module-Theoretic and Generator Properties in Local Fields

For local $p$-fields $K$, the tame quotient $\Gamma = \mathrm{Gal}(K^{\mathrm{tame}}/K)$ is generated by $\tau$ (tame inertia) and $\phi$ (Frobenius), satisfying $\phi\tau\phi^{-1} = \tau^q$. The maximal abelian pro-$p$ Galois group over $K^{\mathrm{tame}}$ is described as an $\mathbb{F}_p\llbracket\Gamma\rrbracket$-module, generated by $[K:\mathbb{Q}_p]+1$ elements in characteristic $0$. The full absolute Galois group is generated by $[K:\mathbb{Q}_p]+3$ elements (Dalawat, 2016). In characteristic $p$, the corresponding module is not finitely generated, emphasizing the sharp difference between the tame quotients in mixed and equal characteristic.

---

Key References:

• Qi Liu, Zugan Xing: “On the Finiteness and Structure of Galois Groups of Tamely ramified pro-p Extensions of Imaginary Quadratic Fields” (Liu et al., 2024).
• Hajir, Larsen, Maire, Ramakrishna: “On tamely ramified infinite Galois extensions” (Hajir et al., 2024).
• J. Lee, S. Lim: “The finitude of tamely ramified pro-$p$ extensions of number fields with cyclic $p$-class groups” (Lee et al., 2024).
• V. Maire, R. Maire, et al.: “Pro-$\ell$-by-cyclotomic and tamely ramified variants of the Neukirch-Uchida Theorem” (Karshon et al., 3 Jan 2026).
• K. Itoh, “On tamely ramified Iwasawa modules for the cyclotomic Z_p-extension of abelian fields” (Itoh, 2011).
• P. Deligne, “Little galoisian modules” (Dalawat, 2016).