Quadratic subfields of quartic extensions of local fields (Q1097307)

By applying some basic facts of local class field theory it is shown that if \(E/F\) is an extension of local fields of degree 4, then there exists a proper intermediate field provided that the residue characteristic is odd. As a consequence one gets that neither the \(A_ 4\) nor the \(S_ 4\) are realizable as Galois groups over F, so, a fortiori, the splitting field of an irreducible equation over F has degree 4 or 8. Counterexamples are given for the residue characteristic 2.