A note on the relative class number in function fields

DOI10.1090/S0002-9939-97-03748-9MaRDI QIDQ4336583zbMATH OpenFDO

Authors Michael Rosen

Publication date 13 May 1997

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9939-97-03748-9

zbMATH Keywords

Carlitz moduleclass numbercyclotomic function fieldMaillet determinant formula

Mathematics Subject Classification ID

Drinfel'd modules; higher-dimensional motives, etc. (11G09) Class numbers, class groups, discriminants (11R29) Arithmetic theory of algebraic function fields (11R58) Algebraic functions and function fields in algebraic geometry (14H05)

Review text

Let \(\mathbb{F}_q\) be the finite field with \(q= p^m\) elements, let \({\mathbf A}=\mathbb{F}_q[T]\), and \({\mathbf k}=\mathbb{F}_q(T)\). Let \(f\in{\mathbf A}\) be a monic prime of degree \(d\) and let \({\mathbf k}(f)\) be the abelian extension of \({\mathbf k}\) obtained by adjoining the \(f\)-division points of the Carlitz module; it is well known that the class number of this extension splits up into a product \(h(f)= h(f)^+h(f)^-\). In the paper being reviewed, the author develops an elegant analog for \(h(f)^-\) of the Maillet determinant formula. In particular, the author establishes the following beautiful result. Let \(\mathcal M\) be the set of monic polynomials of degree less than \(d\) and set \(t=(1-q^d)/(1- q)\). For \(\{a,b\}\) in \(\mathcal M\) write \(ab= sf+r\) in line with the division algorithm; as \(f\) is irreducible one must have \(r\neq 0\). Set \(c(a,b)\) to be the leading coefficient of \(r\). Theorem: We have \(h(f)^-\) is divisible by \(p\) if and only if there is an integer \(i\), \(1\leq i\leq q-2\), such that the \(t\times t\) matrix \([c(a,b)^i]\) has \(0\) determinant.

Recommendations

• Class number formulae in the form of a product of determinants in function fields
• Determinant formulas for class numbers in function fields
• Demjanenko matrix and recursion formula for relative class number over function fields.
• A DETERMINANT FORMULA FOR RELATIVE CONGRUENCE ZETA FUNCTIONS FOR CYCLOTOMIC FUNCTION FIELDS
• Class numbers of cyclotomic function fields

Cites work

• A Generalization of Maillet's Determinant and a Bound for the First Factor of the Class Number
• Class-groups of function fields
• Explicit Class Field Theory for Rational Function Fields
• scientific article; zbMATH DE number 3613177 (Why is no real title available?)
• Maillet’s determinant
• The class number of cyclotomic function fields
• The Hilbert class field in function fields

Cited in

(9)

• Demjanenko matrix and recursion formula for relative class number over function fields.
• A DETERMINANT FORMULA FOR RELATIVE CONGRUENCE ZETA FUNCTIONS FOR CYCLOTOMIC FUNCTION FIELDS
• A determinant formula for congruence zeta functions of maximal real cyclotomic function fields
• Determinant formulas for class numbers in function fields
• Class number formulae in the form of a product of determinants in function fields
• Note on a determinant. II.
• On the size of determinants in the class number formulae of cyclotomic function fields
• Determinant formulas for zeta functions for real abelian function fields
• Calculating formula and divisibility for relative class numbers of abelian function fields

This page was built for publication: A note on the relative class number in function fields

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