arxiv: v1 [math.nt] 13 May 2018

Transcription

1 Fields Q( 3 d, ζ 3 ) whose 3-class group is of type (9, 3) arxiv: v1 [math.nt] 13 May 2018 Siham AOUISSI, Mohamed TALBI, Moulay Chrif ISMAILI and Abdelmalek AZIZI May 15, 2018 Abstract: Let k = Q( 3 d, ζ 3 ), with d a cube-free positive integer. Let C be the 3- component of the class group of k. By the aid of genus theory, arithmetic proprieties of the pure cubic field Q( 3 d) and some results on the 3-class group C, we are moving towards the determination of all integers d such that C Z/9Z Z/3Z. Résumé: Soit k = Q( 3 d, ζ 3 ), d étant un entier positif sans facteur cubique. Soit C le 3-groupe de classes de k. Moyennant la théorie des genres, les propriétés arithmetiques du corps cubique pur Q( 3 d) et quelques résultats sur le 3-groupe de classes C, nous réalisons un grand pas vers la détermination de tous les entiers d dont C Z/9Z Z/3Z. Keywords: Pure cubic fields; 3-class groups; structure of groups. Mathematics Subject Classification 2010: 11R11, 11R16, 11R20, 11R27, 11R29, 11R37. 1 Introduction Let Γ = Q( 3 d) be a pure cubic field, where d is a cubic-free positive integer, k = Q( 3 d, ζ 3 ) it s normal closure, k (1) 3 be the Hilbert 3-class field of k, and C be the 3-component of the class group of k. A number of researchers have considered the study of the 3-class group C, as well as to the calculation of it s rank. Calegari and Emerton [3, Lemma 5.11] proved that the rank of the 3-class group of Q( 3 p, ζ 3 ), with p 1 (mod 9), is equal to two if 9 divides the class number of Q( 3 p). The converse of the Calegari-Emerton s result was proved by Frank Gerth III in [7, Theorem 1, p.471]. The purpose of this paper is to find out all integers ( d such ) that C is of type (9, 3), it characterizes the fields k whose the Galois group Gal k (1) 3 /k is isomorphic to Z/9Z Z/3Z. This study is pouring in the same stream of the previous studies [3] and [7]. As a matter of fact, we will demonstrate the following main Theorem: Theorem 1.1. Let Γ = Q( 3 d) be a pure cubic field, where d is a cubic-free positive integer, and k = Q( 3 d, ζ 3 ) it s normal closure. 1) If the field k has a 3-class group of type (9, 3), then d = p e, where p is a prime number such that p 1 (mod 9) and e = 1 or 2. 2) If p is a prime number congruent to 1 (mod 9), and if 9 divides the class number of Γ exactly and u = 1, then the 3-class group of k is of type (9, 3). 1

2 where u is an index of units that will be defined in the notations. To consult numerical examples using the Pari programming [12], see page 8. In this paper, we state only those results that we will need later, a more results on the 3-class groups can be found in [5] and [6]. For the prime factorization in the pure cubic field Q( 3 d), we refer the reader to the papers [4], [1], [2] and [11], and for the ideal factorization rules of the third cyclotomic field Q(ζ 3 ), we refer the reader to [10]. We give the usual notations which the work is based on as follows: The little p will be design a prime number congruent to 1 (mod 3) and the little q design a prime number congruent to 1 (mod 3); Γ = Q( 3 d) : a pure cubic field, where d is a cubic-free natural number; k 0 = Q(ζ 3 ), where ζ 3 = e 2iπ/3 ; k = Q( 3 d, ζ 3 ) : the normal closure of Γ; Γ and Γ : the two cubic fields conjugate of Γ contained in k; u : the index of the sub-group E 0 generated by the units of intermediate fields of the extension k/q in the group of units of k; τ = Gal (k/γ), τ 2 = id, τ(ζ 3 ) = ζ 2 3 and τ( 3 d) = 3 d; σ = Gal (k/k 0 ), σ 3 = id, σ(ζ 3 ) = ζ 3 and σ( 3 d) = ζ 3 3 d; λ = 1 ζ 3 is a prime of k 0 ; q = 0 or 1 according to ζ 3 is not norm or norm of an element of k\{0}; t : the number of primes ramifies in k/k 0 ; For an algebraic number field L: O L : the ring of integers of L; E L : the group of units of L; h L : the class number of L; C L,3 : the 3-class group of L; L (1) 3 : the Hilbert 3-class field of L; L : the absolute genus field of L. 2 Fields Q( 3 d, ζ3 ) whose 3-class group is of type (9, 3) 2.1 Preliminary results In chapter 7 of [9], Ishida has given explicitly the genus field of any pure field. For the pure cubic field Γ = Q( 3 d), with d is a cubic-free natural number, we have the following Theorem: Theorem 2.1. Let Γ = Q( 3 d) be a pure cubic field, where d is a cubic-free positive integer, and let p 1,..., p r be all prime divisors of d such that p i is congruent to 1 (mod 3) for each i {1, 2,..., r}. Let Γ be the absolute genus field of Γ, then: 2

3 Γ = r i=1 M(p i).γ, where M(p i ) is the unique sub-field of Q(ζ pi ) of degree 3. The genus number is g Γ = 3 r. Remark ) If there is no prime p 1 (mod 3) divides d, i.e. r = 0 then Γ = Γ. 2) r 0, Γ is contained in the Hilbert 3-class field Γ. 3) The cubic field M(p) is determined explicitly by Proposition 1 of [8]. Assuming h Γ is exactly divisible by 9. constructed as follows: The absolute genus field Γ can be explicitly Lemma 2.1. Let Γ = Q( 3 d) be a pure cubic field, where d is a cubic-free positive integer, If h Γ is exactly divisible by 9, then there are at most two primes congruent to 1 (mod 3) dividing d. Proof. If p 1,..., p r are all prime numbers p 1 (mod 3) dividing d, then 3 r h Γ. Therefore, if h Γ is exactly divisible by 9, then r = 2. So there are two primes p 1 and p 2 dividing d such that p i 1 (mod 3) with i {1, 2}, or there is only one prime p 1 (mod 3) with p d, or there is no prime p 1 (mod 3) such that p d. Lemma 2.2. Let Γ = Q( 3 d) be a pure cubic field, where d is a cubic-free positive integer. If h Γ is exactly divisible by 9 and if the integer d is divides by two primes p 1 and p 2 such that p i 1 (mod 3) for i {1, 2}, then Γ = Γ (1) 3, (Γ ) = Γ (1) 3 and (Γ ) = Γ (1) 3. Furthermore, k.γ (1) 3 = k.γ (1) 3 = k.γ (1) 3. Proof. If h Γ is exactly divisible by 9 and d is divisible by two prime numbers p 1 and p 2 which are congruent to 1 (mod 3), then g Γ = 9 so Γ = Γ (1) 3 = Γ.M(p 1 ).M(p 2 ), where M(p 1 ) (resp. M(p 2 )) is the unique cubic sub-field of Q(ζ p1 ) (resp. Q(ζ p2 )). The equalities { (Γ ) = Γ.M(p 1 ).M(p 2 ) = Γ (1) 3 (Γ ) = Γ.M(p 1 ).M(p 2 ) = Γ (1) 3 can be deduced by the fact that in the general case we have { (Γ ) = Γ r i=1 M(p i) (Γ ) = Γ r i=1 M(p i) where p i, for each 1 i r, is a prime divisor of d such that p i 1 (mod 3), and from the fact that h Γ is exactly divisible by 9, we conclude that h Γ is exactly divisible by 9 and h Γ is exactly divisible by 9 because Γ, Γ and Γ are isomorphic. Moreover, k.γ (1) 3 = k.γ.m(p 1 ).M(p 2 ) = k.m(p 1 ).M(p 2 ), k.γ (1) 3 = k.γ.m(p 1 ).M(p 2 ) = k.m(p 1 ).M(p 2 ), k.γ (1) 3 = k.γ.m(p 1 ).M(p 2 ) = k.m(p 1 ).M(p 2 ). Hence, k.γ (1) 3 = k.γ (1) 3 = k.γ (1) 3. Now, let u be the index of units defined in the above notations. Assuming h Γ is exactly divisible by 9 and u = 1. Then, according to Theorem 14.1 of [1], h k is exactly divisible by 27. The structure of the 3-class group C will be known by the following Lemma: 3

4 Lemma 2.3. Let Γ be a pure cubic field, k it s normal closure and u be the index of unites defined in the notations above, then: C Z/9Z Z/3Z [C Γ,3 Z/9Z and u = 1] To consult numerical examples using the Pari programming [12], see page 8. Proof. Assuming C Z/9Z Z/3Z. Let h Γ,3 (resp. h ) be the 3-class number of Γ (resp. k), then h = 27. According to Theorem 14.1 of [1], 27 = u 3 h2 Γ,3, then u = 1 because otherwise 27 will be a square in N, witch is a contradiction. Then h 2 Γ,3 = 34 and then h Γ,3 = 9. According to Lemma 2.1 and Lemma 2.2 of [6], we have C C Γ,3 C, then C = 3. Since C is of type (9, 3), we deduce that C is a cyclic 3-group of order 3 and C+ is a cyclic 3-group of order 9. Therefore: u = 1 and C Γ,3 Z/9Z. Reciprocally, assume that u = 1 and C Γ,3 Z/9Z. By Theorem 14.1 of [1], we deduce that C = 1 3 C Γ,3 2, so C = 27 and C = 3, hence C C Γ,3 C Z/9Z Z/3Z. 2.2 Proof of Theorem 1.1 Let Γ = Q( 3 d) be a pure cubic field, where d is a cubic-free positive integer, k = Q( 3 d, ζ 3 ) it s normal closure, and C the 3-component of the class group of k. 1) We first write the integer d in the form given in Equation (3.2) of [6]: d = 3 e p e pev v p e v+1 v+1...pew w q f qf I I qf I+1 I+1...qf J J, (1) where p i and q i are positive rational primes such that: p i 1 (mod 9), for 1 i v, p i 4 or 7 (mod 9), for v + 1 i w, q i 1 (mod 9), for 1 i I, q i 2 or 5 (mod 9), for I + 1 i J, e i = 1 or 2, for 1 i w, f i = 1 or 2, for 1 i J, e = 0, 1 or 2. Assume that the 3-class group C is of type (9, 3), then by Lemma 2.3 the unit index u is equal to 1, so according to Theorem 15.6 in pages 235 and 236 of [1], the fields Γ and k are of Type III, so e H = 1, where e H is the number of principal factorization of k/k 0 defined in [1]. According to Corollary on page 231 of [1] we have: m H = 1 e H 4

5 where m H = 1 or 0 according to the solvability of a relative cubic analog of the Pell equation of norm 1, ζ 3 = N k k0 (ξ), with ξ E k, (2) where N k k0 is the relative norm defined as follows: N k k0 (x) = x σ(x) σ 2 (x), with x k, and E k is the group of units of k. Since m H = 0, the above Equation (2) is solvable. According to Lemma 13.2 of [1], we conclude that all prime divisors of the integer d are = 3 or ±1 (mod 9). Thus the integer d will be written as follows: d = 3 e p e pev v q f qf I I, with p i q i 1 (mod 9), where p i, q i, e, e i and f i are defined in Equation (1). On one hand, suppose that d is not divisible by any rational prime p such that p 1 (mod 3); i.e. w = 0. According to Theorem 5.1 of [6] we have C C Γ,3 C Γ,3, since the 3-group C is of type (9, 3), then C = 3 3 and from Lemma 2.3 C Γ,3 Z/9Z, we get C Γ,3 C Γ,3 = 3 4 which is a contradiction. Hence, the integer d is divisible by at least one rational prime p 1 (mod 3). Since all prime divisors of d are = 3 or ±1 (mod 9), then the integer d is divisible by at least one rational prime p 1 (mod 9). On the other hand, the fact that the 3-class group C is of type (9, 3) imply according to Lemma 2.3, that C Γ,3 Z/9Z. Since h Γ is exactly divisible by 9, then according to Lemma 2.1, there are at most two primes congruent to 1 (mod 9) dividing d. Assume that there are exactly two different primes p 1 and p 2 dividing d such that p 1 p 2 1 (mod 9), then, according to Lemma 2.2 Γ = Γ (1) 3 = Γ.M(p 1 ).M(p 2 ), where M(p 1 ) (resp. M(p 2 )) is the unique sub-field of degree 3 of Q(ζ p1 ) (resp. Q(ζ p2 ) ). If M(p 1 ) M(p 2 ), then Γ.M(p 1 ) and Γ.M(p 2 ) are two different sub-fields of Γ (1) 3 over Γ of degree 3. According to class field theory, we have ( ) Gal Γ (1) 3 /Γ = CΓ,3 Z/9Z. ( ) ( ) Since Gal Γ (1) 3 /Γ is a cyclic 3-group, then there exist only one sub-group of Gal Γ (1) 3 /Γ of order 3, and by using the Galois correspondence, there exist a unique sub-field of Γ (1) 3 over Γ of degree 3. We conclude that Γ.M(p 1 ) = Γ.M(p 2 ), so M(p 1 ) = M(p 2 ), which contradict our hypothesis. Thus, M(p 1 ) = M(p 2 ), and then p 1 = p 2, which contradict the fact that p 1 and p 2 are two different primes. Hence, there is exactly one prime congruent to 1 (mod 9) which divides d. Then the integer d will be written in the following form: d = 3 e p e qf I I, with p 1 q i 1 (mod 9), where p 1, q i, e, e 1 and f i are defined in Equation (1). Next, let C (σ) be the ambiguous ideal class group of k/q(ζ 3), where σ is a generator of Gal (k/q(ζ 3 )). Since the 3-class group C is of type (9, 3), then rank C (σ) = 1. In fact, for 5

6 each i N, put C (1 σ)i = {A (1 σ)i A C }. If we denote by C k0,3 the Sylow 3-subgroup of the ideal class group of k 0, C k0,3 = {1}, and by the exact sequence : we deduce that 1 C (σ) C 1 σ C C /C 1 σ 1 C (σ) = C /C 1 σ. The fact that C (σ) and C /C 1 σ are elementary abelian 3-groups imply that: rank C (σ) = rank (C /C 1 σ ). Let s be the positive integer such that C (σ) C(1 σ)s 1 and C (σ) C(1 σ)s. Then: where l N, and we have C /C 1 σ = C1 σ /C(1 σ)2 =... = C (1 σ)s 1 /C (1 σ)s = 3 l, C = C /C 1 σ C1 σ /C(1 σ)2... C (1 σ)s 1 /C (1 σ)s = ( C /C 1 σ )s = 3 ls. Since C = 3 3, then we have two possibilities: l = 3 and s = 1; l = 1 and s = 3. Assume that l = 3 and s = 1, then C (σ) = C /C 1 σ = 33, and since C (σ) C (σ) = C, so C (σ) abelian 3-group. Thus l = 1 and s = 3. Then C (σ) rank C (σ) = 1. is of type (9, 3), which contradict the fact that C(σ) = C /C 1 σ C, then is an elementary = 3. We conclude that Since rank C (σ) = 1, then according to Lemma 3.1 of [6], there are three possible cases as follows: Case 1 : 2w + J = 1; Case 2 : 2w + J = 2; Case 3 : 2w + J = 3; where w and J are the integers defined in Equation (1). We will treat each case alone as following: Case 1: We have 2w + J = 1, then w = 0 and J = 1. This case is impossible because we have shown above that the integer d is divisible by one prime number congruent to 1 (mod 3) and more precisely congruent to 1 (mod 9). 6

7 Case 2: We have 2w +J = 2, then w = 1 and J = 0, which imply that d = 3 e p e 1 1, where p 1 is a prime number such that p 1 1 (mod 9), e {0, 1, 2} and e 1 {1, 2}. Then: If d ±1 (mod 9), then e = 0. So the integer d will be written in the form d = p e 1 1. If d ±1 (mod 9), we have necessary e 0. Then the possible form of the integer d is d = 3 e p e 1 1 with e 0. Hence, the possible forms of the integer d in case 2 are: { p e 1 d = 1 with p 1 1 (mod 9). 3 e p e 1 1 ±1 (mod 9) with p 1 1 (mod 9). where e, e 1 {1, 2}. Case 3: We have 2w + J = 3, then w = 1 and J = 1 because w 0, thus d = 3 e p e 1 where p 1 1 (mod 9), q 1 1 (mod 9), e {0, 1, 2} and e 1, f 1 {1, 2}. Then: 1, If d ±1 (mod 9): we have d ±3 e ±1 (mod 9), so we have necessary e = 0. Then the integer d will be written in the form d = p e 1 1. If d ±1 (mod 9): According to [5], rank C (σ) = t 2+q, where t and q are defined in the notations. In the one hand, the fact that rank C (σ) = 1 imply that t = 2 or 3. In the other hand, we have d = 3 e p e 1 1 with p 1 1 (mod 9) and q 1 1 (mod 9). According to [10] and [4] (see also [1], [2] or [11]) we have q 1 is inert in k 0 and q 1 is ramifed in Γ = Q( 3 d). Since d ±1 (mod 9), then 3 is ramifed in Γ, and 3O k0 = (λ) 2 where λ = 1 ζ 3. Since p 1 1 (mod 3), then p 1 = π 1 π 2 where π 1 and π 2 are two primes of k 0 such that π 2 = π1 τ, the prime p 1 is ramifed in Γ, then π 1 and π 2 are ramified in k. Hence, the number of prime ideals which are ramified in k/k 0 is t = 4, which contradicts the fact that t = 2 or 3. Hence, the integer d will be written in case 3 in the form: d = p e 1 1 ±1 (mod 9), with p 1 q 1 1 (mod 9) and e 1, f 1 {1, 2}. We summarize all forms of integer d in the three cases 1, 2 and 3 as follows: p e 1 1 with p 1 1 (mod 9). d = 3 e p e 1 1 ±1 (mod 9) with p 1 1 (mod 9) p e 1 1 ±1 (mod 9) with p 1 q 1 1 (mod 9). where e, e 1, f 1 {1, 2}. Our next goal is to show that the unique possible form of the integer d is d = p e 1 1, where p 1 1 (mod 9) and e 1 = 1 or 2. 7

8 Case where d = 3 e p e 1 1 ±1 (mod 9), with p 1 1 (mod 9): Here e, e 1 {1, 2}. As Q( 3 ab 2 ) = Q( 3 a 2 b), we can choose e 1 = 1, i.e. d = 3 e p 1 with e {1, 2}. In the one hand, the fact that p 1 1 (mod 3) imply that p 1 = π 1 π 2 with π1 τ = π 2 and π 1 π 2 1 (mod 3O k0 ), the prime p 1 is totally ramified in Γ, then π 1 and π 2 are totally ramified in k and we have π 1 O k = P1 3 and π 2O k = P2 3, where P 1, P 2 are two prime ideals of k. We know that 3O k = λ 2 O k, with λ = 1 ζ 3 a prime element of k 0. Since d ±1 (mod 9), then 3 is totally ramified in Γ, and then λ is ramified in k/k 0. Hence, the number of ideals which are ramified in k/k 0 is t = 3. In the other hand, since 3 = ζ3 2λ2, then k = k 0 ( 3 x) with x = ζ3 2λ2 π 1 π 2, since the primes π 1 and π 2 are congruent to 1 (mod λ 3 ), then according to section 5 of [5] ζ 3 is a norm of an element of k\{0}, so q = 1 and since t = 3, we conclude that rank C (σ) = 2. Rejected case. Case where d = p e 1 1 ±1 (mod 9), with p 1 q 1 1 (mod 9) : Since d ±1 (mod 9), then according to [4] the prime 3 is not ramified in the field Γ, so λ = 1 ζ 3 is not ramified in k/k 0. As p 1 1 (mod 3), then p 1 = π 1 π 2 with π1 τ = π 2 and π 1 π 2 1 (mod 3O k0 ), so π 1 and π 2 are totally ramified in k. Since q 1 1 (mod 3), then q 1 is inert in k 0. Hence, the primes ramifies in k/k 0 are π 1, π 2 and q 1. Put x = π e 1 1 πe 1 2 πf 1, where q 1 = π is a prime number of k 0, then we have k = k 0 ( 3 x). The fact that p 1 q 1 1 (mod 9) imply that π 1 π 2 π 1 (mod λ 3 ), then by section 5 of [5] ζ 3 is a norm of an element of k \ {0}, so q = 1. Then rank C (σ) = t 2 + q = 2 which is impossible. Finally, we have shown that if the 3-class group C is of type (9, 3), then d = p e, where p is a prime number such that p 1 (mod 9) and e = 1 or 2. 2) Suppose that d = p e, with p is a prime number congruent to 1 (mod 9). Here e {1, 2}, since Q( 3 p) = Q( 3 p 2 ) we can choose e = 1. From the fact that u = 1 and that h Γ is exactly divisible by 9 imply according to Theorem 14.1 of [1] that h k is exactly divisible by 27. Since h Γ is exactly divisible by 9, then by Lemma 5.11 of [3] we have rank C = 2. Hence, C Z/9Z Z/3Z. 3 Numerical examples Let Γ = Q( 3 ab 2 ) be a pure cubic field, where a and b are two co-prime such that ab is squarefree integers, we note that Q( 3 ab 2 ) = Q( 3 a 2 b). Assume that C is of type (9, 3). Using the programming Pari [12], we obtain a = 1 and b is a prime number such that b 1 (mod 9). The following table illustrate our main Theorem 1.1 and Lemma 2.3. Here we denote by: C Γ (resp. C k ) : the class group of Γ (resp. of k); h Γ (resp. h k ) : the class number of Γ (resp. of k). 8

9 Table: Some fields Q( 3 ab 2, ζ 3 ) whose 3-class group is of type (9, 3). a b ab 2 b (mod 9) h Γ h k u C Γ C k [9] [9, 3] [9] [9, 3] [18] [18, 6] [9] [9, 3] [18] [18, 6] [9] [9, 3] [9] [9, 3] [9] [9, 3] [18] [18, 6] [18] [18, 6] [18] [18, 6] [9] [9, 3] [45] [45, 15] [9] [9, 3] [9] [9, 3] [18] [18, 6] [9] [9, 3] [9] [9, 3] [342] [342, 114] [18] [18, 6] [36] [36, 12] [9] [9, 3] [45] [45, 15] [18] [18, 6] [9] [9, 3] [9] [9, 3] [9] [9, 3] [9] [9, 3] References [1] P. Barrucand and H. Cohn, Remarks on principal factors in a relative cubic field, J. Number Theory 3 (1971), [2] P. Barrucand and H. Cohn, A rational genus, class number divisibility, and unit theory for pure cubic fields, J. Number Theory 2 (1970), [3] F.Calegari and M. Emerton, On the ramification of Hecke algebras at Eisenstein primes, Invent. Math. 160 (2005), [4] R. Dedekind, Über die Anzahl der Idealklassen in reinen kubischen Zahlkörpern. J. für reine und angewandte Mathematik, Bd. 121 (1900),

10 [5] F. Gerth III, On 3-Class Groups of Cyclic Cubic Extensions of Certain Number Fields, J. Number Theory 8 (1976), [6] F. Gerth III, On 3-class groups of pure cubic fields, J. Reine Angew. Math 278/279 (1975), [7] F. Gerth III, On 3-class groups of certain pure cubic fields, Australian Mathematical Society Volume 72, Number 3, December 2005, pp [8] T.Honda, Pure cubic Fields whose Class Numbers are Multiples of Three, J.Number Theory 3 (1971), [9] M. Ishida, The Genus Fields of Algebraic Number Fields. Lecture Notes in Mathematics Vol.555, Springer-Verlag(1976). [10] Kenneth Ireland - Michael Rosen: A classical Introduction to Modern Number Theory, Second Edition, Springer [11] A. Markoff, Sur les nombres entiers dépendants d une racine cubique d un nombre entier ordinaire, Mem. Acad. Imp. Sci. St. Petersbourg VIII 38 (1892), [12] The PARI Group, PARI/GP, Version 2.9.4, Bordeaux, 2017, Siham AOUISSI and Moulay Chrif ISMAILI Department of Mathematics and Computer Sciences, Mohammed first University, Oujda - Morocco, aouissi.siham@gmail.com, mcismaili@yahoo.fr. Mohamed TALBI Regional Center of Professions of Education and Training, Oujda - Morocco, ksirat1971@gmail.com. Abdelmalek AZIZI Department of Mathematics and Computer Sciences, Mohammed first University, Oujda - Morocco, abdelmalekazizi@yahoo.fr. 10