Indivisibility of divisor class numbers of Kummer extensions over the rational function field. (English) Zbl 1415.11163
Let \(K\) be a Kummer extension over the rational function field \(k={\mathbb F}_q(T)\) of degree \(\ell\), where \({\mathbb F}_q\) is the finite field of order \(q\) and \(\ell\) is a prime divisor of \(q-1\). In Theorems 1.1 and 1.2 of the paper under review the authors obtain results regarding the indivisibility of the divisor class number \(h_K\) of \(K\) by \(\ell\) in two cases, respectively.
In the first case they assume that the infinite prime of \(k\) is ramified in \(K\) and prove that \(h_K\) is not divisible by \(\ell\) if and only if there exists exactly one finite prime of \(k\) which is ramified in \(K\). Moreover, when \(h_K\) is not divisible by \(\ell\), then \(h_K\equiv 1\pmod \ell\). Equivalently, the divisor class number \(h_K\) of \(K\) is divisible by \(\ell\) if and only if there exists at least two finite primes of \(k\) which are ramified in \(K\).
In the second case it is assumed that the infinite prime of \(k\) is unramified in \(K\). In this case the authors prove that \(h_K\) is not divisible by \(\ell\) if and only if the number of finite primes of \(k\) which are ramified in \(K\) is at most two and one of the following three cases holds:
Using the above indivisibility criterion, the authors obtain in Theorem 1.3 an infinite family of maximal real cyclotomic function fields whose divisor class numbers are divisible by \(\ell\) where \(\ell\) is a prime divisor of \(q-1\). More precisely, for an irreducible monic polynomial \(P(T)\in {\mathbb F}_q[T]\) let \(k(\Lambda_{P})\) and \(k(\Lambda_{P})^+\) denote, respectively, the \(P\)-th cyclotomic function field and its maximal real subfield. Let \(d\) be an even integer such that \(q^{d/2}+1\) is squarefree and \(4\;|\;d\) if \(\ell=2\). Let \(P_0(T)\in {\mathbb F}_q[T]\) be an irreducible monic polynomial of degree \(d\) divisible by \(\ell\). Let \(\alpha\) be a root of \(P_0(T)\) in an algebraic closure \(\overline {\mathbb F}_q\) of \({\mathbb F}_q\) and let \(Q=q^d\). Then there exists a prime number \(m\) which satisfies the following:
In the final section of the paper the authors present some examples illustrating their results.
In the first case they assume that the infinite prime of \(k\) is ramified in \(K\) and prove that \(h_K\) is not divisible by \(\ell\) if and only if there exists exactly one finite prime of \(k\) which is ramified in \(K\). Moreover, when \(h_K\) is not divisible by \(\ell\), then \(h_K\equiv 1\pmod \ell\). Equivalently, the divisor class number \(h_K\) of \(K\) is divisible by \(\ell\) if and only if there exists at least two finite primes of \(k\) which are ramified in \(K\).
In the second case it is assumed that the infinite prime of \(k\) is unramified in \(K\). In this case the authors prove that \(h_K\) is not divisible by \(\ell\) if and only if the number of finite primes of \(k\) which are ramified in \(K\) is at most two and one of the following three cases holds:
- (i)
- \(K\) is an unramified extension over \(k\);
- (ii)
- If there is only one finite prime of \(k\) which is ramified in \(K\), then the genus of \(K\) is divisible by \(\ell\);
- (iii)
- If there are exactly two finite primes \(P_1\) and \(P_2\) of \(k\), of degree \(d_1\) and \(d_2\), respectively, which are ramified in \(K\), then \(d_i\not\equiv 0 \pmod \ell\) for \(i=\text{1}\) or \(i=\text{2}\).
Using the above indivisibility criterion, the authors obtain in Theorem 1.3 an infinite family of maximal real cyclotomic function fields whose divisor class numbers are divisible by \(\ell\) where \(\ell\) is a prime divisor of \(q-1\). More precisely, for an irreducible monic polynomial \(P(T)\in {\mathbb F}_q[T]\) let \(k(\Lambda_{P})\) and \(k(\Lambda_{P})^+\) denote, respectively, the \(P\)-th cyclotomic function field and its maximal real subfield. Let \(d\) be an even integer such that \(q^{d/2}+1\) is squarefree and \(4\;|\;d\) if \(\ell=2\). Let \(P_0(T)\in {\mathbb F}_q[T]\) be an irreducible monic polynomial of degree \(d\) divisible by \(\ell\). Let \(\alpha\) be a root of \(P_0(T)\) in an algebraic closure \(\overline {\mathbb F}_q\) of \({\mathbb F}_q\) and let \(Q=q^d\). Then there exists a prime number \(m\) which satisfies the following:
- (i)
- \(\alpha \not \in ({\mathbb F}_Q)^m\);
- (ii)
- \(m \;|\;Q-1\).
In the final section of the paper the authors present some examples illustrating their results.
Reviewer: James E. Carter (Charleston)
MSC:
11R29 | Class numbers, class groups, discriminants |
11R58 | Arithmetic theory of algebraic function fields |
References:
[1] | Byeon, D., Indivisibility of class numbers of imaginary quadratic function fields, Acta Arith., 132, 4, 373-376, (2008) · Zbl 1170.11042 |
[2] | Daub, M.; Lang, J.; Merling, M.; Pacelli, A. M.; Pitiwan, N.; Rosen, M., Function fields with class number indivisible by a prime ℓ, Acta Arith., 150, 4, 339-359, (2011) · Zbl 1263.11098 |
[3] | Ichimura, H., On the class numbers of the maximal real subfields of cyclotomic function fields II, J. Number Theory, 72, 140-149, (1998) · Zbl 1073.11524 |
[4] | Ichimura, H., Quadratic function fields whose class numbers are not divisible by three, Acta Arith., 91, 2, 181-190, (1999) · Zbl 0938.11057 |
[5] | Lee, Y., Examples of Kummer extensions over the rational function field, (Oct. 27, 2017) |
[6] | Pacelli, A. M.; Rosen, M., Indivisibility of class numbers of global function fields, Acta Arith., 138, 3, 269-287, (2009) · Zbl 1242.11094 |
[7] | Rosen, M., Number theory in function fields, (2002), Springer · Zbl 1043.11079 |
[8] | Salvador, G. D.V., Topics in the theory of algebraic function fields, (2006), Birkhäuser · Zbl 1154.11001 |
[9] | Stichtenoth, H., Algebraic function fields and codes, (2009), Springer · Zbl 1155.14022 |
[10] | Wittmann, C., ℓ-parts of divisor class groups of cyclic function fields of degree ℓ, Int. J. Number Theory, 3, 2, 171-190, (2007) · Zbl 1228.11170 |
[11] | Wittmann, C., ℓ-class groups of cyclic function fields of degree ℓ, Finite Fields Appl., 13, 2, 327-347, (2007) · Zbl 1176.11061 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.