On the construction of normal wildly ramified extensions over \(\mathbb Q_2\) (Q1038676): Difference between revisions

Let \(p\) be a prime number and \(K\) a finite totally ramified extension of the local field \(\mathbb Q_p\) of degree \(p^n\). It is well known that \(K\) is generated by a uniformising element \(\pi\) such that its minimal polynomial \(f\) over \(\mathbb Q_p\) is Eisenstein. The quadratic and the quartic normal totally ramified extensions of \(\mathbb Q_2\) are well characterized. In the paper under review, Lbekkouri characterizes the Eisenstein polynomials of degree \(4\) with coefficients in \(\mathbb Z_2\) that define normal totally ramified extensions of \(\mathbb Q_2\). In his main result the author proves that if \(f(X)=\sum_{i=0}^4a_iX^i\) is an Eisenstein polynomial of \(\mathbb Z_2[X]\) with \(f(\pi)=0\), then \(\mathbb Q_2(\pi)/\mathbb Q_2\) is normal if and only if (1) \(a_1=4\varepsilon_1,a_2=2\varepsilon_2,a_3=4\lambda, \varepsilon_1,\varepsilon_2,\lambda\in \mathbb Z_2\); \(\lambda\) is unit and \(8\) divides \(a_0+a_2\) or \(\lambda\) is not unit and \(8\) does not divide \(a_0+a_2\). (2) \(a_1=8\lambda_1,a_2=4\lambda_2,a_3=8\lambda_3\), where \(\lambda_1,\lambda_2,\lambda_3\in \mathbb Z_2\); \(\lambda_2\) is unit,\(\lambda_1\) is not unit and \(8\) does not divide \(a_0+a_2\) or \(\lambda_2\) is not unit,\(\lambda_1\) is unit and \(8\) divides \(a_0+a_2\). Furthermore the author gives some necessary conditions for the cyclic case of degree \(2^n\).