MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It's a basic fact that a finite Galois extension $L/K$ of a local nonarchimedian field $K$ has solvable (in fact supersolvable) Galois group $G$. One sees this by using the ramification filtration $G_i=\{g\in G: g\beta\equiv \beta \pmod {\varpi_K^i}\}$.

More nontrivially, local class field theory tells us if $L/K$ is abelian then $G$ must be a quotient of $K^\times$, whose structure as an abelian group is known explicitly.

In any case, this means the inverse Galois problem over $K$ is quite circumscribed. So is it known precisely which finite groups are Galois groups over $K$?

share|cite|improve this question
Has anyone tried to solve embedding problems? – Timo Keller Jun 25 '14 at 16:29

The short answer is (as far as I am aware) no, but there is a lot that is known. Jannsen and Wingberg have given an explicit presentation for $Gal(\overline{K}/K)$ in the case that the residue characteristic is not $2$ (published in Inventiones Math in 1982/1983), and Volker (1984, Crelle) handles the case when $K$ has residue characteristic $2$ and $\sqrt{-1} \in K$. This does not, however, make it trivial to determine which finite groups are quotients of $Gal(\overline{K}/K)$. Some more information can be obtained from Section VII.5 of "Cohomology of Number Fields" by Neukirch, Schmidt and Wingberg. Here's a paraphrase.

If $K$ is a local nonarchimedean field with residue field of characteristic $p$ (and order $q$), let $G = Gal(\overline{K}/K)$, $T$ be the inertia group, and $V$ be the ramification group. Then $G/T \cong \hat{\mathbb{Z}}$, $T/V \cong \prod_{\ell \ne p} \mathbb{Z}_{\ell}$, and $V$ is a free pro-$p$ group of countably infinite rank. Iwasawa showed that $G/V$ is a profinite group with two generators $\sigma$ and $\tau$ so that $\sigma \tau \sigma^{-1} = \tau^{q}$. Also, the maximal pro-$\ell$ quotient of $G$ is known for all $\ell$. For example, if $\mu_{\ell} \not\subseteq K$ and $\ell \ne p$, the maximal pro-$\ell$ quotient is $\mathbb{Z}_{\ell}$ (i.e. for each positive integer $k$, there is a unique Galois extension $L/K$ of degree $\ell^{k}$, namely the unramified one).

share|cite|improve this answer

One restriction is, e.g. that the groups occuring as a Galois extension of $K/\mathbf{Q}_p$ have to be generated by $\leq n(K)$ elements for some $n(K) \in \mathbf{N}$ depending on $K$. More precisely, one has $n(K) \leq N + 3$ with $N = [K:\mathbf{Q}_p]$ by [Neukirch-Schmidt-Wingberg], Theorem (7.5.14) (for $p > 2$).

share|cite|improve this answer

Regarding embedding problems: I have found ("The embedding problem with non-Abelian kernel for local fields", Journal of Mathematical Sciences, September 2009, Volume 161, Issue 4, pp 553-557; Zentralblatt Math:, which I unfortunately do not have access to.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.