On the discriminant in local number fields (Q372795)

Let \(p\) be an odd prime number. Consider \(K\) a finite extension of \(\mathbb Q_p\), the field of \(p\)-adic numbers. Let \(L/K\) be a totally ramified extension of degree \(p\) and fix \(\pi\) a prime element of \(L\) (\(L=K(\pi)\)), also it is a root of an Eisenstein polynomial. Denote by \(v\) the normalized valuation of \(L\) such that \(v(\pi)=1\). The aim of the present article is the construction of the normal closure of a finite extension of degree \(p\) of \(K\). The author proves a number of theorems alongside his main result, which states that for any positive integer \(n\), the splitting field of \(f(X)=X^p+p^nX+p\) over \(\mathbb Q_p\) with \(f(\pi)=0\) is the totally ramified extension of degree \(p(p-1)\): \(K=\mathbb Q_p(\pi,\xi_p)\), where \(\xi_p\) is a primitive \(p\)-th root of unity. In Section 4, are proved some new results concerning the discriminant of such extensions. One of these results states that if \(K\) is a finite extension of \(\mathbb Q_p\), \(f_1\) and \(f_2\) are two Eisenstein polynomials over \(K\) having the same splitting field, then \(\root p-1\of{\Delta(f_1)/\Delta(f_2)}\) is a unit in \(K\).