A characterization of Eisenstein polynomials generating extensions of degree \(p^2\) and cyclic of degree \(p^3\) over an unramified \(\mathfrak p\)-adic field (Q2454451): Difference between revisions

Let \(p\not=2\) and let \(K\) be a finite unramified extension of \({\mathbb Q}_p\). Let \(f(X)\) be an Eisenstein polynomial over \(K\) and let \(L\) be a splitting field for \(f(X)\) over \(K\). This paper gives necessary and sufficient conditions for \(L/K\) to be a cyclic extension in the cases where \(f(X)\) has degree \(p^2\) or \(p^3\). This extends work of \textit{A. Lbekkouri} [Arch. Math. 93, No. 4, 331--344 (2009; Zbl 1233.11123)], who considered the cases where \(K={\mathbb Q}_p\) and \(f(X)\) has degree \(p^2\). When \(f(X)\) has degree \(p^2\) this paper also gives necessary and sufficient conditions for \(L/K\) to be a \(p\)-extension, and determines \(\mathrm{Gal}(L/K)\) in these cases. The theorems are proved by explicit computations based on class field theory and higher ramification theory. All three main results are expressed using long lists of conditions on the coefficients of \(f(X)\). Since the individual conditions are straightforward, it would not be hard to implement the results of this paper on a computer algebra system.