Extensions of degree \(p^\ell \) of a \(p\)-adic field (Q522150)

Let \(K\) be a finite extension of the field \(\mathbb{Q}_p\) of \(p\)-adic numbers and let \(K^{\mathrm{alg}}\) be an algebraic closure of \(K\). Let \(\ell\) be a prime and let \(\mathcal{E}\) denote the family of totally ramified subextensions \(L/K\) of \(K^{\mathrm{alg}}/K\) such that \([L:K]=p^{\ell}\) and \(L/K\) has no proper nontrivial subextensions. This paper gives an enumeration of the \(K\)-isomorphism classes of elements of \(\mathcal{E}\). The approach used here relies on a finite tamely ramified Galois subextension \(F/K\) of \(K^{\mathrm{alg}}/K\) which depends on \(\ell\). We let \(H=\text{Gal}(F/K)\) be the Galois group of \(F/K\). Using methods developed in [\textit{I. Del Corso} et al., J. Number Theory 174, 322--342 (2017; Zbl 1369.11075)], the author reduces the problem of enumerating \(K\)-isomorphism classes of elements of \(\mathcal{E}\) to counting irreducible submodules of \(\mathbb{F}_p\)-dimension \(\ell\) of the \(\mathbb{F}_p[H]\)-module \(F^*/F^{*p}\). For \(L/K\in\mathcal{E}\) let \(\tilde{L}/K\) denote the Galois closure of \(L/K\). The author determines the possibilities for the groups \(\text{Gal}(\tilde{L}/K)\), and for each possible group \(G\) determines the number of \(K\)-isomorphism classes of extensions \(L/K\in\mathcal{E}\) such that \(\text{Gal}(\tilde{L}/K)\cong G\). In addition, the author computes ramification data for the extension \(\mathscr{C}_{p^{\ell}}/K\), where \(\mathscr{C}_{p^{\ell}}\) denotes the compositum of all extensions \(L/K\in\mathcal{E}\).