Let $K$ be a finite extension of $\mathbb{Q}_p$.

Is the centraliser of $\operatorname{Gal}(\overline{K}/K)$ in $\operatorname{Gal}(\overline{\mathbb{Q}_p} / \mathbb{Q}_p)$ trivial ? If yes, how can I show it ?

MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.

Sign up to join this community
Anybody can ask a question

Anybody can answer

The best answers are voted up and rise to the top

$\begingroup$
$\endgroup$

0
For an extension $L/\mathbf{Q}_p$, let $G_L$ denote the absolute Galois group $\mathrm{Gal}(\overline{L}/L)$.

If $\sigma \in G_{\mathbf{Q}_p}$ acts centrally on $G_K$, then it also acts centrally on the subgroup $G_L \subset G_K$ for any finite $L/K$. But then it also acts trivially on the abelianization of $G_L$. By class field theory, the abelianization of $G_L$ may be identified with the pro-finite completion of $L^{\times}$, and moreover this isomorphism is compatible with the action of $G_{\mathbf{Q}_p}$. Hence $\sigma$ must also act trivially on $L^{\times}$ for any finite $L/\mathbf{Q}_p$, and thus $\sigma$ is trivial.

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

or