Canonical invariants for corresponding residue systems in \(p\)-adic fields (Q753863)

Let \(F\) be a finite extension of \(\mathbb Q_ p\) and let \(L/F\) be a totally ramified, normal extension of degree \(p^{2n}\) with normal subextensions \(K/F\) and \(K'/F\) satisfying \(K\cap K'=F\), \(KK'=L\), and \([K : F]=[K' : F]\). Let \(M\) be the maximal ideal of \(D_ L\), the ring of integers of \(L\). Suppose \(t_ 1(K/F)=t_ 1(K'/F)=1\) where \(t_ 1\) denotes the first breakpoint in the Hilbert ramification sequence for the extensions. The author introduces canonical invariants of the extensions \(L/K/F\) and \(L/K'/F\) which determine \(M_ L(K,K')\), the maximal integer \(m\) such that \(D_ K+M^ m=D_{K'}+M^ m\). It is also shown that if \(\pi\) and \(\pi'\) are prime elements of \(D_ K\) and \(D_{K'}\), then \[ v_ L(\pi -\pi ')>v_ L(\pi)\quad\text{ iff}\quad v_ L(\pi -\pi ')=M_ L(K,K'). \] Finally, the author shows that \[ M_ L(K,K')\leq \max \{2p''-| G_ 2|,\;2p''-| G'_ 2| \}, \] where \(G_ 2\) and \(G'_ 2\) are the second ramification subgroups of \(G=\text{Gal}(K/F)\) and \(G'=\text{Gal}(K'/F)\).