Class numbers of cyclotomic function fields
Let \(A={\mathbb{F}}_q[T]\) be the ring of polynomials over a finite field \({\mathbb{F}} _q\) of \(q\) elements. Let \(k = {\mathbb{F}}_q (T)\) be the rational function field over \({\mathbb{F}}_q\). For \(M\in A\) let \(k\big(\Lambda _M\big)\) be the \(M\)-th Carlitz-Hayes cyclotomic function field. The real subfield \(k\big(\Lambda _M\big)^+\) of \(k\big(\Lambda _M\big)\) is defined as the maximal subfield of \(k\big(\Lambda _M\big)\) such that \(1/T\) splits completely. Let \(h(M)\) and \(h^+(M)\) be the class numbers of \(k\big(\Lambda _M\big)\) and \(k\big(\Lambda _M\big)^+\) respectively. As in the number field case, we have that \(h^+(M)\mid h(M)\) and we define \(h^-(M)\) by the equation \(h^+(M) h^-(M) = h(M)\). Furthermore, in the function field case we have that if \(M\mid N\) then \(h^-(M)\mid h ^- (N)\) and \(h^+(M)\mid h ^+(N)\). NEWLINENEWLINENEWLINEIn the paper under review, the authors obtain upper bounds for \(h^- (M)\) and \(h^+(M)\) in the case \(M=P\) is an irreducible polynomial. As a corollary, it is proved that if \(\deg P =1\) or \(2\), then \(h^+(P) = 1\) and if \(\deg P=1\), \(h^-(P) =1\). Next, the case \(M=P^n\) is considered, \(P\) irreducible and \(n\geq 1\). In this case, \(h^-(M)\) can be given in terms of the determinant of a matrix defined in terms of polynomials prime to \(M\) of degree less than the degree of \(M\). There are given several examples using the above characterization. Using this result, it is also proved that if \(\ell\) is a rational prime and \(\ell ^c\) is the highest power of \(\ell\) dividing \(q-1\), then \(\ell ^{c(r-1)} \mid h^-(M)\) and so \((q-1) ^r \mid h^-(M)\), where \(r ={{|(A/M) ^{\ast}|} \over {q-1}}\). As a corollary, it is obtained that \(h^{-1}(P^n) = 1\) if and only if \(\deg P = 1\) and \(n=1\). NEWLINENEWLINENEWLINEIn the last section the authors find all \(M\in A\) with \(h^-(M)=1\) when \(q\) is odd. NEWLINENEWLINENEWLINEReviewer's remark: In Proposition 5 the irreducible polynomials dividing \(M\) are of degree 1 and \(q\) is odd.
- Prime factors of class number of cyclotomic fields
- Units and class groups in cyclotomic function fields
- Demjanenko matrix and recursion formula for relative class number over function fields.
- Infinite families of cyclotomic function fields with any prescribed class group rank
- The relative class number one problem for function fields. I
- On the \(p\)-divisibility of class numbers of cyclotomic function fields
- Cyclotomic function fields
- Congruence function fields with class number one
- scientific article; zbMATH DE number 418891 (Why is no real title available?)
- A DETERMINANT FORMULA FOR RELATIVE CONGRUENCE ZETA FUNCTIONS FOR CYCLOTOMIC FUNCTION FIELDS
- A congruence modulo p of zeta polynomial for cyclotomic function fields
- Class Numbers of Cyclotomic Function Fields
- Class numbers of cyclotomic function fields
- A note on the relative class number in function fields
- Class numbers of some abelian extensions of rational function fields
- Determinant formulas for class numbers in function fields
- Class number formulae in the form of a product of determinants in function fields
- Sur les groupes de classes didéaux des corps de fonctions cyclotomiques
- On the subfields of cyclotomic function fields.
- Central extensions and Hasse norm principle over functions fields
- The \(p\)-part of divisor class numbers for cyclotomic function fields
- Cyclotomic function fields with divisor class number one
- Calculating formula and divisibility for relative class numbers of abelian function fields
- Divisor class number one problem for Abelian extensions over rational function fields
This page was built for publication: Class numbers of cyclotomic function fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2781463)
