On l-class groups of global function fields

2016 ◽  
Vol 12 (02) ◽  
pp. 341-356
Author(s):  
Zhengjun Zhao ◽  
Wanbao Hu

Let [Formula: see text] be a finite geometric separable extension of the rational function field [Formula: see text], and let [Formula: see text] be a finite cyclic extension of [Formula: see text] of prime degree [Formula: see text]. Assume that the ideal class number of the integral closure [Formula: see text] of [Formula: see text] in [Formula: see text] is not divisible by [Formula: see text]. Using genus theory and Conner–Hurrelbrink exact hexagon for function fields, we study in this paper the [Formula: see text]-class group of [Formula: see text] (i.e. the Sylow [Formula: see text]-subgroup of the ideal class group of [Formula: see text]) as Galois module, where [Formula: see text] is the integral closure of [Formula: see text] in [Formula: see text]. The resulting conclusion is used to discuss the relations of class numbers for the biquadratic function fields with their quadratic subfields.

2020 ◽  
pp. 1-25
Author(s):  
Cornelius Greither ◽  
Radan Kučera

Abstract The aim of this paper is to study circular units in the compositum K of t cyclic extensions of ${\mathbb {Q}}$ ( $t\ge 2$ ) of the same odd prime degree $\ell $ . If these fields are pairwise arithmetically orthogonal and the number s of primes ramifying in $K/{\mathbb {Q}}$ is larger than $t,$ then a nontrivial root $\varepsilon $ of the top generator $\eta $ of the group of circular units of K is constructed. This explicit unit $\varepsilon $ is used to define an enlarged group of circular units of K, to show that $\ell ^{(s-t)\ell ^{t-1}}$ divides the class number of K, and to prove an annihilation statement for the ideal class group of K.


2001 ◽  
Vol 164 ◽  
pp. 133-146 ◽  
Author(s):  
Toru Komatsu ◽  
Shin Nakano

Let K/k be a Galois extension of a number field of degree n and p a prime number which does not divide n. The study of the p-rank of the ideal class group of K by using those of intermediate fields of K/k has been made by Iwasawa, Masley et al., attaining the results obtained under respective constraining assumptions. In the present paper we shall show that we can remove these assumptions, and give more general results under a unified viewpoint. Finally, we shall add a remark on the class numbers of cyclic extensions of prime degree of Q.


2005 ◽  
Vol 48 (4) ◽  
pp. 576-579 ◽  
Author(s):  
Humio Ichimura

AbstractLet m = pe be a power of a prime number p. We say that a number field F satisfies the property when for any a ∈ F×, the cyclic extension F(ζm, a1/m)/F(ζm) has a normal p-integral basis. We prove that F satisfies if and only if the natural homomorphism is trivial. Here K = F(ζm), and denotes the ideal class group of F with respect to the p-integer ring of F.


1994 ◽  
Vol 46 (1) ◽  
pp. 169-183 ◽  
Author(s):  
Jurgen Hurrelbrink

AbstractThis is about results on certain regular graphs that yield information about the structure of the ideal class group of quadratic number fields associated with these graphs. Some of the results can be formulated in terms of the quadratic forms x2 + 27y2, x2 + 32y2, x2 + 64y2.


1992 ◽  
Vol 35 (3) ◽  
pp. 361-370 ◽  
Author(s):  
Christian Friesen

AbstractLet q be a positive power of an odd prime p, and let Fq(t) be the function field with coefficients in the finite field of q elements. Let denote the ideal class number of the real quadratic function field obtained by adjoining the square root of an even-degree monic . The following theorem is proved: Let n ≧ 1 be an integer not divisible by p. Then there exist infinitely many monic, squarefree polynomials, such that n divides the class number, . The proof constructs an element of order n in the ideal class group.


Sign in / Sign up

Export Citation Format

Share Document