Class Number Divisibility in Real Quadratic Function Fields

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.

2010 ◽  
Vol 52 (3) ◽  
pp. 575-581 ◽  
Author(s):  
YASUHIRO KISHI

AbstractLet n(≥ 3) be an odd integer. Let k:= $\Q(\sqrt{4-3^n})\)$ be the imaginary quadratic field and k′:= $\Q(\sqrt{-3(4-3^n)})\)$ the real quadratic field. In this paper, we prove that the class number of k is divisible by 3 unconditionally, and the class number of k′ is divisible by 3 if n(≥ 9) is divisible by 3. Moreover, we prove that the 3-rank of the ideal class group of k is at least 2 if n(≥ 9) is divisible by 3.


2017 ◽  
Vol 173 ◽  
pp. 243-253
Author(s):  
Victor Bautista-Ancona ◽  
Javier Diaz-Vargas ◽  
José Alejandro Lara Rodríguez

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.


1989 ◽  
Vol 113 ◽  
pp. 147-151
Author(s):  
Hiroyuki Osada

For an integer m > 2, we denote by C(m) and H(m) the ideal class group and the class-number of the fieldK = Q(ζm + ζm−1)respectively, where ζm is a primitive m-th root of unity. Let q be a prime and /Q be a real cyclic extension of degree q. Let C() and h() be the ideal class group and the class-number of . In this paper, we give a relation between C() (resp. h()) and C(m) (resp. H(m)) in the case that m is the conductor of (Main Theorem). As applications of this main theorem, we give the following three propositions. In the previous paper [4], we showed that there exist infinitely many square-free integers m satisfying n|H(m) for any given natural number n. Using the result of Nakahara [2], we give first an effective sufficient condition for an integer m to satisfy n|H(m) for any given natural number n (Proposition 1). Using the result of Nakano [3], we show next that there exist infinitely many positive square-free integers m such that the ideal class group C(m) has a subgroup which is isomorphic to (Z/nZ)2 for any given natural number n (Proposition 2). In paper [4], we gave some sufficient conditions for an integer m to satisfy 3|H(m) and m≡l (mod 4). In this paper, using the result of Uchida [5], we give moreover a sufficient condition for an integer m to satisfy 4|H(m) and m ≡ 3 (mod 4) (Proposition 3). Finally, we give numerical examples of some square-free integers m satisfying 4|H(m) and m ≡ 3 (mod 4).


Sign in / Sign up

Export Citation Format

Share Document