Kummer theory and Galois module structure in global function fields (Q2277015)

From MaRDI portal
Revision as of 12:49, 2 August 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Kummer theory and Galois module structure in global function fields
scientific article

    Statements

    Kummer theory and Galois module structure in global function fields (English)
    0 references
    0 references
    1991
    0 references
    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.
    0 references
    Galois module structure
    0 references
    global function field
    0 references
    Grothendieck group
    0 references
    Hom- description
    0 references
    Kummer theory
    0 references
    Lagrange resolvents
    0 references
    ray class fields
    0 references
    examples
    0 references

    Identifiers