![Arxiv:2103.04184V1 [Math.NT] 6 Mar 2021 of Eeal,I Sdffiutt Eemn H E Fiel Fkwihcapitula Which K of Ideals of Set the Determine to Difficult Is It Generally](http://data.docslib.org/img/50481cbe1c2e77c02f563163e7685e2c-1.webp)
arXiv:2103.04184v1 [math.NT] 6 Mar 2021 of eeal,i sdffiutt eemn h e fiel fkwihcapitula which k of ideals of set the determine to difficult is it Generally, . n18 tde h aiuainpolmfriaiayqartcfields quadratic imaginary for that proble problem of conjectured capitulation kind [12] the this studied with concerned 1882 were in who mathematicians first the eerho h hr uhrspotdb h utinSineF Science Austrian the by t supported descendant author 3-groups, P26008-N25. finite third fields; the cubic of pure Research 6, degree of fields k ideal 91 .Trd,i i aosTnaaTrd hoe 2]ass [24] theorem Tannaka-Terada famous his in Terada, F. 1971, eue tt rbe fgopter.Hletsfmu hoe 9 Theorem famous Hilbert’s theory. group of problem a to it reduced nextension an ylcetnin hnalteabgoscassof classes ambiguous the all then extension, cyclic e eanme ed and field, number a be k Let 2]a follows: as [20] L/ order edof field ruso h nt fkand k of units the of groups lse of classes e od n phrases. and words Key 20–04. 20F05, 20E22, loscedd fe er frsac,i rvn hoe [ theorem a proving in research, follows: of as years results 7 previous after succeeded, also 2010 Date (1) L k . audy 6Mrh2021. March 06 Saturday, : of ahmtc ujc Classification. Subject Mathematics sa naie ylcetnino rm degree prime of extension cyclic unramified an is I p fki t naie ylccbcetnin sdtrie,adconclus and determined, is extensions k cubic pro-3-extension unramified cyclic maximal unramified the its in k of aeta osse -ls group 3-class a possesses k that case Abstract. nt.Te = k Then unity. k fko t ls aiuae in capitulates class its or k of hc aiuae in capitulates which k ” ” hscnetr a eosrtdi 90b ut¨nlr[]a Furtw¨angler [7] by 1930 in demonstrated was conjecture This . k eeaiaino ibr’ hoe 4hsbe ojcue yM by conjectured been has 94 Theorem Hilbert’s of generalization A . htcptlt in capitulate that L tedge fa naie bla extension abelian unramified an of degree “the seult [ to equal is Let .AUSI .TLI .C AE,ADM .ISMAILI C. M. AND MAYER, C. D. TALBI, M. AOUISSI, S. 3 PICPLZTO OVER -PRINCIPALIZATION aia naie r--xeso,cptlto,Gli cin pu action, Galois capitulation, pro-3-extension, unramified Maximal p Q ayielo ubrfield number a of ideal “any ( ≡ √ 3 ,ζ p, md9 eapienme and number prime a be 9) (mod 1 “if L L 3 L and , sapr eaylcfil ihgopGal(k group with field metacyclic pure a is ) L L ” k k][ : ” h ubro da lse fkta aiuaei such in capitulate that k of classes ideal of number The . / ea naie bla xeso fk esyta an that say We k. of extension abelian unramified an be hscnetr a rvdb uui[1 n19,who 1991, in [21] Suzuki by proved was conjecture This . k 0 E N rmr 13,1R9 13,1R0 11,scnay20D15, secondary 11R16, 11R20, 11R32, 11R29, 11R37, Primary 1. sacci xeso,and extension, cyclic a is k L/ L : Introduction C k N k if sterltv omo h extension the of norm relative the is , 3 L/ I ftp (9 type of ( 3 ∞ k 1 ( eoe rnia yetnigi oa ideal an to it extending by principal becomes ) E fkaedrawn. are k of L ] where )], k , eaieto relative , k ) h aiuaino -da classes 3-ideal of capitulation the 3), aiuae nteHletcasfield class Hilbert the in capitulates p es presentations. rees, hnteeeit nielof ideal an exists there then , ζ 3 n FF:poet 09-H and J0497-PHY projects (FWF): und S E eapiiiecb otof root cube primitive a be 3 k -FIELDS L and L/ sa naie extension unramified an is k 0 2 hc eeaie all generalizes which 22] re that erted aiuaei h genus the in capitulate , k E / L iie h ubrof number the divides Q sKoekr who Kronecker, is m osconcerning ions r epcieythe respectively are ) n10,Hilbert 1902, In . ≃ ttsthat states 4 S ein te 3 trAtnhad Artin fter nthe In . L/ “if emetacyclic re L .Around k. k Among . / k 0 iyake k sa is “if of 2 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI
of k abelian over k0, the degree [L : k] divides the number of classes of k invariant under Gal(k/k0)”. . Several mathematicians were interested in the study of the problem of capitulation for particular cases of number fields. We cite, for example, the study of capitulation in the intermediate extensions of k(1)/k. When the p-class group of k is of type (p,p), this study was made by S. M. Chang and R. Foote. For other studies we cite the works [4], [5], [14], [15]. Here we contribute to this study with results on the problem of capitulation of the 3 (1) 3-ideal classes of the field k = Q(√p,ζ3) in the intermediate extensions of k3 /k, where p (1) is a prime such that p 1(mod9) and k3 denotes the Hilbert 3-class field of k. ≡ (1) . When the 3-class group Ck,3 is of type (9, 3), the extension k3 /k admits eight interme- diate fields. Figure 1 schematizes the situation.
Figure 1. (1) The unramified cubic and nonic sub-extensions of k3 /k
k(1) ♦7 3 ❄g❖❖ ♦♦♦ ⑧? _ ❄ ❖❖❖ ♦♦♦ ⑧⑧ ❄❄ ❖❖❖ ♦♦♦ ⑧⑧ ❄❄ ❖❖❖ ♦♦♦ ⑧⑧ ❄❄ ❖❖❖ ♦♦ ⑧⑧ ❄❄ ❖❖ ♦♦♦ ⑧ ❖❖ K K K K 7 4,9 gP 3,9 2,9 7 1,9 ♥♥♥⑥> ❆` ❆PPP `❆❆ ⑥> ♥♥♥ ♥♥♥ ⑥⑥ ❆❆ PPP ❆❆ ⑥⑥ ♥♥♥ ♥♥♥ ⑥⑥ ❆❆ PPP ❆❆ ⑥⑥ ♥♥♥ ♥♥♥ ⑥⑥ ❆❆ PPP ❆❆ ⑥⑥ ♥♥♥ ♥♥ ⑥⑥ ❆❆ PP ❆❆ ⑥⑥ ♥♥ ♥♥♥ ⑥ PP ⑥♥♥♥ K K K K 1,3 hPP 2,3 3,3 ♥6 4,3 PPP ❇` ❇ ⑥> ♥♥♥ PPP ❇❇ ⑥⑥ ♥♥♥ PP ❇❇ ⑥ ♥♥ PPP ❇ ⑥⑥ ♥♥♥ PPP ❇❇ ⑥⑥ ♥♥♥ PPP❇ ⑥⑥♥♥♥ k ♥
In section 2, we propose to determine the family (Ki,j) of all intermediate sub-fields of k K k(1), where 1 i 4 and j 3, 9 , the object of Theorem 2.5, and we then ⊆ i,j ⊆ 3 ≤ ≤ ∈ { } study, in Theorem 3.1 of section 3, the capitulation of 3-ideal classes of k in the fields Ki,j. (∞) Section 4 is devoted to the identification of the maximal unramified pro-3-extension k3 3 of k = Q(√p,ζ3), and to the proof that the dominating proportion (at least 94%) of the (∞) fields k has a metabelian 3-class field tower k3 with exactly two stages. All our theoretical results are based on exhaustive computer results. The usual notation is as follows: 3-PRINCIPALIZATION OVER S3-FIELDS 3
The letter p designates a prime number congruent to 1 modulo 3; • Γ= Q(√3 d): a pure cubic field, where d 2 is a cube-free integer; • k = Q(ζ ): the cyclotomic field, where ζ≥ = e2iπ/3 ; • 0 3 3 k=Γ(ζ3): the normal closure of Γ; • Γ′ and Γ′′: the two conjugate cubic fields of Γ, contained in k; • u = [E : E ]: the index of the sub-group E generated by the units of intermediate • k 0 0 fields of the extension k/Q in the group of units Ek of k; 2 2 3 3 τ = Gal(k/Γ), τ = id, τ(ζ3)= ζ3 and τ(√d)= √d; • h i 3 3 3 σ = Gal(k/k0), σ = id, σ(ζ3)= ζ3 and σ(√d)= ζ3√d; •For h i an algebraic number field L: • – CL,3: the 3-class group of L; (1) – L3 : the Hilbert 3-class field of L; – [ ]: the class of a fractional ideal in the class group of L. I I
Unramified cubic and nonic sub-extensions of (1) 2. k3 /k 2.1. Preliminaries. 3 . In his thesis [14], M. C. Ismaili established that the 3-class group Ck,3 of k= Q(√d, ζ3) is of type (3, 3) if and only if 3 divides exactly the class number of Γ and u = 3, where u is the units index defined in the notations, and he determined all the integers d which satisfy this property by distinguishing three types of fields k, namely type I, II, and III. . Here, we are interested in the case where the 3-class group Ck,3 is of type (3, 9). Assuming that the number of classes of Γ is divisible exactly by 9, Theorem 2.1 describes the structure of Ck,3 as follows:
Theorem 2.1. Let Γ be a pure cubic field, k be its normal closure, Ck,3 (resp. CΓ,3) the 3-class group of k (resp. Γ), and u be the units index defined in the notations, then: C Z/9Z Z/3Z [C Z/9Z and u = 1]. k,3 ≃ × ⇐⇒ Γ,3 ≃ Proof. See [1, Lemma 2.5, p. 4].
. Further, we have classified all the integers d for which the 3-class group Ck,3 is of type (3, 9) in the following Theorem:
Theorem 2.2. Let Γ= Q(√3 d) be a pure cubic field, where d 2 is a cube free integer, and 3 ≥ let k = Q(√d, ζ3) be its normal closure. Denote by u the index of the subgroup generated by the units of the intermediate fields of the extension k/Q in the unit group of k. 1) If the field k has a 3-class group of type (9, 3), then d = pe, where p is a prime congruent to 1(mod9) and e =1 or 2. 2) Conversely, if p is a prime congruent to 1(mod9), and if 9 divides exactly the class number of Γ= Q(√3 p) and u =1, then the 3-class group of k is of type (3, 9). Proof. See [1, Theorem 1.1, p. 2]. 4 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI
3 . This being the case, let k be the special field Q(√p,ζ3), with p 1(mod9). Calegari and Emerton [6, Lemma 5.11] proved that the rank of the 3-class group≡ of this field k is equal to 2 if 9 divides the class number of Q(√3 p). The converse of the Calegari-Emerton result is shown by Frank Gerth III in [10, Thm. 1, p. 471]. Assume that 9 divides exactly the 3 class number of Γ = Q(√p), where p 1 (mod 9), then Ck,3 is of type (9, 3) if and only if ≡ u = 1. The generators of Ck,3 when Ck,3 is of type (9, 3) are determined as follows:
3 3 Theorem 2.3. Let k= Q(√p,ζ3), where p is a prime such that p 1(mod9), Γ= Q(√p), (1) ≡ k0 = Q(ζ3), k3 the 3-Hilbert class field of k, Ck,3 the 3-class group of k, we note also C+ = C τ = , and C− = C τ = −1 , where τ = Gal(k/Γ). k,3 {C ∈ k,3 | C C} k,3 {C ∈ k,3 | C C } h i Suppose that C is of type (9, 3). Let = C+ , where C such that 9 = 1 and k,3 hAi k,3 A ∈ k,3 A 3 = 1, C− = , where C such that 3 = 1 and = 1, C(σ) is the ambiguous A 6 k,3 hBi B ∈ k,3 B B 6 k,3 ideal class group of k k , and C1−σ = 1−σ C is the principal genus of C , | 0 k,3 {A | A ∈ k,3} k,3 where σ = Gal(k/k0). Then: h i + − (1) Ck,3 = Ck,3 Ck,3 = , . × hA Bi (σ) + (σ) (2) The ambiguous class group Ck,3 is a sub-group of Ck,3 of order 3, with Ck,3 , and we have: A 6∈ C(σ) = 3 = 1−σ . k,3 hA i hB i (3) C− = ( 2)σ−1 . k,3 h A i (4) The principal genus C1−σ = C(σ) C− = 3, is an elementary bi-cyclic 3-group k,3 k,3 × k,3 hA Bi of type (3, 3), Proof. See [2, Proposition 3.4, pp. 9-10].
3 Theorem 2.4. Let k= Q(√p,ζ3), where p is a prime such that p 1(mod9). The prime 2 2 2 ≡ 3 decomposes in k under form 3 k = , where , and are prime ideals of k. hk O P Q R P Q R Put h = 27 , where hk is the class number of k. Assume 9 divides exactly the class number of Q(√3 p) and u =1. If 3 is not cubic residue modulo p, then: (1) the class [ h] generates C+ ; R k,3 (2) C is generated by classes [ h] and [ h][ h]2, and we have: k,3 R R P C = [ h] [ h][ h]2 . k,3 h R i×h R P i Proof. See [2, Theorem 3.5, pp. 10-11].
(1) 3 2.2. Unramified sub-extensions of k3 /k. Let k = Q(√p,ζ3), where p is a prime such (1) (0) (2) that p 1(mod9), k3 the 3-Hilbert class field of k3 = k, k3 the 3-Hilbert class field of (1) ≡ (2) k3 , and G = Gal(k3 /k). Let Ck,3 be 3-ideal class group of k, then by class field theory, Gal(k(1)/k) C . 3 ≃ k,3 Assume that Ck,3 is of type (9, 3). In his paper [17], Daniel C. Mayer gives the pre- sentations of the metabelian 3-groups G = x, y , with two generators satisfying x9 G′ and y3 G′, where G/G′ is of type (9, 3).h If wei note by (H ) the family of all normal∈ ∈ i,j i 3-PRINCIPALIZATION OVER S3-FIELDS 5
Figure 2. The group G with G/G′ of type (9, 3)
′ ♠ G ❈◗◗ ♠♠♠④④ ❈❈◗◗◗ ♠♠♠ ④④ ❈❈ ◗◗◗ ♠♠♠ ④ ❈❈ ◗◗◗ ♠♠♠ ④④ ❈ ◗◗◗ ♠♠♠ ④④ ❈❈ ◗◗◗ v♠♠ }④ ! ◗( H H H H ♠ 4,9 ◗◗ 3,9 2,9 ♠ 1,9 ♠♠♠ ⑤ ❇❇ ◗◗◗ ❇❇ ⑤ ♠♠♠ ♠♠♠ ⑤⑤ ❇❇ ◗◗◗ ❇❇ ⑤⑤ ♠♠♠ ♠♠ ⑤ ❇❇ ◗◗ ❇❇ ⑤ ♠♠ ♠♠♠ ⑤⑤ ❇ ◗◗◗ ❇ ⑤⑤ ♠♠♠ ♠♠♠ ⑤⑤ ❇❇ ◗◗◗❇❇ ⑤⑤ ♠♠♠ v♠♠ }⑤ ! ◗( ! }⑤v♠♠ H1,3 H2,3 H3,3 H4,3 ◗◗◗ ❈ ♠♠ ◗◗◗ ❈❈ ④④ ♠♠♠ ◗◗◗ ❈❈ ④④ ♠♠♠ ◗◗◗ ❈❈ ④ ♠♠♠ ◗◗◗ ❈ ④④ ♠♠♠ ◗◗◗❈! }④④♠♠♠ ( G v♠
′ intermediate groups G Hi,j G, with 1 i 4, j 3, 9 , the 3-group G has four maximal normal subgroups⊆ of index⊆ 9 as follows:≤ ≤ ∈ { } H = y,G′ , H = x3y,G′ , H = x3y−1,G′ , H = x3,G′ , 1,9 h i 2,9 h i 3,9 h i 4,9 h i and four maximal normal subgroups of index 3 as follows: H = x, G′ , H = xy,G′ , H = xy−1,G′ , H = x3,y,G′ . 1,3 h i 2,3 h i 3,3 h i 4,3 h i ′ 3 It should be noted that H4,3 = Hi,9, the quotient group H4,3/G = x ,y is bi-cyclic 3 ′ h i of type (3, 3), and H1,9 = Hi,3 = G G coincides with the Frattini subgroup Φ(G) of G. Q However, the group Hi,9 is only contained in H4,3, for 1 i 3. These groups are shown in figure 2. T ≤ ≤ The aim of the following Theorem is to determine, via the Galois correspondence of k(1)/k, the family (K ) of all fields k K k(1), where 1 i 4, j 3, 9 , satisfying 3 i,j ⊆ i,j ⊆ 3 ≤ ≤ ∈{ } H = Gal(k(2)/K ), H /G′ (C ), and H /H′ Gal((K )(1)/K ) i,j 3 i,j i,j ≃ NKi,j/k Ki,j ,3 i,j i,j ≃ i,j 3 i,j ≃ CKi,j ,3.
3 (1) Theorem 2.5. Let k = Q(√p,ζ3), where p is a prime such that p 1(mod9), k the ≡ 3 3-Hilbert class field of k, and Ck,3 the 3-ideal class group of k. Assume C is of type (9, 3). Let = C+ , where C such 9 = 1 and 3 = 1, k,3 hAi k,3 A ∈ k,3 A A 6 − 3 (σ) Ck,3 = , where Ck,3 such that =1 and =1, and let Ck,3 the ambiguous ideal hBi B ∈ B (1) B 6 class group of k k0 . Then, the extension k3 /k admits eight intermediate extensions as follows: | 6 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI
1) Four unramified cyclic extensions of degree 3 denoted Ki,3, 1 i 4, given by: + ≤ ≤ – The field K1,3 corresponds by class field theory to Ck,3 = , σ hAi – The field K2,3 corresponds to = , hABi2 hA σi2 – The field K3,3 corresponds to = , , hAB i hA i 1−σ 3 – The field K4,3 corresponds to the principal genus Ck,3 = , . hA Bi 2 ∗ 3 2 ∗ ∗ σ ∗ σ Furthermore, K4,3 = k( π1π2 )=(k/k0) = kΓ = k(Γ ) = k Γ , ∗ ∗ where (k/k0) is the relative genus field of k/k0, σ = Gal(k/k0),F for a p h i number field F is the absolute genus field of F , and π1, π2 are primes in k0 such that p = π1π2. 2) Three unramified cyclic extensions of degree 9 denoted Ki,9, 2 i 4, given by: ≤ ≤ 3 – The field K2,9 corresponds by class field theory to the sub-group , 3 2 hA Bi – The field K3,9 corresponds to the sub-group , hA− B i – The field K1,9 corresponds to the sub-group Ck,3 = . hBi(1) (1) σ (1) σ2 Furthermore, K1,9 = k Γ3 = k (Γ )3 = k Γ , · · · 3 (1) where F3 for a number field F is the 3-Hilbert class field of F . 3) One bi-cyclic bi-cubic extension of degree 9, denoted K4,9, and given by K4,9 = K K , i = j, which corresponds by class field theory to the ambiguous ideal i,3 · j,3 6 class group C(σ) = 3 of the extension k/k . k,3 hA i 0 + 9 Proof. Assume Ck,3 is of type (3, 9). Let = Ck,3, where Ck,3 such that = 1 and 3 − hAi 3 A ∈ A = 1, and let Ck,3 = , where Ck,3 such that = 1 and = 1. A The6 results of TheoremhBi 2.5 followB immediately,∈ accordingB to theB class 6 field theory, from the fact that the 3-ideal class group C = , admits k,3 hA Bi Four sub-groups Hi,3 cubic of order 9, where 1 i 4, ordered as follows: • – three of these subgroups are cyclic of order≤ 9,≤ given by: + τ H1,3 = Ck,3 = = Ck,3 = , • hAi σ {C ∈ | C τσC} H2,3 = = = Ck,3 = , • hABi−1 hA i 2 {C ∈ σ2 | C C} τσ2 H3,3 = = = = Ck,3 = , Then,• we have:hAB i hAB i hA i {C ∈ | C C} C /H = C /C+ = C / Z/3Z, k,3 1,3 k,3 k,3 k,3 hAi ≃ σ Ck,3/H2,3 = Ck,3/ Z/3Z, hA 2i ≃ C /H = C / σ Z/3Z, k,3 3,3 k,3 hA i ≃ then Gal(K /k) Gal(K /k) Gal(K /k) Z/3Z, which means that 1,3 ≃ 2,3 ≃ 3,3 ≃ K1,3, K2,3, K3,3 are unramified cyclic extensions of degree 3 on k corresponds σ σ2 respectively to the subgroups H1,3 = , H2,3 = , H3,3 = of Ck,3. hAi hA i 1−σhA i – the fourth subgroup of Ck,3 is exactly the principal genus Ck,3 , given by 4 H = C1−σ = C(σ) C− = 3, = H , 4,3 k,3 k,3 × k,3 hA Bi i,9 i=1 Y 3-PRINCIPALIZATION OVER S3-FIELDS 7
then C /H = C /C1−σ Z/3Z, k,3 4,3 k,3 k,3 ≃ and according to genus theory C /C1−σ Gal((k/k )∗ /k) , k,3 k,3 ≃ 0 which is exactly is the genus group, for more details see [8, §2, page 85]. ∗ Then, Gal (K4,3/k) Gal((k/k0) /k) Z/3Z, which means that K4,3 = ∗ ≃ ≃ (k/k0) is an unramified cyclic extension of degree 3 over k correspond to the 3 sub-group H4,3 = , of Ck,3. For more details, see Theorem 2.3. Furthermore, as thehA discriminantBi of the ring of integers of Γ is divisible by a single prime number p such that p 1 (mod 3), then by [14, Corollary 2.1, p. 21], we have: ≡ Γ∗ = M(p).Γ, (Γσ)∗ = M(p).Γσ, 2 ∗ 2 Γσ = M(p).Γσ ,
2 ∗ where Γ∗ (respectively (Γσ)∗, Γσ ) is the absolute genus field of Γ (respec- σ σ2 tively Γ , Γ ), and M(p) is the unique cubic sub-field Q(ζp) of degree 3. By switching to the composition we obtain
2 ∗ k.Γ∗ = k. (Γσ)∗ = k. Γσ = k.M(p). The fact that p 1 (mod 3) imply by [13, Chap. 9, Sec. 1, Proposition 9.1.4, ≡ τ p.110] that p = π1π2 with π1 = π2 and π1 π2 1 (mod 3 k0 ), then by [9, § ∗ ≡3 ≡2 O 3, Lemma 3.2, p. 56], we have (k/k0) = k( π1π2). We conclude that K = (k/k )∗ = kΓ∗ = k( 3 π π2). 4,3 0 p 1 2 Four cyclic cubic subgroups Hi,9 of order 3, where 1 i 4, ordered as follows: • − τ −1 p ≤ ≤ H1,9 = Ck,3 = = Ck,3 = , • 3 hBi {C ∈ | C C } H2,9 = , • H = hA3Bi−1 = 3 2 , • 3,9 hA B i hA B i H = C(σ) = 3 is the ambiguous ideal class group of k/k . • 4,9 k,3 hA i 0 Furthermore, H = 4 H , and for each 1 i 3 we have H is contained 4,9 i=1 i,3 ≤ ≤ i,9 only in H4,3. . On the one hand, weT have C /H = C /C(σ) = C / 3 Z/3Z Z/3Z, k,3 1,9 k,3 k,3 k,3 hA i ≃ × then Gal(K4,9/k) Z/3Z Z/3Z, which signifies that K4,9 is an unramified bi- ≃ × (σ) cyclic bi-cubic extension of k corresponding to the sub-group H1,9 = Ck,3 of Ck,3. Also, we have C /H = C /C− = C / Z/9Z, k,3 1,9 k,3 k,3 k,3 hBi ≃ 8 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI
C /H = C / 3 Z/9Z, k,3 2,9 k,3 hA Bi ≃ C /H = C / 3 2 Z/9Z, k,3 3,9 k,3 hA B i ≃ then Gal(K /k) Gal(K /k) Gal(K /k) Z/9Z, which means that K , 1,9 ≃ 2,9 ≃ 3,9 ≃ 1,9 K2,9, K3,9 are unramified cyclic extensions of degree 9 over k corresponding respec- 3 3 2 tively to the sub-groups H1,9 = , H2,9 = , H3,9 = of Ck,3. . On the other hand, according tohBi [9, § 2, LemmehA Bi 2.1, p. 53]hA weB havei C /H = C /C− C+ , k,3 1,9 k,3 k,3 ≃ k,3 by [9, § 2, Lemma 2.2, p. 53] we have C+ C , k,3 ≃ Γ,3 and according to class field theory
C Gal Γ (1) Γ , Γ,3 ≃ 3 | then we obtain C /H Gal Γ (1) Γ Gal kΓ (1) k , k,3 1,9 ≃ 3 | ≃ 3 | (1) and by class field theory, kΓ3 is an unramified cyclic extension of degree 9 of k − (1) corresponding to the sub-group H1,9 = Ck,3 of Ck,3. Then, K1,9 = kΓ3 . (1) (1) σ (1) σ2 (1) σ (1) Now we show that kΓ3 = k(Γ )3 = k Γ . Suppose that Γ3 = (Γ )3 , 3 6 (1) σ (1) (1) (1) then Γ3 (Γ )3 is an unramified extension of Γ3 different to Γ3 . This con- tradicts the· fact that the tower of class fields of Γ stops at the first stage Γ since the 3-ideal class group CΓ,3 of Γ is cyclic.
3 3. Capitulation of 3-ideal classes of Q(√p,ζ3)
3 Let k = Q(√p,ζ3), where p is a prime number such that p 1(mod9), and Ck,3 the ≡ 3-class group of k. Suppose that Ck,3 is of type (9, 3). Let (Ki,j) be the family of all intermediate sub-fields of k K k(1), where 1 i 4 and j 3, 9 . We denote by ⊆ i,j ⊆ 3 ≤ ≤ ∈ { } ker TKi,j /k the kernel of the homomorphism TKi,j /k : Ck,3 CKi,j ,3 induced by extension −→ (1) of ideals of k in Ki,j, where Ki,j is an unramified extension of k included in k3 . We denote by κ the quartet of Taussky’s conditions [23].
Definition 3.1. Let i,j be a generator of the sub-group Hi,j of Ck,3, with 1 i 4, j 3, 9 corresponding toA the field K . Let l 0, 1, 2, 3, 4 with 1 i 4. ≤ ≤ ∈ { } i,j i ∈{ } ≤ ≤ We will say that the capitulation is of type l1,l2,l3,l4 to express the fact that when l = n for one n 1, 2, 3, 4 , then only the class{ and} its powers capitulate in K . If i ∈{ } An,9 i,3 all classes capitulate in Ki,3 then we put li = 0. 3-PRINCIPALIZATION OVER S3-FIELDS 9
. The main result of this paper is as follows:
3 Theorem 3.1. Let k = Q(√p,ζ3), where p is a prime number such that p 1(mod9), ≡ + and Ck,3 is the 3-class group of k. Suppose that Ck,3 is of type (9, 3). Put = Ck,3, 9 3 hAi where Ck,3 such that =1 and =1. Then: A ∈ σ Aσ A 6 σ (1) (a) K1,3 = K2,3, K2,3 = K3,3 and K3,3 = K1,3 (σ permutes K1,3, K2,3 and K3,3). τ τ τ (b) K1,3 = K1,3, K2,3 = K3,3 and K3,3 = K2,3, τ τ τ (c) K4,9 = K4,9, K2,9 = K3,9 and K3,9 = K2,9, for all continuations of the automorphisms σ and τ. σ σ2 (2) The three classes , and do not capitulate in Ki,3, for 1 i 4. A3 A A ≤ ≤ 3 (3) Exactly the class and its powers capitulate in K4,3, and ker TK4,3/k = , where T : C A C is the homomorphism induced by extension of idealshA i K4,3/k k,3 −→ K4,3,3 from k to K4,3. (4) The fields K2,3 and K3,3 have the same order of the capitulation kernel. 2 (5) The three classes , σ and σ capitulate in K . A A A 1,9 (6) The fields K2,9 and K3,9 have the same order of the capitulation kernel. (7) Possible types of capitulation in Ki,3, 1 i 4, are (4, 4, 4;4), (1, 2, 3;4) and (0, 0, 0;4). Possible Taussky types in K ,≤1 ≤i 4, are (AAA; A) or (BBB; A). i,3 ≤ ≤ Proof. Let C(σ) be the 3-ambigous class group of k/k and C1−σ = 1−σ C the k,3 0 k,3 {A | A ∈ k,3} principal genus of Ck,3. By Theorem 2.3 we have C(σ) = 3 = 1−σ , and C1−σ = C− C(σ) = , 3 is a k,3 hA i hB i k,3 k,3 × k,3 hB A i 3-group of C of type (3, 3), where C such that C− = = ( 2)σ−1 . k,3 B ∈ k,3 k,3 hBi h A i (1) We will agree that for all i, 1 i 4, j = 3 or 9, and for all ω Gal(k Q), ω ω ≤ ≤ ∈ | Hi,j = / Hi,j . {C C ∈ } + τσ (a) According to Theorem 2.5, H1,3 = Ck,3 = ,H2,3 = Ck,3 = = σ τσ2 hAiσ2 {Cσ ∈ |C σ C} , and H3,3 = Ck,3 = = . Then, H1,3 = H2,3, H2,3 = H3,3 hA i σ {C ∈ |C C} hA i and H3,3 = H1,3 (σ permutes H1,3, H2,3 and H3,3). + τ τ τ (b) As H1,3 = Ck,3 = Ck,3 = , then H1,3 = H1,3. We have H2,3 = σ τ τσ {C ∈ |τσ C C}σ2τ τ σ2 σ2 τ ( ) = , and since = = ( ) = H3,3, then H2,3 = h A iτ hA iσ2 τ τσA2 Aστ Aτ σ A σ ∈ τ H3,3. H3,3 = ( ) = = = ( ) = , then H3,3 = H2,3. h A i τhA i hA i h A i − hA i τ −1 (c) We reason as in (2). H1,9 = H1,9 because H1,9 = Ck,3 = Ck,3 = . 3 3 2 {C ∈τ | C C τ } We have H2,9 = , and H3,9 = , and since = and = −1 = 2, then HhAτ =BiH and Hτ =hAH B.i A A B B B 2,9 3,9 3,9 2,9 The relations between the fields Ki,j in (1) are nothing else than the translations of the corresponding relations for the sub-groups Hi,j via class field theory. (2) For each 1 i 4, Ki,3 is an unramified cyclic extension of degree 3 over k. It is ≤ ≤ 3 clear that for each class Ck,3 we have = (NKi,3/k TKi,3/k)( ). If the class C ∈ C 3 ◦ C capitulates in Ki,3, then TKi,3/k( ) = 1 and = 1. We conclude that the ideal C C C 2 classes which capitulate in K are of order 3. Since the classes , σ, and σ i,3 A A A are of order 9, then these classes cannot capitulate in Ki,3. 10 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI
∗ (3) By Theorem 2.5 we have K4,3 = (k/k0) is the relative genus field of k/k0, and by 2 Theorem 2.3 we have 3 = 3σ = 3σ = C(σ). We conclude according to hA i hA i hA i k,3 Tannaka-Terada theorem [24], that all ambiguous ideal classes of Ck,3 capitulate in the relative genus field (k/k )∗. Thus, the class 3 and its powers capitulate 0 A in K4,3. We shall prove that the unique classes which capitulate in K4,3 are only the ambiguous ideal classes. We have C− = = ( 2)σ−1 and C(σ) = 3 = k,3 hBi h A i k,3 hA i 1−σ . On the one hand we have hB i 1+2σ = σ(1−σ) = (( −1)σ−1)σ = (( 2)σ−1)σ = σ A A A A B because ( 3)σ−1 = 1. One the other hand, we have A 1−σ 2 = 3−σ = −σ B B B B then ( 1−σ 2)−1 = σ B B B So we get σ 1−σ 2 = 3 2 B ∈ hB B i hA B i because 3 = 1−σ . Since C = , is of type (9, 3) , then a class χ C hA i hB i k,3 hA Bi ∈ k,3 of order 3 capitulates in the cubic cyclic unramified extension K4,3/k, if and only if the capitulates in the extension K4,3/k, because a class χ of order 3 is in one of theB subgroup , 3 , 3 2 and that σ 3 2 . hBi hA Bi hA B i B σ ∈ hA B i If capitulates in the extension K4,3/k, then capitulates also in K4,3/k. Since 1+2B σ = σ, then 1+2σ capitulates also in K B/k, so T ( 1+2σ) = 1. Then A B A 4,3 K4,3/k A T ( σ) 2 = T −1 = T 2 K4,3/k A K4,3/k A K4,3/k A 3 because TK4,3/k ( )=1, so A 2 2 T ( σ) = T ( ) K4,3/k A K4,3/k A and then T ( σ)= T ( ) K4,3/k A K4,3/k A ′ (1) (1) (1) ′ (1) σ (1) so we get (Γ3) = Γ3 , where Γ3 (resp. (Γ3) = (Γ3 ) ) is the 3-Hilbert class field of Γ (resp. Γ′), which is a contradiction. Thus does not capitulate in K /k, and then only 3 and its powers capitulate B 4,3 A in K4,3/k. (4) K2,3 and K3,3 have the same order of the capitulation kernel, because K2,3 and K3,3 are isomorphic by (1)(b). (5) Let be an ideal of Γ whose class generates CΓ,3. We know then that we can take I σ σ ′ = [Tk/Γ( )], that the class of (in Γ = Γ ) generates CΓ′,3, that the class A σ2 Iσ2 ′′ I σ σ σ of (in Γ = Γ ) generates CΓ′′,3, and that = [Tk/Γ( ) ] = [Tk/Γ′ ( )] and σI2 σ2 σ2 A I I = [Tk/Γ( ) ] = [Tk/Γ′′ ( )]. A (1) I ′ (1) I ′′ (1) ′ Since Γ3 (resp. (Γ3) and (Γ3) ) is the 3-Hilbert class field of Γ (resp. Γ and 2 Γ′′), then (resp. σ and σ ) becomes principal in Γ(1) (resp. (Γ′ )(1) and (Γ′′)(1)). I I I 3 3 3 3-PRINCIPALIZATION OVER S3-FIELDS 11
σ σ2 (1) ′ (1) Thus, when (resp. and ) is considered as an ideal of k.Γ3 (resp. k. (Γ3) ′′ (1)I I σ I σ2 (1) ′ (1) and k. (Γ3) ), (resp. and ) becomes principal in k.Γ3 (resp. k. (Γ3) ′′ (1) I I σ I σ2 (1) ′ (1) and k. (Γ3) ). So (resp. and ) capitulates in k.Γ3 (resp. k. (Γ3) and ′′ (1) A(1) A ′ (1) A ′′ (1) σ k. (Γ3) ). Since k.Γ3 = k. (Γ3) = k. (Γ3) = K1,9, then the classes , and 2 A A σ capitulate in K . A 1,9 (6) This assertion follows from the fact that K2,9 and K3,9 are isomorphic by (1)(c). (7) The possible types of capitulation in Ki,3, 1 i 4 are (4, 4, 4;4), (1, 2, 3;4) and (0, 0, 0; 4), and the possible Taussky types are≤ (AAA;A)≤ or (BBB;A). In fact, since exactly the class 3 and its powers capitulate in K , then: A 4,3 (i) for each j 1, 2, 3 , if all ideal classes of Ck,3 of order 3 capitulate in Kj,3/k, then the type∈{ of capitulation} is (0, 0, 0;C 4), and the Taussky type is (AAA;A). (ii) If exactly the class of C of order 3 capitulates in the extension K /k, then C k,3 1,3 exactly one class of Ck,3 of order 3 and its powers capitulate in the extensions σ σ K2,3/k and K3,3/k, because by (1)(a) we have K1,3 = K2,3, K2,3 = K3,3, and σ K3,3 = K1,3. Then, there are two cases: 3 – If exactly the class capitulates in K1,3/k, then exactly the class A 2 ( 3)σ capitulates in K /k and exactly the class ( 3)σ capitulates in A 2,3 A K3,3/k. In this case, the possible type of capitulation is (4, 4, 4;4), and the Taussky type is (AAA;A). – We have C− = , and C(σ) = 3 = 1−σ by Theorem 2.3. Then k,3 hBi k,3 hA i hB i
1−σ 2 = 3−σ B B B = −σ, B that is
( 1−σ 2)−1 = σ. B B B We get σ 1−σ 2 = 3 2 , B ∈ hB B i hA B i because 3 = 1−σ . hA i hB i σ If exactly the class capitulates in K1,3/k, then exactly the class B σ2 B capitulates in K2,3/k and exactly the class capitulates in K3,3/k. 3 2 B Then, exactly the class capitulates in K2,3/k and exactly the class 3 A B capitulates in K3,3/k. AInB this case, the possible type of capitulation is (1, 2, 3;4), and the Taussky type is (BBB;A). 12 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI
3 4. 3-class field tower of Q(√p,ζ3)
3 3 Let k = Q(√p,ζ3) be the normal closure of the pure cubic field Γ = Q(√p) with prime radicand p 1(mod9) of Dedekind’s second species. Then k is a pure metacyclic field with absolute group≡ Gal(k/Q) S the symmetric group of order six. Assume that k possesses ≃ 3 a 3-class group Ck,3 C9 C3. Consequently, the 3-class group of Γ is CΓ,3 C9, according to Theorem 2.1, and≃ Γ is× of principal factorization type α, in the sense of≃ [3]. In Theorem 3.1, we investigated the principalization of k in its four unramified cyclic cubic extensions K1,3,...,K4,3, i.e., we determined the three possibilities for the kernels a a ker(TKi,3/k) of the transfer homomorphisms TKi,3/k : Ck,3 CKi,3,3, k ( Ki,3 ) Ki,3 . Our numerical results for the 95 relevant cases p< 20 000→ in Table 1,P computed7→ O withP the aid of Magma [16], confirm the occurrence of precisely three situations for the punctured capitulation type κ(k) = (ker(TKi,3/k))1≤i≤4, which we want to dub with succinct names in Definition 4.1. Recall that H = 4 H in Figure 2 is the distinguished subgroup of 4,9 ∩j=1 j,3 Ck,3 which is generated by third powers of 3-ideal classes, i.e., the Frattini subgroup. Definition 4.1. The punctured capitulation type, with puncture at the fourth component, 4 for the subfield K4,3 associated with the subgroup H4,3 = j=1 Hj,9 in Figure 2, is called κ H ,H ,H H (1) distinguished, if (k) = ( 4,9 4,9 4,9; 4,9), brieflyQ (444; 4), (2) harmonically balanced, if κ(k) = (H1,9,H2,9,H3,9; H4,9), briefly (123; 4), (3) total, if κ(k) = (H4,3,H4,3,H4,3; H4,9), briefly (000; 4). For the actual numerical determination of the (punctured) capitulation type κ, we intro- duce the concept of Artin pattern of k.
Definition 4.2. Let τ(k) = [ATI(CKi,3,3)]1≤i≤4 be the family of abelian type invariants
(ATI) (i.e., 3-primary type invariants) of the 3-class groups CKi,3,3 of the four unramified cyclic cubic extensions of k. Then AP(k) = (κ(k), τ(k)) is called the Artin pattern of k. It turns out that there is a bijective correspondence between κ and τ for the distin- guished and total capitulation, whereas there are two variants of harmonically balanced capitulation. Anyway, it is never required to perform the difficult computation of the capitulation type κ. It is sufficient to determine the abelian type invariants τ, which is computationally easier. Theorem 4.1 is a consequence of our results in Table 1.
3 Theorem 4.1. For a pure metacyclic field k = Q(ζ3, √p) with prime radicand p ≡ 1(mod9), bounded by p 20 000, and 3-class group Ck,3 C9 C3, the following state- ments determine κ(k) by≤ means of τ(k): ≃ × (1) κ(k) = (444;4) τ(k) = [(9, 3)3;(9, 3)]. (2) κ(k) = (000;4) ⇐⇒ τ(k) = [(9, 3, 3)3;(3, 3, 3, 3)]. ⇐⇒ either [(27, 3)3;(9, 3, 3)] (1st variant) κ (3) (k) = (123;4) τ(k) = 3 nd ⇐⇒ (or [(27, 3) ;(9, 9, 3)] (2 variant). Conjecture 4.1. Theorem 4.1 is true for any prime p 1(mod9), not necessarily bounded from above by 20 000. ≡ 3-PRINCIPALIZATION OVER S3-FIELDS 13
We are now in the position to employ the strategy of pattern recognition via Artin transfers (∞) [19] in order to determine the 3-class field tower k3 of k by means of AP(k) = (κ(k), τ(k)).
4.1. Relation rank and Galois action. Constraints arise from two issues, bounds for (∞) the relation rank of the tower group G = Gal(k3 /k), and the Galois action of Gal(k/Q) on C G/G′. We denote by o, i groups in the SmallGroups database of Magma [16]. k,3 ≃ h i 3 Theorem 4.2. For any pure metacyclic field k= Q(ζ3, √d) with cube free radicand d 2 (∞) ≥ and 3-class rank ̺ = 2, the group G = Gal(k3 /k) of the 3-class field tower must satisfy the following conditions.
(1) The relation rank d2 of G must be bounded by 2 d2 5. (2) The automorphism group Aut(Q) of the Frattini≤ quotient≤ Q = G/Φ(G) must con- tain a subgroup isomorphic to S = 6, 1 . (This is true for any S -field k.) 3 h i 3
Proof. According to the Burnside basis theorem, the generator rank d1 of G coincides with the generator rank of the Frattini quotient Q = G/Φ(G)= G/(G′ G3), resp. the derived quotient G/G′ C , that is the 3-class rank ̺ of k. · ≃ k,3 (1) According to the Shafarevich Theorem [18, Thm. 5.1, p. 28], the relation rank d of G is bounded by d d d + r + ϑ, where the torsion free unit rank 2 1 ≤ 2 ≤ 1 r = r1 + r2 1 of the totally complex field k with signature (r1,r2)=(0, 3) is r = 2, and ϑ = 1,− since k contains the primitive third roots of unity. Together with the generator rank d = ̺ = 2 this gives the bounds 2 d 2+2+1= 5. (For other 1 ≤ 2 ≤ complex, resp. real, S3-fields k, the upper bound may be 4, resp. 7.) (2) The absolute Galois group Gal(k/Q) S3 of k acts on the 3-class group Ck,3 G/G′ and thus also on the Frattini quotient≃ Q = G/Φ(G) = G/(G′ G3), whence≃ Aut(Q) contains a subgroup isomorphic to S = 6, 1 . · 3 h i By the same proof as for item (2) of Theorem 4.2, with G/G′ C replaced by G /G′ ≃ k,3 n n ≃ Gal(k(n)/k)/Gal(k(n)/k(1)) Gal(k(1)/k) C we obtain: 3 3 3 ≃ 3 ≃ k,3 (n) Corollary 4.1. Let n be a positive integer, and denote by Gn = Gal(k3 /k) the Galois (n) group of the n-th Hilbert 3-class field k3 of k. The automorphism group Aut(Q) of the Frattini quotient Q = G /Φ(G ) must contain a subgroup isomorphic to S = 6, 1 . n n 3 h i Furthermore, it will also be required to exploit data concerning the second layer of unram- ified abelian (three cyclic nonic and a single bicyclic bicubic) extensions.
Definition 4.3. Let κ2(k) = (ker(TKi,9/k))1≤i≤4 be the punctured capitulation type, and
τ2(k) = [ATI(CKi,9,3)]1≤i≤4 be the family of abelian type invariants of the 3-class groups
CKi,9,3 of the four unramified abelian nonic extensions of k, and AP2(k) = (κ2(k), τ2(k)).
According to item (5) of Theorem 3.1, we know that ker(TK1,9/k)= Ck,3. 14 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI
4.2. Distinguished capitulation. Proposition 4.1. A power commutator presentation of the finite metabelian 3-group 81, 4 h i with class 2 and coclass 2 in terms of the commutator s2 = [y, x] is given by (4.1) x,y,s x9 =1, y3 = s h 2 | 2i Proof. Presentations of groups in the SmallGroups database are implemented in Magma [16].
3 Theorem 4.3. For a pure metacyclic field k = Q(ζ3, √p) with p 1(mod9) having ≡ distinguished capitulation κ(k) = (444;4), the Galois group G2 of the second Hilbert 3- (2) (2) 3 class field k3 is unambiguously given by Gal(k3 /k) 81, 4 with κ2(k) = ((Ck,3) ; Ck,3) 3 ≃h i and τ2(k) = [(9) ;(3, 3)] (see Figure 3). The 3-class field tower of k must stop at the second (2) (∞) stage, that is, k3 = k3 is the maximal unramified pro-3-extension of k. Proof. (Proof of Theorem 4.3) We use Theorem 4.1 in order to exploit the equivalence κ(k) = (444;4) τ(k) = [(9, 3)3;(9, 3)]. According to the theorem on the antitony κ(P ) κ(D) and⇐⇒τ(P ) τ(D) of the components of the Artin pattern (κ, τ) with respect to (parent,≥ descendant)-pairs≤ (P,D), where P is a quotient of D, the abelian type invariants τ = [(9, 3)3;(9, 3)], which are common to the metabelian 3-groups 81, 4 and 243, 22 , cannot occur for any other finite 3-group. Any other finite 3-grouph is descendanti h of thei 9 3 metabelian root R = 81, 3 with pc-presentation x,y,s2 x = 1, y = 1, s2 = [y, x] and τ(R) = [(9, 3)3, (3,h3, 3)].i Consequently, at leasth one component| of τ(D) will always bei of rank three, for any descendant D of the root R. Furthermore, this argument also shows that there cannot be a non-metabelian 3-group G with second derived quotient G/G′′ isomorphic to either 81, 4 or 243, 22 , since G would necessarily be required to have τ(G) = [(9, 3)3);(9, 3)],h whichi ish not compatiblei with being a descendant of R. According to the Artin reciprocity law of class field theory, the 3-class field tower of k must therefore have precise length ℓ3(k) = 2. Finally, both candidates for G2 = G satisfy the inequalities 2 d 5 for the relation rank in Theorem 4.2. Indeed, 81, 4 has d = 3, and 243, 22 ≤ 2 ≤ h i 2 h i has even the minimal value d2 = 2. However, for G = 81, 4 , the automorphism group Aut(Q) of the Frattini quotient Q = G/Φ(G) contains a subgrouph i isomorphic to S = 6, 1 , 3 h i whereas for G = 243, 22 , the corresponding Aut(Q) contains a subgroup C2 = 2, 1 only. Thus, G = 81, 4h remainsi as unique candidate. See Figure 3. h i h i We point out that the preceding proof is not really dependent on Theorem 4.1. A search for κ(k) = (444; 4) in the SmallGroups database yields 81, 4 , 243, 22 and descendants of 729, 10 , 729, 12 . However, the latter two roots (andh thusi allh of theiri descendants) do h i h i not have the required action by S3. 4.3. Harmonically balanced capitulation. We have seen that harmonically balanced capitulation κ = (123;4) occurs in two variants with distinct fourth components (9, 3, 3), resp. (9, 9, 3), in the abelian type invariants τ. It turns out that the first variant leads to sporadic groups outside of coclass trees, and the second variant is connected with periodic groups on coclass trees. 3-PRINCIPALIZATION OVER S3-FIELDS 15
Proposition 4.2. A power commutator presentation of the finite metabelian 3-group 729, i h i of class 3 in terms of the commutators s2 = [y, x], s3 = [s2, x], t3 = [s2,y] is given by x,y,s ,s , t x9 = t , y3 = s if i = 17, (4.2) h 2 3 3 | 3 3i x,y,s ,s , t x9 = t2, y3 = s if i = 20. (h 2 3 3 | 3 3i Proof. Presentations of groups in the SmallGroups database are implemented in Magma [16]. The groups are sporadic of coclass 3.
3 Theorem 4.4. For a pure metacyclic field k= Q(ζ3, √p) with p 1(mod9) having har- ≡ monically balanced capitulation κ(k) = (123;4) and first variant of τ = [(27, 3)3;(9, 3, 3)], the sporadic Galois group G of k(2), second Hilbert 3-class field, is given by Gal(k(2)/k) 2 3 3 ≃ 729,ℓ if κ (k) = ((C )3; H ), τ (k) = [(9, 3)3;(9, 3, 3)], (4.3) h i 2 k,3 4,3 2 2187, m if κ (k) = ((C )3; H ), τ (k) = [(9, 9)3;(9, 9, 3)], (h i 2 k,3 4,3 2 where ℓ 17, 20 , m 177, 178, 187, 188 (see Figures 4 and 5). ∈{ } ∈{ } Proof. (Proof of Theorem 4.4) All vertices of the entire descendant trees of the roots 729, i with i 17, 20 share the required Artin pattern (κ, τ) with harmonically balancedh capit-i ulation∈{κ = (123;4)} and the first variant of τ = [(27, 3)3;(9, 3, 3)]. Since the trees are iso- morphic as structured graphs, we focus on 729, 17 , which gives rise to a finite “mainline”, h i standing out through an action by the direct product S3 C2 12, 4 . The metabelian ver- tices of this finite mainline are 729, 17 , 2187, 178 , 6561× , 1733≃h , andi 6561, 1733 #1; 2. The other two immediate descendantsh i ofh the root i 729h , 17 are i2187,h177 with actioni− by S and 2187, 179 with action by C only. Thereh are exactlyi twoh furtheri candidates for 3 h i 2 G2 with action by S3, namely the metabelian groups 6561, 1731 and 6561, 1733 #1; 3. However, 6561, n with n 1731, 1733 and 6561h, 1733 #1;i s withh s 2,i−3 share h i ∈ { } h i − 3 ∈ { } the forbidden second layer κ2 =(H1,3,H2,3,H3,3; H4,3), τ2 = [(27, 9) ;(9, 9, 3)]. See Figures 4 and 5. Proposition 4.3. A power commutator presentation of the finite metabelian 3-group 2187, i h i in terms of the commutators s2 = [y, x], s3 = [s2, x], s4 = [s3, x], t3 = [s2,y] is given by x,y,s ,s ,s , t x9 = t , y3 = s2, s3 = s2 if i = 180, (4.4) h 2 3 4 3 | 3 3 2 4i x,y,s ,s ,s , t x9 = t2, y3 = s2, s3 = s2 if i = 190. (h 2 3 4 3 | 3 3 2 4i Proof. Presentations of groups in the SmallGroups database are implemented in Magma [16]. The groups are periodic of class 4 and coclass 3.
3 Theorem 4.5. For a pure metacyclic field k= Q(ζ3, √p) with p 1(mod9) having har- ≡ monically balanced capitulation κ(k) = (123;4) and second variant of τ = [(27, 3)3;(9, 9, 3)], the periodic Galois group G of the second Hilbert 3-class field k(2) is given by Gal(k(2)/k) 2 3 3 ≃ 2187, m if κ (k) = ((C )3; H ), τ (k) = [(9, 9)3;(9, 9, 3)], (4.5) h i 2 k,3 4,3 2 6561, n if κ (k) = ((C )3; H ), τ (k) = [(27, 9)3;(9, 9, 9)], (h i 2 k,3 4,3 2 where m 180, 190 and n 1737, 1738, 1739, 1775, 1776, 1777 (see Figures 6 and 7). ∈{ } ∈{ } 16 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI
Proof. (Proof of Theorem 4.5) The required Artin pattern (κ, τ) with harmonically bal- anced capitulation κ = (123;4) and second variant of τ = [(27, 3)3;(9, 9, 3)] cannot occur for descendants of the roots 729, i with i 17, 20 , because on the entire descendant trees of these sporadic roots τh = [(27i , 3)3;(9,∈3, {3)] remains} stable. The only possibility are vertices of the coclass trees with roots 729, i for i 18, 21 . Since the trees are isomorphic as structured graphs, we focus on 729h , 21i, which∈{ has three} immediate descendants, 2187, 190 with κ = (123; 4), τ = [(27, 3)h 3;(9, 9i, 3)], the mainline group 2187, 191 with hosth type κi = (123;0) like the parent 729, 21 , and 2187, 192 with inadequateh iκ = (123;2). Due to the antitony principle forh the componentsi h of thei Artin pattern (κ, τ), all descendants of 2187, 191 can be eliminated, because they have 3 h i τ [(27, 3) ;(27, 9, 3)]. The group 2187, 190 has the required action by S3 = 6, 1 , and this≥ is also true for three of its immediateh descendantsi 6561, n with 1775 n h 1777i but not for n = 1778 with action by C = 3, 1 only. Each ofh the threei former has≤ an≤ immediate 3 h i descendant 6561, n #1;1 with 1775 n 1777 and action by S3. The other descendant 6561, n #1;h 2 hasi− action by C , and≤ three≤ further descendants 6561, n #1;1 #1; i h i − 3 h i − − with 1 i 3 have only an action by C2 = 2, 1 . Further suitable candidates for G are impossible.≤ ≤ Finally, the groups 6561, n h #1;i 1 with n 1775, 1776, 1777 are 2 h i − ∈ { } discouraged by a wrong transfer kernel in the second layer with κ2 =(H1,3,H2,3,H3,3; H4,3), 3 τ2 = [(27, 27) ;(9, 9, 9)]. See Figures 6 and 7.
The proofs of the subsequent corollaries are based on the following fact. All the candidates for G2 in Theorem 4.4 and Theorem 4.5 satisfy the inequalities 2 d2 5 for the relation rank in Theorem 4.2, since they even satisfy the more severe estimates≤ ≤ 3 d 4. So ≤ 2 ≤ there is no reason which precludes a metabelian tower with length ℓ3(k) = 2. Corollary 4.2. For the fields k with harmonically balanced capitulation κ = (123;4) and first variant of τ = [(27, 3)3;(9, 3, 3)] (Theorem 4.4) the 3-class tower of k must stop at (2) (∞) the second stage, that is, k3 = k3 is the maximal unramified pro-3-extension of k.
Proof. (Proof of Corollary 4.2) The groups G2 in Theorem 4.4 are not second derived quotients G/G′′ of non-metabelian 3-groups G.
Remark 4.1. We emphasize that the strict limitation ℓ3(k) = 2 for the length of the 3-class field tower of k in Corollary 4.2 is only due to item (5) of Theorem 3.1, i.e. the
requirement ker(TK1,9/k)= Ck,3 for the second layer. Although we also had ℓ3(k) = 2 if G2 = 6561, n , n 1731, 1769 , were admis- h i ∈ { } ′′ sible, ℓ3(k) = 3 would be enabled for r 1733, 1771 , and 6561,r G/G with G = 6561,r #1; 4, resp. 6561,r #1; ∈s {G/G′′ with} G = 2187h , m i ≃#2;1 #1; s, h i − h i − ≃ h i − − m 178, 188 , s 2, 3 . The groups G are non-metabelian with action by S3, in contrast to ∈{6561,r with} r∈{ 1735} , 1773 . On the other hand, it is known that the descendant treesh of thei roots 729∈, { i with i }17, 20 contain vertices with unbounded derived length, h i ∈{ } whence any finite value ℓ3(k) 4 would also be possible. (Note that the tree continues at the non-metabelian vertex 2187≥ , m #2;1 #1; 2 with m = 178, resp. m = 188.) h i − − 3-PRINCIPALIZATION OVER S3-FIELDS 17
Corollary 4.3. For the fields k with harmonically balanced capitulation κ = (123;4) and second variant of τ = [(27, 3)3;(9, 9, 3)] (Theorem 4.5) the 3-class tower of k must stop (2) (∞) at the second stage, that is, k3 = k3 is the maximal unramified pro-3-extension of k. Proof. (Proof of Corollary 4.3) According to the antitony principle, there cannot exist non-metabelian 3-groups G whose metabelianization G/G′′ is isomorphic to one of the 14 (2) (2) (∞) candidates for Gal(k3 /k) in Theorem 4.5. Therefore k3 = k3 . 4.4. Total capitulation. Due to the wealth of metabelian groups M of low orders #M 38 in the descendant tree of the root 729, 9 , we restrict ourselves to immediate descendants≤ h i of the root with action by S3. Proposition 4.4. A power commutator presentation of the finite metabelian 3-group 729, 9 h i in terms of the commutators s2 = [y, x], s3 = [s2, x], t3 = [s2,y] is given by (4.6) x,y,s ,s , t x9 =1, y3 =1 . h 2 3 3 | i Proof. Presentations of groups in the SmallGroups database are implemented in Magma [16]. The group is periodic of class 3 and coclass 3.
3 Theorem 4.6. For a pure metacyclic field k = Q(ζ3, √p) with p 1(mod9) having total capitulation κ(k) = (000;4) and abelian type invariants τ = [(9, 3≡, 3)3;(3, 3, 3, 3)], the (2) smallest possible Galois groups G2 of the second Hilbert 3-class field k3 are given by 729, 9 if τ (k) = [(3, 3, 3)3;(3, 3, 3, 3)], h i 2 2187, 123 if τ (k) = [(3, 3, 3, 3)3;(3, 3, 3, 3, 3)], h i 2 3 (2) 2187, 124 if τ2(k) = [(9, 3, 3) ;(3, 3, 3, 3, 3)], (4.7) Gal(k3 /k) h i 3 ≃ 6561, i if τ2(k) = [(3, 3, 3, 3) ;(3, 3, 3, 3, 3, 3)], h i 6561, 109 if τ (k) = [(3, 3, 3, 3)3;(9, 3, 3, 3, 3)], h i 2 3 6561, j if τ2(k) = [(9, 3, 3) ;(9, 3, 3, 3, 3)], h i with i 103, 105 and j 110, 111 . ∈{ } ∈{ } Corollary 4.4. For the fields k with total capitulation κ(k) = (000;4) in Theorem 4.6, (∞) the length of the 3-class field tower k3 is given by (1) ℓ3(k) 2, if G2 729, 9 , 2187, 124 , 6561, 109 , 6561, 110 , 6561, 111 , (2) ℓ (k) ≥ 3, if G ∈ {h2187, 123i h , 6561, 103i h , 6561, 105i h . i h i} 3 ≥ 2 ∈ {h i h i h i} Proof. (Proof of Theorem 4.6 and Corollary 4.4) Since the root 729, 9 has nuclear rank ν = 3, it has descendants of step sizes s 1, 2, 3 . The 37h childreni with s = 3 are of order 39 = 19683 and possess abelian quotient∈ { invariants} beyond the threshold τ [(9, 9, 3)3;(3, 3, 3, 3)]. Among the 15, resp. 61, children with s = 1, resp. s = 2, and order≥ 7 8 3 = 2187, resp. 3 = 6561, only the two, resp. five, mentioned possess an action by S3. Concerning the length of 3-class field towers, the groups G2 in item (1) of the corollary have relation ranks 4 d2 5, thus admitting a two-stage tower, whereas those in item (2) have 6 d 7, which≤ ≤ definitely excludes ℓ (k) = 2. ≤ 2 ≤ 3 18 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI
The following Figures 3, 4, 5, 6 and 7 illustrate the location in descendant trees of all metabelian groups M and certain non-metabelian groups G which occur in section § 4. 5. Computational results Table 1 has been computed with the aid of the computational algebra system MAGMA [16]. 3 For each of the 95 pure metacyclic fields k = Q(√p,ζ3) with prime radicands p 1(mod9) in the range 0 Figure 3. Finite 3-groups G with commutator quotient G/G′ C C ≃ 9 × 3 order h2i 3 ❛P 27 3 ✟✟ ❛PP ✟ a ❛❛PP ✟ 1 ❛❛PP ✟✟ ❛PP ✟ ❛❛PP ✟ ❛❛PP h3i ✟ ❛ P 4 ✟❞✟ ❛t PP❞ 81 3 ✟✟✄❈❍❍ ✟ ❍ h4i h6i ✟ ✄a❈ ❍ A ✟ 1 ❍ 1 ✟✟ ✄ ❈ ❍❍ ✟✟ ✄ ❈ ❍❍ E✟✟ HGA ✄ ❈ ❍ 243 35 ❞❞❞❞ ❞❞❞❞ ❍ ❞ h13i h15i h18i h19i ❈ ❍❍ h22i h14i h17i h16i h20i ❈ ❍❍ A b b b b ❈ ❍ 20 16 2 3 3 ❍ ❈ ❍❍ ❈❈ ❍❍ 729 36 ❞❞❞❞ t❞❞❞ ❞❞tttt❞❞❞ h65i h79i h9i h11i h16i h17i h18i h13i h15i h73i h84i h10i h12i h19i h20i h21i h14i ❄ ❄ ❄ ❄ ❄ ❄ ❄ ❄ ❄ ❄ ❄ ❄ ❄ ❄ ❄ b b a a b b c A B B E E e e d D D 15 15 1 1 15 31 27 20 7 7 12 12 14 14 10 11 11 Legend: ... abelian • ... metabelian with required κ, τ and action by S3 ◦ ... other metabelian 3-PRINCIPALIZATION OVER S3-FIELDS 19 Figure 4. Descendant tree of 729, 17 with stable κ = (123; 4), τ = [(27, 3)3;(9, 3, 3)] h i order h17i 729 36 ✦❛t ✦✦ ❛❛ ✦✦ ❛❛ ✦✦ ❛❛ ✦✦ ❛❛ h177i✦✦ h178i ❛❛ h179i 2 187 37 t◗ t❍ ❞ ✄❈ ✁❆ ◗❍ ✄ ❈ ✁ ❆ ◗❍❍ ◗❍ ✄ ❈ ✁ ❆ ◗❍ ✄ ❈ ✁ ❆ ◗❍❍ h1731i ✄ ❈ h1732i h1734i ✁ h1733i ❆ h1735i ❍ 6 561 8 t ❞ ❞ t ◗ ❍ 3 ◗ ❍ ✄❈ ✁❆ ◗ ❍ ✄ ❈ ✁ ❆ ◗ ❍ ◗ ❍❍ ✄ ❈ ✁ ❆ ◗ ❍ ✄ ❈ ✁ ❆ ◗ 1 ❍ 2 9 1✄❞ 2 ❞ 3❈ ❞ 1 ❞ 2✁t 3 t ❆ 4 ◗ ❍❍ 19 683 3 ✁❆ ✁ ❆ ✁ ❆ ✁ ❆ ✁ ❆ 59 049 310 1 1 1 1 1 1 2 3 Legend: • ... metabelian with action by S3 ... non-metabelian with action by S3 ◦ ... other metabelian ... other non-metabelian 177 147 311 ❄ Figure 5. Descendant tree of 729, 20 with stable κ = (132; 4), τ = [(27, 3)3;(9, 3, 3)] h i order h20i 729 36 ✦❛t ✦✦ ❛❛ ✦✦ ❛❛ ✦✦ ❛❛ ✦✦ ❛❛ h187i✦✦ h188i ❛❛ h189i 2 187 37 t◗ t❍ ❞ ✄❈ ✁❆ ◗❍ ✄ ❈ ✁ ❆ ◗❍❍ ✄ ❈ ✁ ❆ ◗❍❍ ◗ ❍ h1769i ✄ ❈ h1770i h1772i ✁ h1771i ❆ h1773i ◗ ❍ 8 t✄ ❈❞ ❞✁ t ❆ ◗ ❍ 6 561 3 ◗ ❍ ✄❈ ✁❆ ◗ ❍❍ ✄ ❈ ✁ ❆ ◗ ❍ ◗ ❍ ✄ ❈ ✁ ❆ ◗ ❍❍ ✄ ❈ ✁ ❆ ◗ 1 ❍ 2 9 1✄❞ 2 ❞ 3❈ ❞ 1 ❞ 2✁t 3 t ❆ 4 ◗ ❍❍ 19 683 3 ✁❆ ✁ ❆ ✁ ❆ ✁ ❆ ✁ ❆ 59 049 310 1 1 1 1 1 1 2 3 Legend: • ... metabelian with action by S3 ... non-metabelian with action by S3 ◦ ... other metabelian ... other non-metabelian 177 147 311 ❄ 20 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI Figure 6. Descendant tree of 729, 18 h i order h18i 6 ❞ 729 3 ✦✦❛❛ ✦✦ ❛❛ ✦✦ ❛❛ κ4 ✦ κ0 ❛ κ2 ✦✦ ❛❛ h180i ✦✦ h181i❛❛ h182i 2 187 37 t ❞◗❍ ❞ ✓✄❙❈ ✁❆❅◗❍ ✓ ✄ ❈ ❙ ✁ ❆❅◗❍❍ ✓ ✄ ❈ ❙ ✁ ❆ ❅◗❍❍ ◗ ❍ h1737ih1738✓ ih1739✄ i❈h1740❙i ✁ ❆ ❅ ◗ ❍ 8 t✓ t✄ ❈ t ❙❞ ❞ ❞✁ ❞❆ ❞ ❅ ◗ ❍ 6 561 3 ◗ ❍ ✄ ✄ ✄ h1743ih1742i h1741i h1744ih1745i ◗ ❍❍ ✄ ✄ ✄ κ4 κ4 κ0 κ1 κ0 ◗ ❍ ◗ ❍ ✄ ✄ ✄ ◗ ❍❍ ✄ ✄ ✄ ◗ ❍ 1✄ 2 1✄ 2 1 ✄ 2 ◗ ❍ 19 683 39 t❞ t ❞ t ❞ ✁✄ ✄❈ ❆❈ Legend: 3 2 1 4 τ = [(27, 3), (27, 3), (27, 3); (9, 9, 3)] ✁✄ ✄ ❈ ❈❆ κ4 κ4 κ0 κ1 ✁ ✄ ✄ ❈ ❈ ❆ κ0 = (132; 0) ✁ ✄ ✄ ❈ ❈ ❆ κ4 = (132; 4) 1✁2✄ 3 1✄ 2 3❈ 1 2❈ 3❆ κ1 = (132; 1) 59 049 10 ❞❞❞❞❞❞❞❞❞ 3 κ2 = (132; 2) • ... metabelian with κ4, τ and action by S3 ◦ ... other metabelian ... non-metabelian 177 147 311 111111111 ❄ Figure 7. Descendant tree of 729, 21 h i order h21i 6 ❞ 729 3 ✦✦❛❛ ✦✦ ❛❛ ✦✦ ❛❛ κ4 ✦ κ0 ❛ κ2 ✦✦ ❛❛ h190i ✦✦ h191i❛❛ h192i 2 187 37 t ❞◗❍ ❞ ✓✄❙❈ ✁❆❅◗❍❍ ✓ ✄ ❈ ❙ ✁ ❆❅◗❍ ◗❍ ✓ ✄ ❈ ❙ ✁ ❆ ❅ ◗❍❍ h1775ih1776✓ ih1777✄ i❈h1778❙i ✁ ❆ ❅ ◗ ❍ 8 t✓ t✄ ❈ t ❙❞ ❞ ❞✁ ❞❆ ❞ ❅ ◗ ❍ 6 561 3 ◗ ❍❍ ✄ ✄ ✄ h1781ih1780i h1779i h1782ih1783i ◗ ❍ ✄ ✄ ✄ κ4 κ4 κ0 κ1 κ0 ◗ ❍ ◗ ❍❍ ✄ ✄ ✄ ◗ ❍ ✄ ✄ ✄ ◗ ❍ 1✄ 2 1✄ 2 1 ✄ 2 ◗ ❍ 19 683 39 t❞ t ❞ t ❞ ✁✄ ✄❈ ❆❈ Legend: 3 2 1 4 ✁✄ ✄ ❈ ❈❆ τ = [(27, 3), (27, 3), (27, 3); (9, 9, 3)] κ4 κ4 κ0 κ1 ✁ ✄ ✄ ❈ ❈ ❆ κ0 = (123; 0) ✁ ✄ ✄ ❈ ❈ ❆ κ4 = (123; 4) 1✁2✄ 3 1✄ 2 3❈ 1 2❈ 3❆ κ1 = (123; 1) 59 049 10 ❞❞❞❞❞❞❞❞❞ 3 κ2 = (123; 2) • ... metabelian with κ4, τ and action by S3 ◦ ... other metabelian ... non-metabelian 177 147 311 111111111 ❄ 3-PRINCIPALIZATION OVER S3-FIELDS 21 The following distribution of capitulation types κ arises in Table 1: (1) 61 (64%) with κ = (444; 4) (distinguished capitulation), (2) 14 (15%) with κ = (123; 4), τ = [(27, 3), (27, 3), (27, 3);(9, 3, 3)] (1st variant), (3) 14 (15%) with κ = (123;4 ), τ = [(27, 3), (27, 3), (27, 3);(9, 9, 3)] (2nd variant), (4) 6 (6%) with κ = (000; 4) (total∗ capitulation). 3 Table 1. Capitulation types κ of k= Q(√p,ζ3) in the range p< 20 000 No. p κ No. p κ No. p κ No. p κ 1 199 4444 25 4951 4444 49 9829 4444 73 14293 4444 2 271 4444 26 5059 4444 50 10243 4444 74 14419 4444 3 487 4444 27 5077 1234 51 10459 0004 75 14563 4444 ∗ 4 523 4444 28 5347 4444 52 10531 1234 76 14779 4444 ∗ 5 1297 1234 29 5437 1234 53 10657 4444 77 14923 4444 ∗ 6 1621 4444 30 5527 1234 54 10837 0004 78 15121 0004 ∗ 7 1693 4444 31 5851 4444 55 10909 4444 79 15319 4444 8 1747 1234 32 6067 4444 56 11251 4444 80 15427 4444 9 1999 4444 33 6247 4444 57 11287 4444 81 16381 1234 ∗ 10 2017 4444 34 6481 1234 58 11467 4444 82 16417 4444 11 2143 1234 35 6949 4444 59 11503 4444 83 16633 4444 ∗ 12 2377 4444 36 7219 0004 60 11593 4444 84 16993 1234 ∗ 13 2467 1234 37 7507 1234 61 11701 4444 85 17137 1234 ∗ 14 2593 1234 38 7687 4444 62 11719 4444 86 17209 1234 ∗ 15 2917 4444 39 8011 1234 63 12097 4444 87 17497 1234 ∗ 16 3511 4444 40 8209 4444 64 12511 1234 88 17569 4444 17 3673 4444 41 8677 1234 65 12637 4444 89 18379 0004 18 3727 4444 42 8821 4444 66 12853 4444 90 18451 1234 19 3907 4444 43 9001 4444 67 12907 0004 91 18523 4444 20 4159 4444 44 9109 4444 68 13159 4444 92 18541 4444 21 4519 1234 45 9343 1234 69 13177 4444 93 19387 1234 ∗ 22 4591 4444 46 9613 1234 70 13339 4444 94 19441 1234 ∗ ∗ 23 4789 1234 47 9631 4444 71 13411 4444 95 19927 1234 ∗ 24 4933 4444 48 9721 4444 72 13807 1234 6. Acknowledgements The third author gratefully acknowledges financial research subventions by the Austrian Science Fund (FWF): projects J0497-PHY and P26008-N25. 22 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI References 3 [1] S. Aouissi, M. C. Ismaili, M. Talbi and A. Azizi, Fields Q(√d, ζ3) whose 3-class group is of type (9, 3), International Journal of Number Theory, Vol. 15, No. 7 (2019), pp. 1437-1447. [2] S. Aouissi, M. C. Ismaili, M. Talbi and A. Azizi, The generators of the 3-class group of some fields of degree 6 over Q, Boletim Da Sociedade Paranaense de Matem´atica Journal, Vol. 39, No. 3 (2021), pp. 37-52. [3] S. Aouissi, D. C. Mayer, M. C. Ismaili, M. Talbi and A. Azizi, 3-rank of ambiguous class groups in cubic Kummer extensions, Period. Math. Hung. Vol 81 (2020), 250–274. [4] A. Ayadi, Capitulation des 3-classes d’id´eaux d’un corps cubique cyclique, Th`ese de doctorat, Univ. Laval. Qu´ebec., 1994. [5] A. Azizi, Capitulation des 2-classes d’id´eaux de Q(√d,i), Th`ese, Univ. Laval. Qu´ebec., 1993. [6] F. Calegari and M. Emerton, On the ramification of Hecke algebras at Eisenstein primes, Invent. Math. 160 (2005), 97–144. [7] Ph. Furtw¨angler, Beweis des Hauptidealsatzes f¨ur Klassenk¨orper algebraischer Zahlk¨orper, Abh. Math. Sem. Univ. Hamburg 7 (1930), 36–40. [8] F. Gerth III, On 3-class groups of cyclic cubic extensions of certain number fields, J. Number Theory 8 (1976), No. 1, 84–98. [9] F. Gerth III, On 3-class groups of pure cubic fields, J. Reine Angew. Math. 278/279 (1975), 52–62. [10] F. Gerth III, On 3-class groups of certain pure cubic fields, Bull. Austral. Math. Soc. 72 (2005), 471–476. [11] G. Gras, Sur les ℓ-classes d’id´eaux des extensions non galoisiennes de Q de degr´epremier impair ℓ a clˆoture galoisienne di´edrale de degr´e2ℓ, J. Math. Soc. Japan 26 (1974), 677–685. [12] D. Hilbert, Uber¨ die Theorie der relativ-Abelschen Zahlk¨orper, Acta. Math. 26 (1902), 99–132. [13] K. Ireland and M. Rosen, A Classical Introduction to Modern Number Theory, Graduate Texts in Math. 84, Springer-Verlag, New York, 1982. [14] M. C. Ismaili, Sur la capitulation des 3-classes d’id´eaux de la clˆoture normale d’un corps cubique pur, Th`ese de doctorat, Univ. Laval, Qu´ebec, 1992. [15] H. Kisilevesky, Number fields with class number congruent to 4 modulo 8 and Hilbert’s theorem 94, J. Number Theory 8 (1976), 271–279. [16] MAGMA Developer Group, MAGMA Computational Algebra System, Version 2.25-9, Sydney, 2021, http://magma.maths.usyd.edu.au. [17] D. C. Mayer, Metabelian 3-groups with abelianisation of type (3, 9), preprint, https://www.academia.edu/2757067. [18] D. C. Mayer, New number fields with known p-class tower, Tatra Mt. Math. Pub., 64 (2015), 21–57, DOI 10.1515/tmmp-2015-0040, Special Issue on Number Theory and Cryptology ‘15. [19] D. C. Mayer, Pattern recognition via Artin transfers applied to class field towers, 3rd International Conference on Mathematics and its Applications (ICMA) 2020, Facult´edes Sciences d’ Ain Chock Casablanca (FSAC), Universit´eHassan II, Casablanca, Morocco, invited keynote February 28, 2020, http://www.algebra.at/[email protected]. [20] K. Miyake, Algebraic investigations of Hilbert’s theorem 94, The principal ideal theorem and capit- ulation problem, Expo. Math. 7 (1989), 289–346. [21] H. Suzuki, A generalisation of Hilbert’s theorem 94, Nagoya Math. J, 121 (1991). [22] H. Suzuki, About the capitulation problem, C. F. T. Wasseda University, Japan (1998). [23] O. Taussky, A remark concerning Hilbert’s Theorem 94, J. Reine Angew. Math. 239/240 (1970), 435–438. [24] F. Terada, A principal ideal theorem in the genus field, Tohoku Math. J., Second Serie. 23 (1971), 697–718. 3-PRINCIPALIZATION OVER S3-FIELDS 23 Siham AOUISSI Ecole´ Normale Sup´erieure, Department of Sciences, Algebraic Theory and Application Research Group (ATA), Moulay Ismail University, B.P. 3104, Toulal, Mekn`es - Morocco, [email protected]. Mohamed TALBI Regional Center of Professions of Education and Training, 60000 Oujda - Morocco, [email protected]. Daniel C. MAYER Naglergasse 53, 8010 Graz - Austria, [email protected]. Moulay Chrif ISMAILI Department of Mathematics, Mohammed First University, 60000 Oujda - Morocco, [email protected].