English

Little galoisian modules

Number Theory 2017-02-14 v2

Abstract

Let pp be a prime number, let KK be a pp-field (a local field with finite residue field of characteristic pp), let LL be a finite galoisian tamely ramified extension of KK, and let G=Gal(LK)G=\mathrm{Gal}(L|K). Suppose that LL is split over KK in the sense that the short exact sequence 1TGG/T11\to T\to G\to G/T\to1 has a section, where TT is the inertia subgroup of GG. We determine the structure of the Fp[G]\mathbf{F}_p[G]-module L× ⁣/L×pL^\times\!/L^{\times p} in characteristic 00 when the pp-torsion subgroup pL×{}_pL^\times of L×L^\times has order pp, and of the Fp[G]\mathbf{F}_p[G]-modules L× ⁣/L×pL^\times\!/L^{\times p} and L+ ⁣/(L+)L^+\!/\wp(L^+) in characteristic pp, where (x)=xpx\wp(x)=x^p-x. Let K~\tilde K be a maximal galoisian extension of KK, let VV be the maximal tamely ramified extension of KK in K~\tilde K, let Γ=Gal(VK)\Gamma=\mathrm{Gal}(V|K), and let BB be the maximal abelian extension of exponent pp of VV in K~\tilde K. We determine the structure of the Fp[[Γ]]\mathbf{F}_p[[\Gamma]]-module Gal(BV)\mathrm{Gal}(B|V), and show how this leads in characteristic 00 to a simple proof of the fact that the profinite group Gal(K~K)\mathrm{Gal}(\tilde K|K) is generated by [K:Qp]+3[K:\mathbf{Q}_p]+3 elements.

Keywords

Cite

@article{arxiv.1608.04182,
  title  = {Little galoisian modules},
  author = {Chandan Singh Dalawat},
  journal= {arXiv preprint arXiv:1608.04182},
  year   = {2017}
}
R2 v1 2026-06-22T15:19:39.470Z