5
$\begingroup$

This relates to this question: Existence of maximal totally ramified extensions of an arbitrary CDVF

Let $K$ be a local field with finite residue field of characteristic $p>0$. Does there exist a maximal totally ramified $p$-extension of $K$? In other words, if $K^{tame}$ is the maximal tamely ramified extension of $K$, does the short exact sequence $$ 1 \longrightarrow Gal(K^{sep}/K^{tame}) \longrightarrow Gal(K^{sep}/K) \longrightarrow Gal(K^{tame}/K) \longrightarrow 1 $$ split? My guess would be that it doesn't, but maybe there is some trick I am missing here.

$\endgroup$
3
  • 5
    $\begingroup$ At least when $K$ is a finite extension of $\mathbf{Q}_p$, your short exact sequence splits according to Iwasawa "On Galois groups of local fields", Thm. 2 (iii) on p. 464. $\endgroup$ – Kestutis Cesnavicius Jan 29 '14 at 18:18
  • 1
    $\begingroup$ By $p$-extension, do you possibly mean pro-$p$-extension (or am I confused by the meaning)? $\endgroup$ – Bobby Grizzard Jan 29 '14 at 18:19
  • 1
    $\begingroup$ Sorry, yes, I mean pro-p extension. $\endgroup$ – Henri Johnston Jan 29 '14 at 21:22
3
$\begingroup$

The answer seems to be yes. I think this was proved by Kuhlmann, Pank, and Roquette, "Immediate and purely wild extensions of valued fields", Manuscripta math. 55 (1986), 39-67. A short proof is given in Efrat's book on valuation theory, p. 203.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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