The compositum of wild extensions of local fields of prime degree (Q2385071): Difference between revisions

Let \(p\) be a rational prime number and \(K\) a finite extension of the field of \(p\)-adic numbers \({\mathbb Q} _ p\). The main aim of this paper is to present an explicit description of the totally and wildly ramified extensions of degree \(p\) of \(K\). The method consists in considering the compositum \({\mathcal C}_ K(p)\) of all these extensions. The main result of the paper is that in fact, \({\mathcal C}_ K(p)\) is the maximal abelian extension of exponent \(p\) of the compositum \(F=F(K)\) consisting of all cyclic extensions of \(K\) of degree dividing \(p-1\). The result shows that the Galois group \({\mathcal G}=\text{Gal} ({\mathcal C}_ K(p)/K)\) is isomorphic to the semidirect product \(H\rtimes G\) where \(H:=\text{Gal}({\mathcal C}_ K(p)/F)\) and \(G:=\text{Gal}(F/K)\). In particular \(H\) is a \(G\)-module via conjugation. With this structure at hand it turns that, among other results, the \(G\)-submodules of \(H\) correspond, via Galois theory, to the fields \(L\) such that \(F\subseteq L\subseteq {\mathcal C}_ K(p)\) and \(L\) is normal over \(K\); that the \(G\)-modules \(F^ {\ast}/F^{\ast p}\) and \(H\) are dual and that there is a bijection between the set of normal extensions \(L\) of \(K\) of degree \(p\) and the set of isomorphism classes of the extensions of \(K\) of degree \(p\). The authors also find the extensions of degree \(p\) with given discriminant as a consequence of the main theorem although this result was already known.