I'm trying to understand how this works in terms of Galois theory and local class field theory. Assume we have an extension of local fields $E/L/K$ s.t. $E/L$ and $L/K$ are abelian. I'm interested in recognizing when $E/K$ is Galois. Clearly, $E/K$ is Galois if and only if $E$ is always fixed by an extension of an $L/K$ automorphism to $E$, but this is tricky to compute.

I overheard a brief conversation that this can be done through Galois groups and some group actions that occur in the tower, but I haven't found anything explicit through google. We should be able to see from how $Gal(L/K)$ acts on something whether or not the extension is Galois. I'm having trouble seeing what the action should be. I hope someone who knows what I'm talking about could write it down explicitly. Since the Galois groups should correspond through local class field theory to very concrete objects which are quotients of $E^\times$, $L^\times$ and $K^\times$. I was wondering how this action on the Galois side is expressed on the local field side?

I'm interested in this since it clearly would provide a tool for constructing some solvable extensions of e.g. $\mathbb{Q}_p$. I apologize for being fuzzy, but I don't know how to be more explicit.

If$E/K$ is Galois, then $\mathrm{Gal}(L/K)$ acts on $\mathrm{Gal}(E/L)$ by lifting to $\mathrm{Gal}(E/K)$ and conjugating (and this doesn't use that $L/K$ is abelian, just that $E/L$ is). $\endgroup$ – Keenan Kidwell Jan 14 '12 at 0:34