On l-class groups of global function fields

DOI10.1142/S1793042116500202MaRDI QIDQ2789368zbMATH OpenOpenAlexFDO

Authors Zhengjun Zhao, Wan-bao Hu

Publication date 29 February 2016

Published in International Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s1793042116500202

zbMATH Keywords

biquadratic function fieldsclass group of function fieldsConner-Hurrelbrink exact hexagongenus theory

Mathematics Subject Classification ID

Class numbers, class groups, discriminants (11R29) Arithmetic theory of algebraic function fields (11R58)

Review text

Let \(K\) be a finite geometric extension of the rational function field \({\mathbb F}_q(T)\) and let \(L/K\) be a finite cyclic extension of prime degree \(l\). The main objective of this paper is to study the \(l\)-class group of \(Cl(L):=Cl({\mathcal O}_L)\) where \({\mathcal O}_L\) is the integral closure of \({\mathbb F}_q[T]\) in \(L\) under the assumption that \(h({\mathcal O}_K):= |Cl(K)|\) is not divisible by \(l\). The main tools used here are genus theory and Conner-Hurrelbrink exact hexagon for function fields.NEWLINENEWLINEThe first main result is a new proof (Theorem 3.5) of Hasse's formula for \(r_l(Cl(L)_l^G)\) [\textit{H. Hasse}, Bericht über neuere Untersuchungen und Probleme aus der Theorie der algebraischen Zahlkörper. I: Klassenkörpertheorie. Leipzig: B. G. Teubner (1930; JFM 56.0165.01)] using Conner-Hurrelbrink exact hexagon when \(L/K\) is a cyclic extension of degree \(l\) of number fields with \(l\) being an odd prime and such that \(l\nmid h({\mathcal O}_K)\). Here \(r_l\) denotes the \(l\)-rank. The proof is also valid for function fields. Next the authors prove (Proposition 3.8) the function field analogue of \textit{F. Gerth} III's results [J. Number Theory 8, 84--98 (1976; Zbl 0329.12006)] on \(3\)-class groups of cyclic cubic extensions (assuming that \(3\nmid h({\mathcal O}_K)\)).NEWLINENEWLINEConsidering \(Cl(L)_l\) as \({\mathbb Z}_l[G]\)--module, where \({\mathbb Z}_l\) is the ring of \(l\)-adic integers and \(G=\mathrm{Gal}(L/K)\) and assuming that \(l\nmid h({\mathcal O}_K)\), the authors give the structure of \(Cl(L)_l\) as \({\mathbb Z}_l[G]\)-module which was obtained by \textit{F. Gerth} III for number fields [Math. Comput. 29, 1135--1137 (1975; Zbl 0314.12013)].NEWLINENEWLINEIn the last part of the paper, the authors discuss some relations of class numbers between biquadratic function fields and their subfields for \(q\) odd.

Recommendations

• On 3-class groups of cyclic cubic extensions of certain number fields
• scientific article; zbMATH DE number 4002218
• Structure of relative genus fields of cubic Kummer extensions
• On the Ideal Class Group of Real Biquadratic Fields
• scientific article; zbMATH DE number 5545365
• scientific article; zbMATH DE number 4173129
• Generalized ambiguous logarithmic classes
• scientific article; zbMATH DE number 1303197
• The 3-ranks of tame kernels of cubic cyclic number fields
• Classification of function fields with class number three

Cites work

• A Note on l-Class Groups of Number Fields
• Corrigendum to ``Genus fields of abelian extensions of rational congruence function fields
• Genus fields of cyclic l-extensions of rational function fields
• scientific article; zbMATH DE number 1716471 (Why is no real title available?)
• scientific article; zbMATH DE number 41245 (Why is no real title available?)
• scientific article; zbMATH DE number 1474994 (Why is no real title available?)
• scientific article; zbMATH DE number 3794179 (Why is no real title available?)
• scientific article; zbMATH DE number 927233 (Why is no real title available?)
• The genus fields of Artin-Schreier extensions
• The Hilbert class field in function fields

Cited in

(11)

• Class number relation between type \((l,l, \dots,l)\) function fields over \(\mathbb{F}_ q (T)\) and their subfields
• Local-global principle for classical groups over function fields of \(p\)-adic curves
• Characterization of global fields by Dirichlet \(L\)-series
• scientific article; zbMATH DE number 5896096 (Why is no real title available?)
• scientific article; zbMATH DE number 418905 (Why is no real title available?)
• scientific article; zbMATH DE number 3904741 (Why is no real title available?)
• On the genera of semisimple groups defined over an integral domain of a global function field
• scientific article; zbMATH DE number 7070636 (Why is no real title available?)
• 3-Class groups of cubic cyclic function fields
• Infinite families of Artin-Schreier function fields with any prescribed class group rank
• -class groups of cyclic function fields of degree

This page was built for publication: On \(l\)-class groups of global function fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2789368)