Kummer theory and Galois module structure in global function fields (Q2277015): Difference between revisions

Let K be a global function field. If S is a finite non-empty set of places of K we let \({\mathcal O}_{K,S}\) be the ring of elements of K having no pole outside S. If \(\Gamma\) is a finite group we define the locally free class group Cl(\({\mathcal O}_{K,S}\Gamma)\) of \({\mathcal O}_{K,S}\Gamma\) as a quotient of the Grothendieck group of locally free \({\mathcal O}_{K,S}\Gamma\)-modules. When \(\Gamma\) is abelian of order coprime to the characteristic of K, we give a ``Hom-description'' of Cl(\({\mathcal O}_{K,S}\Gamma)\) in the sense of \textit{A. Fröhlich} [Galois module structure of algebraic integers (1983; Zbl 0501.12012)]. In this case if L is an extension of K with Galois group \(\Gamma\) then \({\mathcal O}_{L,S}\), the integral closure of \({\mathcal O}_{K,S}\) in L, is a locally free \({\mathcal O}_{K,S}\Gamma\)-module with class [\({\mathcal O}_{L,S}]\in Cl({\mathcal O}_{K,S}\Gamma)\). If \(\Gamma\) is cyclic then we apply Kummer theory and the technique of Lagrange resolvents to produce a formula for [\({\mathcal O}_{L,S}]\). We apply this to certain extensions derived from ray class fields of K and conclude with some numerical examples when K has genus one.