Class numbers of cyclotomic function fields

Let be a prime power and let be the finite field with elements. For each polynomial in , one could use the Carlitz module to construct an abelian extension of , called a Carlitz cyclotomic extension. Carlitz cyclotomic extensions play a fundamental role in the study of abelian extensions of , similar to the role played by cyclotomic number fields for abelian extensions of . We are interested in the tower of Carlitz cyclotomic extensions corresponding to the powers of a fixed irreducible polynomial in . Two types of properties are obtained for the -parts of the class numbers of the fields in this tower, for a fixed prime number . One gives congruence relations between the -parts of these class numbers. The other gives lower bound for the -parts of these class numbers.

     

Imaginary quadratic function fields

In Bautista-Ancona and Diaz-Vargas (2006) [B-D] a characterization and complete listing is given of the imaginary quadratic extensions K of k(x), where k is a finite field, in which the ideal class group has exponent two and the infinite prime of k(x) ramifies. The objective of this work is to give a characterization and list of these kind of extensions but now considering the case in which the infinite prime of k(x) is inert in K. Thus, we get all the imaginary quadratic extensions of k(x), in which the ideal class group has exponent two.     

Exponents of class groups of real quadratic function fields

We show that there are polynomials with such that the ideal class group of the real quadratic extensions has an element of order .

     

Class groups of imaginary function fields: The inert case

Let be a finite field and a transcendental element over . An imaginary function field is defined to be a function field such that the prime at infinity is inert or totally ramified. For the totally imaginary case, in a recent paper the second author constructed infinitely many function fields of any fixed degree over in which the prime at infinity is totally ramified and with ideal class numbers divisible by any given positive integer greater than 1. In this paper, we complete the imaginary case by proving the corresponding result for function fields in which the prime at infinity is inert. Specifically, we show that for relatively prime integers and , there are infinitely many function fields of fixed degree such that the class group of contains a subgroup isomorphic to and the prime at infinity is inert.

     

Parametrization of the quadratic function fields whose divisor class numbers are divisible by three

A parametrization of quadratic function fields whose divisor class numbers are divisible by 3 is obtained by using free parameters when the characteristics of the fields are not 3.     

Exponents of class groups of real quadratic function fields (II)

Let be an even positive integer. We show that there are polynomials with such that the ideal class group of the real quadratic extensions have an element of order .

     

Subgroups of ideal class groups of real quadratic algebraic function fields

Necessary and sufficient condition on real quadratic algebraic function fields K is given for their ideal class groups H(K) to contain cyclic subgroups of order n. And eight series of such real quadratic function fields K are obtained whose ideal class groups contain cyclic subgroups of order n. In particular, the ideal class numbers of these function fields are divisible by n.     

On the number of real quadratic fields with class number divisible by 3

We find a lower bound for the number of real quadratic fields whose class groups have an element of order . More precisely, we establish that the number of real quadratic fields whose absolute discriminant is and whose class group has an element of order is improving the existing best known bound of R. Murty.

     

Heuristics and related results on class groups of real quadratic fields

The fact is studied that the ideal class numbersh of types of real quadratic fields usually contain a fixed prime numberp as a factor, and the reason is found to be existing there a kind of prime ideals whosepth powers are principal. A modification of the Cohen-Lenstra Heuristics for the probability that in this situation the class numberh is actually a multiple ofp then is presented: Prob (p|h)=1-(1-p ^-1)(1-P ^-2)⋯. This idea is also extended to predict the probability that the classP represented by the above prime ideal is actually of orderp: Prob (_o(P)=p) =1/p. Both of these predictions agree fairly well with the numerical data. Project supported by the National Natural Science Foundation of China.     

On real quadratic function fields of Chowla type with ideal class number one

Let be the finite field with elements, (2), , where is a square-free polynomial in with and . In this paper several equivalent conditions for the ideal class number to be one are presented and all such quadratic function fields with are determined.

     

Computation of -invariants of real quadratic fields

Let be a real quadratic field and an odd prime number which splits in . In a previous work, the author gave a sufficient condition for the Iwasawa invariant of the cyclotomic -extension of to be zero. The purpose of this paper is to study the case of this result and give new examples of with , by using information on the initial layer of the cyclotomic -extension of .

     

Computing discrete logarithms in real quadratic congruence function fields of large genus

The discrete logarithm problem in various finite abelian groups is the basis for some well known public key cryptosystems. Recently, real quadratic congruence function fields were used to construct a public key distribution system. The security of this public key system is based on the difficulty of a discrete logarithm problem in these fields. In this paper, we present a probabilistic algorithm with subexponential running time that computes such discrete logarithms in real quadratic congruence function fields of sufficiently large genus. This algorithm is a generalization of similar algorithms for real quadratic number fields.

     

Hyperelliptic curves and homomorphisms to ideal class groups of quadratic number fields

For the function field K of hyperelliptic curves over Q we define a subgroup of the ideal class group called the group of Z-primitive ideals. We then show that there are homomorphisms from this subgroup to ideal class groups of certain quadratic number fields.     

On the 2-primary part of tame kernels of real quadratic fields

Let \(F = Q\left( {\sqrt p } \right)\), where p = 8t+1 is a prime. In this paper, we prove that a special case of Qin’s conjecture on the possible structure of the 2-primary part of K ₂ O _F up to 8-rank is a consequence of a conjecture of Cohen and Lagarias on the existence of governing fields. We also characterize the 16-rank of K ₂ O _F , which is either 0 or 1, in terms of a certain equation between 2-adic Hilbert symbols being satisfied or not.     

Class fields,Dirichlet characters, and extended genus fields of global function fields

We study the extended genus field of an abelian extension of a rational function field. We follow the definition of Anglès and Jaulent, which uses the class field theory. First, we show that the natural definition of extended genus field of a cyclotomic function field obtained by means of Dirichlet characters is the same as the one given by Anglès and Jaulent. Next, we study the extended genus field of a finite abelian extension of a rational function field along the lines of the study of genus fields of abelian extensions of rational function fields. In the absolute abelian case, we compare this approach with the one given by Anglès and Jaulent.     

Real and imaginary quadratic representations of hyperelliptic function fields

A hyperelliptic function field can be always be represented as a real quadratic extension of the rational function field. If at least one of the rational prime divisors is rational over the field of constants, then it also can be represented as an imaginary quadratic extension of the rational function field. The arithmetic in the divisor class group can be realized in the second case by Cantor's algorithm. We show that in the first case one can compute in the divisor class group of the function field using reduced ideals and distances of ideals in the orders involved. Furthermore, we show how the two representations are connected and compare the computational complexity.

     

Class numbers of some abelian extensions of rational function fields

Let be a monic irreducible polynomial. In this paper we generalize the determinant formula for of Bae and Kang and the formula for of Jung and Ahn to any subfields of the cyclotomic function field By using these formulas, we calculate the class numbers of all subfields of when and are small.