Eisenstein polynomials defining Galois dihedral \(p\)-adic fields of degree \(2p\) (Q2233372)

Let \(p>2\), let \(\mathbb{Q}_p\) be the field of \(p\)-adic numbers, and let \(\mathbb{Z}_p\) be the ring of \(p\)-adic integers. Let \(f(X)=X^{2n}+\sum_{i=0}^{2p-1}a_iX^i\) be an Eisenstein polynomial over \(\mathbb{Z}_p\). This paper gives necessary and sufficient conditions for the Galois group of \(f(X)\) over \(\mathbb{Q}_p\) to be isomorphic to the dihedral group \(D_p\). When \(p>3\) it is shown that the Galois group of \(f(X)\) is \(D_p\) if and only if \(a_{p-1}\equiv-2a_0\pmod{p^2}\), \(p^2\mid a_p\), and \(p^2\mid a_i\) for \(1\le i\le p-2\). When \(p=3\) there is a more delicate condition which depends on the congruence classes of the coefficients modulo 27.