Abstract:
The paper provides a comprehensive investigation of associated Galois modules and orders for totally ramified extensions of complete discrete valuation fields. The authors focus on explicit computations and systematic construction of bases for these modules, with particular emphasis on elementary abelian extensions of degree $p^2$. The study introduces and develops the theory of graded-independent sets and diagonal bases, which enable constructive description of the modules $\gamma_i$ and related associated orders. The central achievement is Theorem 3.3.2, which provides an explicit computation of the modules $\gamma_i$ for extensions with Galois group $(\mathbb Z/ p\mathbb Z)^2$ and ramification jumps distinct modulo $p^2$. The paper thoroughly examines properties of the introduced constructions, including their relationship with classical associated orders and the behaviour under tame lifts. The obtained results are generalized to the case of relative associated modules $\gamma_i^0=\gamma_i\cap k_0[G]$, where $k_0\subset k$. The paper extensively utilizes the isomorphism between $K\otimes_k K$ and $K[G]$ constructed by the first author, and presents a detailed analysis of filtrations on tensor squares and their connection to Galois module structure. Respectively, the text can be interesting to specialists in algebraic number theory and arithmetic geometry.
Keywords:associated Galois modules, associated orders, wild ramification, discrete valuation field extensions, elementary abelian extensions, graded bases, ramification jumps, class field theory.
Fulltext:
PDF file (810 kB)