Next Article in Journal
On Another Type of Convergence for Intuitionistic Fuzzy Observables
Previous Article in Journal
Paradoxes of Competition in Periodic Environments: Delta Functions in Ecological Models
Previous Article in Special Issue
Algebraic, Analytic, and Computational Number Theory and Its Applications
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Group Theoretic Approach to Cyclic Cubic Fields

1
Algebraic Theories and Applications Research Team (ATA), Ecole Normale Supèrieure of Moulay Ismail University (ENS-UMI), ENS, Toulal, Meknès B.P. 3104, Morocco
2
Independent Researcher, Naglergasse 53, 8010 Graz, Austria
*
Author to whom correspondence should be addressed.
Submission received: 11 October 2023 / Accepted: 22 December 2023 / Published: 29 December 2023

Abstract

:
Let ( k μ ) μ = 1 4 be a quartet of cyclic cubic number fields sharing a common conductor c = p q r divisible by exactly three prime(power)s, p , q , r . For those components of the quartet whose 3-class group Cl 3 ( k μ ) ( Z / 3 Z ) 2 is elementary bicyclic, the automorphism group M = Gal ( F 3 2 ( k μ ) / k μ ) of the maximal metabelian unramified 3-extension of k μ is determined by conditions for cubic residue symbols between p , q , r and for ambiguous principal ideals in subfields of the common absolute 3-genus field k * of all k μ . With the aid of the relation rank d 2 ( M ) , it is decided whether M coincides with the Galois group G = Gal ( F 3 ( k μ ) / k μ ) of the maximal unramified pro-3-extension of k μ .

1. Introduction

Let k be a cyclic cubic number field, that is, an abelian extension of the rational number field Q with degree [ k : Q ] = 3 and some positive integer conductor c > 1 (see Section 2.1). In 1973, Georges Gras [1] determined the rank ϱ = ϱ ( k ) of the 3-class group Cl 3 ( k ) in dependence on the number t of prime(power) divisors q 1 , , q t of c and on the cubic residue symbols q i q j 3 for i j . For mutual cubic residues, q i q j 3 = q j q i 3 = 1 , we write q i q j , otherwise q i q j .
It turned out that ϱ = 0 for t = 1 , and ϱ = 1 if t = 2 and q 1 q 2 . So, in the former case, the maximal unramified pro-3-extension F 3 ( k ) of k is the base field k itself, and in the latter case, it is the Hilbert 3-class field F 3 1 ( k ) of k, in fact, [ F 3 1 ( k ) : k ] = 3 , since ϱ = 1 iff Cl 3 ( k ) Z / 3 Z is elementary cyclic. If t = 2 and q 1 q 2 , then ϱ = 2 , Cl 3 ( k ) is bicyclic, but may be non-elementary (singular).
In 1995, Ayadi [2] proved that there are only two possibilities for the Galois group G = Gal ( F 3 ( k ) / k ) of the 3-class field tower of k with length 3 ( k ) , when t = 2 , q 1 q 2 , and Cl 3 ( k ) ( Z / 3 Z ) 2 is elementary bicyclic (regular), namely, in the notation of [3], either G SmallGroup ( 9 , 2 ) ( Z / 3 Z ) 2 is abelian or G SmallGroup ( 27 , 4 ) is the extra special 3-group with exponent 9.
The impact of t and q 1 , , q t on the tower group G and its metabelianization M = G / G , i.e., the group M = Gal ( F 3 2 ( k ) / k ) of the second Hilbert 3-class field F 3 2 ( k ) of k, is shown in Table 1.
However, according to Gras [1], ϱ = 2 is also possible for t = 3 , and according to Ayadi [2], ϱ = 2 iff Cl 3 ( k ) ( Z / 3 Z ) 2 is elementary bicyclic, when t = 3 .
For this situation, t = 3 , c = p q r , ϱ = 2 , Cl 3 ( k ) ( Z / 3 Z ) 2 , the present article identifies the Galois group M = Gal ( F 3 2 ( k ) / k ) in dependence on the cubic residue symbols between p , q , r . The crucial techniques are based on the lucky coincidence that the four unramified cyclic extensions of degree [ E i : k ] = 3 , 1 i 4 , can always be found among the 13 bicyclic bicubic subfields B 1 , , B 13 of the absolute 3-genus-field k * of k, for which Parry [4] has established a useful class number relation and a structure theory of the unit group. With the aid of the relation rank d 2 ( M ) 4 or d 2 ( M ) 5 , it is decided whether M coincides with the tower group G or not.
The examination of cyclic cubic fields k with ϱ = 3 and elementary tricyclic Cl 3 ( k ) ( Z / 3 Z ) 3 is reserved for a future paper, since among the 13 unramified cyclic extensions of degree [ E i : k ] = 3 , 1 i 13 , only 4 are bicyclic bicubic, and the remaining 9 E i arise in three triplets of pairwise isomorphic non-Galois nonic fields. Similarly, non-elementary Cl 3 ( k ) for t = 2 and p q is reserved for future investigations.
The present work illuminates Ayadi’s doctoral thesis [2] from the perspective of group theory, and completely clarifies the question mark “?” for the group M in the last row of Table 1, partially also the “?” for the group G , provided that Cl 3 ( k ) ( Z / 3 Z ) 2 is elementary bicyclic.

2. Construction of Cyclic Fields of Odd Prime Degree

2.1. Multiplicity of Conductors and Discriminants

For a fixed odd prime number 3 , let k be a cyclic number field of degree , that is, k / Q is a Galois extension of degree [ k : Q ] = with absolute automorphism group Gal ( k / Q ) = σ σ = 1 . According to the Theorem of Kronecker, Weber and Hilbert on abelian extensions of the rational number field Q , the conductor c of k is the smallest positive integer such that k = k c is contained in the cyclotomic field K = Q ( ζ c ) , where ζ c = exp ( 2 π 1 / c ) denotes a primitive c-th root of unity, more precisely, in the -ray class field moduloc of Q , denoted by F , c ( Q ) , which lies in the maximal real subfield K + = Q ( ζ c + ζ c 1 ) of K = Q ( ζ c ) .
Theorem 1.
The  conductor   of a cyclic field of odd prime degree ℓ has the shape c = e · q 1 q τ , where e { 0 , 2 } and the q i are pairwise distinct prime numbers q i + 1 ( mod ) , for 1 i τ . The  discriminant   of k = k c is the perfect ( 1 ) -th power d k = c 1 , and the number of rational primes which are (totally) ramified in k is given by
t : = τ if e = 0 ( is unramified in k ) , τ + 1 if e = 2 ( is ramified in k ) .
In the last case, we formally put q τ + 1 : = 2 . The number of non-isomorphic cyclic number fields k c , 1 , , k c , m of degree ℓ, sharing the common conductor c, is given by the  multiplicity formula
m = m ( c ) = ( 1 ) t 1 .
Proof. 
See [5] (p. 831). □

2.2. Construction as Ray Class Fields

For the construction of all cyclic number fields k = k c of degree with ascending conductors b c B between an assigned lower bound b and upper bound B by means of the computational algebra system Magma [6], the class field theoretic routines by Fieker [7] can be used without the need to prepare a list of suitable generating polynomials of the -th degree. The big advantage of this technique is that the cyclic number fields of degree are produced as a multiplet  ( k c , 1 , , k c , m ) of pairwise non-isomorphic fields sharing the common conductor c with multiplicity  m { 1 , 1 , ( 1 ) 2 , ( 1 ) 3 , } in dependence on the number t { 1 , 2 , 3 , 4 , } of primes dividing the conductor c, according to Formula (2). Our algorithms for the construction, and statistics of -class groups, have been presented in [8] (Alg. 1–3, pp. 4–7, Tbl. 1.1–1.6, pp. 7–11). From now on, let = 3 for the remainder of this article.

3. Arithmetic of Cyclic Cubic Fields

Generally, t denotes the number of prime divisors of the conductor c of a cyclic cubic number field k, and ϱ ( k ) = ϱ 3 ( k ) denotes the rank dim F 3 ( Cl 3 ( k ) / Cl 3 ( k ) 3 ) of the 3-class group Cl 3 ( k ) = Syl 3 Cl ( k ) . In formulas concerning principal factors (Section 3.2), the prime power conductor 3 2 must be replaced by 3.

3.1. Rank of 3-Class Groups

Since the rank ϱ 3 ( k ) of the 3-class group Cl 3 ( k ) of a cyclic cubic field k depends on the mutual cubic residue conditions between the prime(power) divisors q 1 , , q t of the conductor c, Gras [1] (pp. 21–22) has introduced directed graphs with t vertices q 1 , , q t whose directed edges q i q j describe values of cubic residue symbols. We use a simplified notation of these graphs, fitting in a single line, but occasionally requiring the repetition of a vertex.
Definition 1.
Let ζ 3 be a fixed primitive third root of unity. For each pair ( q i , q j ) with 1 i j t , the value of the cubic residue symbol q i q j 3 = ζ 3 a i j is determined uniquely by the integer a i j { 1 , 0 , 1 } . Let a directed edge q i q j be defined if and only if q i q j 3 = 1 , that is, q i is a cubic residue modulo q j (and thus, a i j = 0 ). The  combined cubic residue symbol   [ q 1 , , q t ] 3 : =
q i q j | i j , q i q j 3 = 1 q i | ( j i ) q i q j 3 1 , q j q i 3 1
where the subscripts i and j run from 1 to t is defined as the union of the set of all directed edges that occur in the graph associated with q 1 , , q t in the sense of Gras, and the set of all isolated vertices. For t = 3 , we additionally need the invariant δ : = a 12 a 23 a 31 a 13 a 32 a 21 in order to distinguish two subcases of the case with three isolated vertices.
Theorem 2
(Rank Distribution, G. Gras, 1973, [1] (Prop. VI.5, pp. 21–22)). Let k be a cyclic cubic field of conductor c = q 1 q t with 1 t 3 . We indicate mutual cubic residues simply by writing q 1 q 2 instead of q 1 q 2 q 1 .
  • If t = 1 , then m = 1 , k forms a singlet, [ q 1 ] 3 = { q 1 } , and ϱ ( k ) = 0 .
  • If t = 2 , then m = 2 , k is member of a doublet ( k 1 , k 2 ) , and there arise two possibilities.
    1.
    ( ϱ ( k 1 ) , ϱ ( k 2 ) ) = ( 1 , 1 ) , if
    [ q 1 , q 2 ] 3 = { q 1 , q 2 } , Graph 1 , or { q i q j } , Graph 2 , with i j .
    2.
    ( ϱ ( k 1 ) , ϱ ( k 2 ) ) = ( 2 , 2 ) , if
    [ q 1 , q 2 ] 3 = { q 1 q 2 } , Graph 3 .
  • If t = 3 , then m = 4 , k is member of a quartet ( k 1 , , k 4 ) , and there arise five cases.
    1.
    ( ϱ ( k 1 ) , , ϱ ( k 4 ) ) = ( 2 , 2 , 2 , 2 ) , called  Category  III , if
    [ q 1 , q 2 , q 3 ] 3 = { q 1 , q 2 , q 3 ; δ 0 ( mod 3 ) } , Graph 1 , or { q i q j ; q l } , Graph 2 , or { q i q j q l } , Graph 3 , or { q i q j q l q i } , Graph 4 , or { q i q j ; q l } , Graph 5 , or { q i q j q l } , Graph 6 , or { q i q j q l } , Graph 7 , or { q l q i q j q l } , Graph 8 , or { q l q i q j q l } , Graph 9
    with i , j , l pairwise distinct.
    2.
    ( ϱ ( k 1 ) , , ϱ ( k 4 ) ) = ( 3 , 2 , 2 , 2 ) , called  Category  I , if
    [ q 1 , q 2 , q 3 ] 3 = { q 1 , q 2 , q 3 ; δ 0 ( mod 3 ) } , Graph 1 , or { q i q j q l } , Graph 2
    with i , j , l pairwise distinct.
    3.
    ( ϱ ( k 1 ) , , ϱ ( k 4 ) ) = ( 3 , 3 , 2 , 2 ) , called  Category  II , if
    [ q 1 , q 2 , q 3 ] 3 = { q i q j q l } , Graph 1 , or { q i q j q l q i } , Graph 2
    with i , j , l pairwise distinct.
    4.
    ( ϱ ( k 1 ) , , ϱ ( k 4 ) ) = ( 3 , 3 , 3 , 3 ) , called  Category  IV , if
    [ q 1 , q 2 , q 3 ] 3 = { q i q j q l q i } , Graph 1 , or { q i q j q l } , Graph 2 , or { q i q j q l q i } , Graph 3
    with i , j , l pairwise distinct.
    5.
    ( ϱ ( k 1 ) , , ϱ ( k 4 ) ) = ( 4 , 4 , 4 , 4 ) , called  Category  V , if
    [ q 1 , q 2 , q 3 ] 3 = { q 1 q 2 q 3 q 1 } .
Proof. 
See [1] (Prp. VI.5, pp. 21–22). Multiplicities m { 1 , 2 , 4 } are taken from Theorem 1. □
Remark 1.
Ayadi introduced categories in [2] (pp. 45–47). He investigated the cases t = 2 , Formula (5); and t = 3 , Formulas (6)–(8), in Theorem 2. For t = 3 , he denoted the nine subcases of Formula (6) by Graph 1,2,3,4,5,6,7,8,9 of Category III, the two subcases of Formula (7) by Graph 1,2 of Category I, and the two subcases of Formula (8) by Graph 1,2 of Category II. For Categories I and II, Ayadi did  not   study the fields with 3-class rank ϱ 3 ( k μ ) = 3 , 1 μ 4 . Our algorithms for the classification by categories and graphs, and their statistics, have been presented in [8] (Alg. 4–5, Tbl. 2.1, pp. 15–19).
For t = 3 , we also write briefly p = q 1 , q = q 2 and r = q 3 for the prime(power)s dividing the conductor c = p q r .
  • Graph 1 of Category I with symbol [ p , q , r ] 3 = { p , q , r ; δ 0 ( mod 3 ) } and
  • Graph 1 of Category III with symbol [ p , q , r ] 3 = { p , q , r ; δ 0 ( mod 3 ) } are the only two situations without any trivial cubic residue conditions between p , q , r .
  • We show the impact of the δ -invariant.
Lemma 1.
Consider three cubic residue symbols for products of two primes, q r p 3 , p r q 3 , p q r 3 with respect to triviality, i.e., being equal to 1.
If δ 0 , then zero or two of the symbols are trivial.
If δ 0 , then one or three of the symbols are trivial.
Proof. 
For each of the two triplets ( a 12 , a 23 , a 31 ) and ( a 32 , a 13 , a 21 ) of exponents in Definition 1, there are 2 3 = 8 combinatorial possibilities. The product of the components is + 1 if zero or two components are negative, and it is 1 if one or three components are negative.
For Graph I . 1 with δ 0 , triplets with equal product must be combined. Consequently, for each choice of a fixed first triplet, one of the four admissible second triplets (namely ( a 32 , a 13 , a 21 ) = ( a 12 , a 23 , a 31 ) ) produces no trivial symbol, and three of the second triplets produce two trivial symbols each.
For Graph III . 1 with δ 0 , triplets with distinct products must be combined. Consequently, for each choice of a fixed first triplet, one of the four admissible second triplets (namely ( a 32 , a 13 , a 21 ) = ( a 12 , a 23 , a 31 ) ) produces three trivial symbols, and three of the second triplets produce a single trivial symbol each. □

3.2. Ambiguous Principal Ideals

The number of primitive ambiguous ideals of a cyclic cubic field k, which are invariant under Gal ( k / Q ) = σ , increases with the number t of prime factors of the conductor c. According to Hilbert’s Theorem 93, the number is given by
# I k σ / I Q = 3 t .
However, the number of primitive ambiguous principal ideals of k is a fixed invariant of all cyclic cubic fields, regardless of the number t.
Theorem 3.
The number of ambiguous principal ideals of any cyclic cubic field k is given by
# P k σ / P Q = 3 .
Proof. 
The well-known theorem on the Herbrand quotient of the unit group U k of k as a Galois module over the group Gal ( k / Q ) = σ , which can be expressed by abstract cohomology groups # H 1 ( σ , U k ) / # H ^ 0 ( σ , U k ) = [ k : Q ] , can also be stated more ostensively as # P k σ / P Q = # E k / Q / U k 1 σ = [ k : Q ] · # U Q / N k / Q ( U k ) = 3 , since the unit norm index is given by U Q : N k / Q ( U k ) = 1 . Here, E k / Q = { ε U k N k / Q ( ε ) = 1 } are the relative units. □
Consequently, if we speak about a non-trivial primitive ambiguous principal ideal of k, then we either mean ( α ) = α O k or ( α 2 / b ) = ( α 2 / b ) O k , where P k σ / P Q = { 1 , ( α ) , ( α 2 / b ) } . The norms of these two elements are divisors of the square c 2 = q 1 2 q t 2 of the conductor c of k, where q t must be replaced by 3 if q t = 9 . When N k / Q ( α ) = a · b 2 with square-free coprime integers a , b , then N k / Q ( α 2 / b ) = a 2 · b 4 / b 3 = a 2 · b . It follows that both norms are cube-free integers.
Definition 2.
The minimum of the two norms of non-trivial primitive ambiguous principal ideals ( α ) , ( α 2 / b ) of a cyclic cubic field k is called the  principal factor   (of the discriminant d k = c 2 ) of the field k, denoted by A ( k ) : = min { a · b 2 , a 2 · b } , that is,
A ( k ) = a · b 2 if b < a , a 2 · b if a < b .
Ayadi [2,9] (Rem. 2.6, p. 18) speaks about the Parry constant or Parry invariant  A ( k ) of k, and Derhem [10] calls A ( k ) = N k / Q ( R ) with R = 1 + ε + ε 1 + σ , ε = R 1 σ , the Kummer resolvent of k, when U k = 1 , ε , ε σ as a σ -module is generated by 1 and the fundamental unit ε . However, the concept of principal factors has been coined much earlier by Barrucand and Cohn [11]. Our algorithm for the determination of principal factors has been presented in [8] (Alg. 6, pp. 20–21).
Theorem 4
(Principal factor criterion, Ayadi, 1995, [2] (Thm. 3.3, p. 37)). Let c be a conductor divisible by two primes, t = 2 , such that Cl 3 ( k c , μ ) ( 3 , 3 ) for both cyclic cubic fields k c , μ , 1 μ 2 , with conductor c. Denote by P the number of prime divisors of the norm A ( k ) = N k / Q ( α ) of a non-trivial primitive ambiguous principal ideal ( α ) , i.e., a principal factor, of any of the two fields k = k c , μ . Then, P { 1 , 2 } , and the second 3-class group M = Gal ( F 3 2 ( k ) / k ) of both fields k = k c , μ is given by
M 9 , 2 with capitulation type a . 1 , ϰ ( k ) = ( 0000 ) , if P = 2 , 27 , 4 with capitulation type A . 1 , ϰ ( k ) = ( 1111 ) , if P = 1 .
The length of the Hilbert 3-class field tower is 3 ( k ) = 1 with F 3 ( k ) = F 3 1 ( k ) if P = 2 , and 3 ( k ) = 2 with F 3 ( k ) = F 3 2 ( k ) if P = 1 . In both cases, G = Gal ( F 3 ( k ) / k ) = M .
Proof. 
See [2] (Prp. 3.6, p. 32, Thm. 3.1, p. 34, Thm. 3.3, p. 37) and [8] (pp. 31–33). □
The first example c = 19 · 1129 = 21451 for M 27 , 4 is due to Scholz and Taussky [12] (pp. 209–210). It was misprinted as 19 · 1429 = 27151 in [13] (p. 383). Systematic tables are presented at http://www.algebra.at/ResearchFrontier2013ThreeByThree.htm (accessed on 10 October 2023) in Sections 1.1 and 1.2.
Concerning the 3-capitulation types a . 1 and A . 1 , viewed as transfer kernel types (TKT), and the related concept of transfer target types (TTT), i.e., abelian-type invariants (ATI), see [14].

4. Unramified Extensions of Cyclic Cubic Fields

In this crucial section, we first introduce the absolute 3-genus field k * (Section 4.1) of a cyclic cubic number field k. Then we show that the bicyclic bicubic subfields B < k * constitute unramified cyclic cubic relative extensions B / k of a cyclic cubic number field k with t = 3 . Finally, using the unramified cyclic cubic relative extensions E / k as capitulation targets (Section 4.3), we define the capitulation kernels (Section 4.2) of a cyclic cubic number field k with the non-trivial 3-class group Cl 3 ( k ) .

4.1. The Absolute 3-Genus Field

The absolute 3-genus field  k * = ( k / Q ) * of a cyclic cubic field k is the maximal unramified 3-extension k * / k with the abelian absolute Galois group Gal ( k * / Q ) . If the conductor c = q 1 q t of k = k c has t prime divisors, then k * is the compositum of the multiplet ( k c , 1 , , k c , m ) of all cyclic cubic fields sharing the common conductor c, where m = m ( c ) = 2 t 1 , according to the multiplicity Formula (2). The absolute Galois group Gal ( k * / Q ) is the elementary abelian 3-group ( Z / 3 Z ) t . In particular, if t = 1 , c = q 1 , then k * = k is the cyclic cubic field itself, and if t = 2 , c = q 1 q 2 , then k * = k c , 1 · k c , 2 is a bicyclic bicubic field with conductor c and discriminant
d ( k * ) = d ( k q 1 ) · d ( k q 2 ) · d ( k c , 1 ) · d ( k c , 2 ) = q 1 2 · q 2 2 · ( q 1 q 2 ) 2 · ( q 1 q 2 ) 2 = c 6 .
In 1990, Parry [4] investigated the arithmetic of a general bicyclic bicubic field  B / Q with conductor c = q 1 q t , t 2 , and four cyclic cubic subfields k 1 , , k 4 . In particular, he determined the class number relation in terms of the index I of subfield units of B.
Theorem 5.
Let M : = ( e i , j ) be the ( 4 × t ) -matrix of   integer exponents in the following representation of The  principal factors  A ( k i ) = j = 1 t q j e i , j , for 1 i 4 . Then:
1.
The Galois group Gal ( B / Q ) ( 3 , 3 ) is elementary bicyclic.
2.
The index I : = ( U : V ) of the subgroup V : = U 1 , , U 4 generated by the unit groups U i : = U k i , 1 i 4 , in the unit group U : = U B is bounded by I = 3 e , 0 e 3 .
3.
The  class number   of B satisfies the following  relation:
h ( B ) = I 3 5 · i = 1 4 h ( k i ) = ( U : V ) 243 · h ( k 1 ) · h ( k 2 ) · h ( k 3 ) · h ( k 4 ) ,
where I denotes the abovementioned  index of subfield units   of B.
4.
3 h ( B ) if and only if c = p q , i.e., t = 2 , and p q are  not   mutual cubic residues, i.e., the graph of p , q is either Graph 1 or Graph 2. If 3 h ( B ) , then I = 27 .
5.
In dependence on the rank 2 r M : = rank ( M ) 4 of the matrix M, the  index  I takes the following values:
I = ( U : V ) = 1 if r M = 4 , 3 if r M = 3 , 9 or 27 if r M = 2 .
Proof. 
For the class number relation, see Parry [4] (Prp. 7, p. 496, Thm. 9, p. 497). Generally, the index of subfield units, I, is a divisor of 27 = 3 3 [4] (Lem. 11, p. 500, Thm. 13, p. 501). See also Ayadi [2] (Prop. 2.7.(2) and Prop. 2.8, p. 20). Note that p q implies i = 1 4 h ( k i ) = 9 . □
Corollary 1.
Let t = 3 and B be a bicyclic bicubic field with conductor c = p q r such that there are  no mutual cubic residues   among p , q , r . Then:
1.
For all 1 j 4 , h 3 ( B j ) = ( U j : V j ) 3 2 h 3 ( k j ) .
2.
For all 5 j 10 , h 3 ( B j ) = ( U j : V j ) 3 4 h 3 ( k i ) h 3 ( k ) , where 1 i , 4 , i , and k i , k are the two components of the quartet which are contained in B j .
Proof. 
By (22), the first statement is valid, since h 3 ( k ) = 3 for the six subfields k with t = 2 . By (23), the second statement holds, since h 3 ( k ) = 1 for the three subfields k with t = 1 . □
For a cyclic cubic field k with t = 2 , c = p q , the 3-class numbers of the 3-genus field k * , which is bicyclic bicubic, and of its four cyclic cubic subfields can be summarized as follows.
Theorem 6.
Let k * = k p · k q · k c , 1 · k c , 2 be the genus field of the two cyclic cubic fields k c , 1 and k c , 2 with conductor c = p q . Denote the 3-valuations of the class numbers h * , h 1 , h 2 , h 3 , h 4 of k * , k p , k q , k c , 1 , k c , 2 , respectively, by v * , v 1 , v 2 , v 3 , v 4 . Then, v 1 = v 2 = 0 , and
v * = 0 , v 3 = v 4 = 1 , I = 27 , if p q , = 1 , if p q , v 3 = v 4 = 2 , I = 9 , = 2 , if p q , v 3 = v 4 = 2 , I = 27 , 3 , if p q , v 3 3 , v 4 3 , I 9 .
Proof. 
According to Theorem 2, we generally have v 1 = v 2 = 0 , v 3 1 , v 4 1 if p q , and v 3 2 , v 4 2 if p q . Now, the claim is a consequence of Formula (16), which yields
v * = v 3 ( h * ) = v 3 ( I ) 5 + i = 1 4 v 3 ( h i ) = v 3 ( I ) 5 + v 1 + v 2 + v 3 + v 4 = v 3 ( I ) 5 + v 3 + v 4 .
The combination of [4] (Thm. 9, p. 497 and Cor. 1, p. 498) shows that v * = 0 if and only if p q , and v * = 0 implies v 3 ( I ) = 3 , whence necessarily v 3 = v 4 = 1 . However, if p q , then v 3 = 2 is equivalent with v 4 = 2 , according to [9] (Thm. 4.1, p. 472). □
Remark 2.
For v 3 = v 4 = 2 , we have Cl 3 ( k p q , μ ) ( 3 , 3 ) . The smallest occurrences of v 3 = v 4 = 3 are the conductors 7 · 673 = 4711 (“Eau de Cologne”,  singular  with Cl 3 ( k * ) ( 3 , 3 , 3 ) ) and 7 · 769 = 5383 (super-singular   with Cl 3 ( k * ) ( 9 , 3 , 3 ) ) both with Cl 3 ( k p q , μ ) ( 9 , 3 ) , for μ { 1 , 2 } .
For a cyclic cubic field k with t = 3 and conductor c = q 1 q 2 q 3 , the 3-genus field k * contains 13 bicyclic bicubic subfields. Three of them are the sub-genus fields  B i : = ( k f i 10 ) * , 11 i 13 , of the cyclic cubic fields with conductors f 1 = q 1 q 2 , f 2 = q 1 q 3 , f 3 = q 2 q 3 , respectively. In the numerical tables of [8], we always start with the leading three sub-genus fields B i , 11 i 13 , separated by a semicolon from the trailing ten remaining bicyclic bicubic subfields, when we give a family of invariants for these 13 subfields B 1 , , B 13 ,
in particular , Cl 3 B i 1 i 13 : = [ Cl 3 ( B 11 ) , , Cl 3 ( B 13 ) ; Cl 3 ( B 1 ) , , Cl 3 ( B 10 ) ] .

4.2. Capitulation Kernels

We recall the connection between the size of the capitulation kernel ker ( T E / k ) and the unit norm index ( U k : N E / k ( U E ) ) of an unramified cyclic cubic extension E / k of a cyclic cubic field k. Here, T E / k : Cl 3 ( k ) Cl 3 ( E ) , a P k ( a O E ) P E , denotes the extension homomorphism or transfer of 3-classes from k to E.
Theorem 7.
The order of the 3-capitulation kernel or  transfer kernel   of E / k is given by
# ker ( T E / k ) = 3 , 9 , 27 , if and only if ( U k : N E / k ( U E ) ) = 1 , 3 , 9 .
Proof. 
According to the Herbrand Theorem on the cohomology of the unit group U E as a Galois module with respect to G = Gal ( E / k ) , we have the relation # ker ( T E / k ) = [ E : k ] · ( U k : N E / k ( U E ) ) , since ker ( T E / k ) H 1 ( G , U E ) when E / k is unramified of odd prime degree [ E : k ] = 3 and U k / N E / k ( U E ) H ^ 0 ( G , U E ) . The cyclic cubic base field k has the signature ( r 1 , r 2 ) = ( 3 , 0 ) and torsion-free Dirichlet unit rank r = r 1 + r 2 1 = 3 + 0 1 = 2 . Thus, there are three possibilities for the unit norm index ( U k : N E / k ( U E ) ) { 1 , 3 , 9 } . □
Remark 3.
When k is a cyclic cubic field with 3-class group O : = Cl 3 ( k ) of elementary tricyclic type ( 3 , 3 , 3 ) , viewed as a vector space of dimension 3 over the finite field F 3 , then # ker ( T E / k ) = 3 if and only if ker ( T E / k ) = L i is a  line   for some 1 i 13 , # ker ( T E / k ) = 9 if and only if ker ( T E / k ) = P i is a  plane   for some 1 i 13 , and # ker ( T E / k ) = 27 if and only if ker ( T E / k ) = O is the  entire vector space   over F 3 . Details are reserved for a future paper. Our algorithms for the determination of the capitulation kernels for Cl 3 ( k ) of type ( 3 , 3 ) and ( 3 , 3 , 3 ) have been presented in [8] (Alg. 8–9, pp. 26–30).
In our theorems on cyclic cubic fields with t = 3 belonging to the various graphs of each category, we shall frequently find particular statements which relate several similar capitulation types.
Definition 3.
Let G be a 3-group with generator rank d 1 ( G ) = 2 and elementary bicyclic commutator quotient G / G ( 3 , 3 ) . By T G , H i : G / G H i / H i , we denote the transfers from G to the four maximal normal subgroups H i , 1 i 4 . Then, the set of all ordered transfer kernel types ϰ = ( ϰ i ) 1 i 4 with ϰ i : = ker ( T G , H i ) is endowed with a partial order relation ϰ ϰ by ( 1 i 4 ) ϰ i ϰ i . The order is strict, ϰ < ϰ , when ϰ ϰ and ( 1 j 4 ) ϰ j < ϰ j .
The possibilities for a strict order are rather limited, since a transfer kernel is either cyclic of order 3 (partial—by Hilbert’s Theorem 94, it cannot be trivial) or bicyclic of type ( 3 , 3 ) (total). As usual, we abbreviate ϰ i = j if ( 1 j 4 ) ker ( T G , H i ) = H j / G , and ϰ i = 0 if ker ( T G , H i ) = G / G , for fixed 1 i 4 . So, ϰ < ϰ ( 1 j , i 4 ) ϰ j = H i / G < G / G = ϰ j . The arithmetical application of this group theoretic Definition 3 is given in the following definition.
Definition 4.
Let K be an algebraic number field with the elementary bicyclic 3-class goup Cl 3 ( K ) ( 3 , 3 ) . Then, K has four unramified cyclic cubic relative extensions E i / K , 1 i 4 , and corresponding class extension homomorphisms T E i / K : Cl 3 ( K ) Cl 3 ( E i ) . Let M : = Gal ( F 3 2 ( K ) / K ) be the Galois group of the second Hilbert 3-class field of K, that is, the maximal metabelian unramified 3-extension of K. Then, ϰ ( K ) : = ϰ ( M ) is called the  minimal transfer kernel type   (mTKT) of K, if ϰ ( K ) ϰ ( K ) , for any other possible capitulation type ϰ ( K ) .

4.3. Capitulation Targets

The precise constitution of the lattice of all subfields of the absolute 3-genus field k * of a cyclic cubic field k = k p q r with t = 3 and conductor c = p q r is as follows.
Theorem 8.
The genus field k * of k contains 13 cyclic cubic fields:
k p , 1 , k q , 1 , k r , 1 , k p q , 1 , k p q , 2 , k p r , 1 , k p r , 2 , k q r , 1 , k q r , 2 , k p q r , 1 , k p q r , 2 , k p q r , 3 , k p q r , 4 , briefly k p , k q , k r , k p q , k ˜ p q , k p r , k ˜ p r , k q r , k ˜ q r , k 1 , k 2 , k 3 , k 4 .
  • The composita L : = k p q k p r k q r and L ˜ : = k ˜ p q k ˜ p r k ˜ q r satisfy the  skew balance of degrees
  • [ L : Q ] · [ L ˜ : Q ] = 243 with [ L : Q ] = 9 and [ L ˜ : Q ] = 27 , or vice versa.
  • Alert:   Always in the sequel, the  normalization  [ L : Q ] = 9 is assumed.
  • The genus field k * of k contains 13 bicyclic bicubic fields:
4   single capitulation targets B 1 : = k p q k p r = k 1 k p q k p r k q r , B 2 : = k ˜ p r k ˜ q r = k 2 k p q k ˜ p r k ˜ q r , B 3 : = k ˜ p q k ˜ p r = k 3 k ˜ p q k ˜ p r k q r , B 4 : = k ˜ p q k ˜ q r = k 4 k ˜ p q k p r k ˜ q r ,
6   double capitulation targets B 5 : = k p k ˜ q r = k 1 k 3 k p k ˜ q r , B 6 : = k q k ˜ p r = k 1 k 4 k q k ˜ p r , B 7 : = k r k ˜ p q = k 1 k 2 k r k ˜ p q , B 8 : = k p k q r = k 2 k 4 k p k q r , B 9 : = k q k p r = k 2 k 3 k q k p r , B 10 : = k r k p q = k 3 k 4 k r k p q ,
and 3   sub genus fields B 11 : = k p q k ˜ p q = k p k q k p q k ˜ p q , B 12 : = k p r k ˜ p r = k p k r k p r k ˜ p r , B 13 : = k q r k ˜ q r = k q k r k q r k ˜ q r ,
provided that k p q , k p r , k q r are normalized. The conductor of B 1 , , B 10 is c = p q r , the conductor of B 11 is f 1 = p q , the conductor of B 12 is f 2 = p r , and the conductor of B 13 is f 3 = q r .
Proof. 
See [2] (Prop. 4.1, p. 40, Lem. 4.1, p. 42). The short form suffices for construction. □
The algorithm for the determination of bicyclic bicubic fields has been presented in [8] (Alg. 7, pp. 24–26), but B 5 , , B 10 should be defined as in Formula (23) (short form without k 1 , , k 4 ).
Corollary 2.
The  capitulation targets, i.e., the unramified cyclic cubic relative extensions of k 1 , k 2 , k 3 , and k 4 , respectively, among the absolutely bicyclic bicubic subfields of the 3-genus field k * = k p k q k r are B 1 , B 5 , B 6 , B 7 ; B 2 , B 7 , B 8 , B 9 ; B 3 , B 5 , B 9 , B 10 ; and B 4 , B 6 , B 8 , B 10 , respectively.
In particular, B 7 is common to both k 1 and k 2 , B 5 is common to k 1 and k 3 , B 6 is common to k 1 and k 4 , B 9 is common to k 2 and k 3 , B 8 is common to k 2 and k 4 , and B 10 is common to k 3 and k 4 .
Proof. 
This follows immediately from Theorem 8, Formulas (22) and (23). □
Proposition 1.
If there exists 1 j 10 such that h 3 ( B j ) = 3 , then h 3 ( B ) = 3 , for all 1 10 , and h 3 ( k i ) = 9 , for all 1 i 4 .
The 3-class number of B j , 1 j 10 , satisfies the  tame   condition h 3 ( B j ) = ( U j : V j ) if and only if for each cyclic cubic subfield k of B j the Hilbert 3-class field F 3 1 ( k ) of k coincides with the genus field k * of k. Otherwise, the  wild   condition h 3 ( B j ) > ( U j : V j ) holds.
If there exists 1 j 10 such that h 3 ( B j ) > ( U j : V j ) , then 9 h 3 ( B ) , for all 1 10 .
Proof. 
The condition is trivial for the subfields k with t = 1 , since h 3 ( k ) = [ F 3 1 ( k ) : k ] = [ k * : k ] = 1 is satisfied anyway. However, the subfields k with t = 2 must have the 3-class number h 3 ( k ) = [ F 3 1 ( k ) : k ] = [ k * : k ] = 3 , in particular, the prime divisors of the conductor are not mutual cubic residues, and the subfields k with t = 3 must have the 3-class number h 3 ( k ) = [ F 3 1 ( k ) : k ] = [ k * : k ] = 9 , that is, they cannot have the 3-class rank ϱ ( k ) 3 . For details, see [2] (pp. 47–48, i.p. Prop. 4.5). □
Let t = 3 and k μ , 1 μ 4 be one of the four cyclic cubic number fields sharing the common conductor c = p q r , and suppose B j , 1 j 10 , is one of the ten bicyclic bicubic subfields of the absolute 3-genus field k * of k μ such that B j / k μ is an unramified cyclic extension of degree 3. We denote by U j the unit group of B j , by V j the subgroup generated by all subfield units, by r j the rank of the principal factor matrix M j of B j , and by A = ( a ι λ ) the right upper triangular ( 8 × 8 ) -matrix such that ( γ 1 3 , , γ 8 3 ) = ( ε 1 , , ε 8 ) · A (in the sense of exponentiation), for a suitable torsion-free basis ( γ 1 , , γ 8 ) of U j and a canonical basis ( ε 1 , , ε 8 ) of V j , according to [2,4] (pp. 497–503) (pp. 19–22).
For several times, Ayadi [2] alludes to the following fact: the minimal subfield unit index  ( U j : V j ) = 3 for the matrix rank r j = 3 of B j corresponds to the maximal unit norm index  ( U ( k μ ) : N B j / k μ ( U j ) ) = 3 , associated with a total transfer kernel  # ker ( T B j / k μ ) = 9 of B j / k μ . Since he does not give a proof, we summarize all related issues in a lemma.
Lemma 2.
The following statements are equivalent, row by row:
( U j : V j ) = 3 a 77 = 3 , a 88 = 3 , a 66 = 1 ( U ( k μ ) : N B j / k μ ( U j ) ) = 3 , ( U j : V j ) = 9 a 77 = 3 , a 88 = 1 , a 66 = 1 ( U ( k μ ) : N B j / k μ ( U j ) ) = 3 , ( U j : V j ) = 27 a 77 = 1 , a 88 = 1 , a 66 = 1 ( U ( k μ ) : N B j / k μ ( U j ) ) = 1 .
Proof. 
According to Theorem 5, r j = 3 ( U j : V j ) = 3 , and r j = 2 ( U j : V j ) { 9 , 27 } .
  • Now, a 77 = 1 implies γ 7 3 = ( ι = 1 6 ε ι a ι 7 ) · ε 7 , N B j / k μ ( γ 7 ) = ± ε 7 , ( U ( k μ ) : N B j / k μ ( U j ) ) = 1 ,
  • but a 77 = 3 implies γ 7 3 = ( ι = 1 6 ε ι a ι 7 ) · ε 7 3 , N B j / k μ ( γ 7 ) = ± ε 7 3 , ( U ( k μ ) : N B j / k μ ( U j ) ) = 3 .
Finally, Theorem 7 on the Herbrand quotient of U j shows the cardinality of the transfer kernel, # ker T B j / k μ = [ k μ : Q ] · ( U ( k μ ) : N B j / k μ ( U j ) ) = 3 · ( U ( k μ ) : N B j / k μ ( U j ) ) . □
Proposition 2.
Let ℓ be an odd prime, and suppose that B = K · L is a bicyclic field of degree 2 , compositum of two cyclic fields K and L of degree ℓ. If p is a prime number that ramifies in both, K and L, i.e., p O K = p 1 and p O L = p 2 , then the extension ideals p 1 O B = p 2 O B coincide.
Proof. 
If the decomposition invariants of p in B are ( e , f , g ) = ( , 1 , ) , resp. ( , , 1 ) , resp. ( 2 , 1 , 1 ) , then those of p 1 and p 2 in B must be identical ( e , f , g ) = ( 1 , 1 , ) , resp. ( 1 , , 1 ) , resp. ( , 1 , 1 ) , and unique prime decomposition enforces p 1 O B = p 2 O B . □
Corollary 3.
Let μ { 1 , 2 , 3 , 4 } and p O k μ = p 3 , q O k μ = q 3 , r O k μ = r 3 . Then, the following  capitulation laws   for ideal classes hold independently of the combined cubic residue symbol [ p , q , r ] 3 .
1.
[ p ] capitulates in B 5 / k μ , for μ = 1 , 3 , and in B 8 / k μ , for μ = 2 , 4 .
2.
[ q ] capitulates in B 6 / k μ , for μ = 1 , 4 , and in B 9 / k μ , for μ = 2 , 3 .
3.
[ r ] capitulates in B 7 / k μ , for μ = 1 , 2 , and in B 10 / k μ , for μ = 3 , 4 .
Proof. 
We show that [ p ] Cl 3 ( k 1 ) capitulates in B 5 . Everything else is proved in the same way, always using Proposition 2 with = 3 . The bicyclic bicubic field B 5 = k 1 k 3 k p k ˜ q r is a compositum of the cyclic cubic fields k p and k 1 . Since the conductor of k p is p, the principal factor A ( k p ) = p is determined uniquely, and p O k p = p 0 3 is totally ramified, whence p 0 = α O k p with α k p × is necessarily a principal ideal. Since the conductor of k 1 is c = p q r , the prime p O k 1 = p 3 is also totally ramified, and Proposition 2 asserts that p O B 5 = p 0 O B 5 , which is the principal ideal α O B 5 . Thus, the class [ p ] capitulates in B 5 . □
Proposition 3.
If p q 3 = 1 but q p 3 1 , then Cl 3 ( k p q ) ( 3 ) , Cl 3 ( k ˜ p q ) ( 3 ) , and  two principal factors   are given by A ( k p q ) = p , A ( k ˜ p q ) = p .
Proof. 
If p q , then p splits in k q , p O k q = 1 2 3 , and Cl 3 ( k p q ) ( 3 ) , according to Georges Gras [1]. The Hilbert 3-class field F 3 1 ( k p q ) of k p q with [ F 3 1 ( k p q ) : k p q ] = 3 coincides with the absolute 3-genus field k * = k p · k q = k p q · k ˜ p q of the doublet ( k p q , k ˜ p q ) with [ k * : Q ] = 9 and [ k * : k p q ] = 3 .
Since the conductor of k p q is p q , p O k p q = p 3 is ramified in k p q , but k * is unramified over k p q , and the decomposition invariants of p in k * are ( e , f , g ) = ( 3 , 1 , 3 ) , those of p in k * = F 3 1 ( k p q ) are ( e , f , g ) = ( 1 , 1 , 3 ) , i.e., p splits completely in F 3 1 ( k p q ) ,
By the decomposition law of the Hilbert 3-class field, p = α O k p q is principal with α k p q × . Therefore, the unique principal factor of k p q is A ( k p q ) = p . The same reasoning is true for k ˜ p q . □
Proposition 4.
Let μ { 1 , 2 , 3 , 4 } , such that Cl 3 ( k μ ) ( 3 , 3 ) .
  • If p q 3 = 1 and p r 3 = 1 , then  the principal factor   of k μ is A ( k μ ) = p .
Proof. 
Since Cl 3 ( k μ ) ( 3 , 3 ) , the Hilbert 3-class field F 3 1 ( k μ ) of k μ with [ F 3 1 ( k μ ) : k μ ] = 9 coincides with the absolute 3-genus field k * = k p · k q · k r of the quartet ( k 1 , , k 4 ) with [ k * : Q ] = 27 and [ k * : k μ ] = 9 .
Since the conductor of k μ is c = p q r , p O k μ = p 3 is ramified in k μ , but k * is unramified over k μ .
If q p r is universally repelling, then p splits in k q and in k r , and the decomposition invariants of p in k * are ( e , f , g ) = ( 3 , 1 , 9 ) ; those of p in k * = F 3 1 ( k μ ) are ( e , f , g ) = ( 1 , 1 , 9 ) , i.e., p splits completely in F 3 1 ( k μ ) ; and the decomposition law of the Hilbert 3-class field implies that p = α O k μ is principal with α k μ × . Therefore, the unique principal factor of k μ is A ( k μ ) = p . □

5. Finite 3-Groups of Type (3,3)

In the following tables, we list those invariants of finite 3-groups G with elementary bicyclic commutator quotient G / G ( 3 , 3 ) which qualify metabelian groups M as second 3-class groups Gal ( F 3 2 ( k ) / k ) and non-metabelian groups G as 3-class field tower groups Gal ( F 3 ( k ) / k ) of cyclic cubic number fields k. The process of searching for suitable groups in descendant trees with the strategy of pattern recognition [15] is governed by the Artin pattern  AP = ( α , ϰ ) [16] (p. 27), where α = α 1 and ϰ = ϰ 1 , respectively, denote the first layer of the transfer target type (TTT) and the transfer kernel type (TKT), respectively. Additionally, we give the top layer α 2 of the TTT, which consists of the abelian quotient invariants of the commutator subgroup M , corresponding to the 3-class group of the first Hilbert 3-class field F 3 1 ( k ) of k. The nuclear rank  ν is responsible for the search complexity. The p-multiplicator rank μ of a group G is precisely its relation rank  d 2 ( G ) = dim F 3 H 2 ( G , F 3 ) , which decides whether G is admissible as Gal ( F 3 ( k ) / k ) , according to the Shafarevich Theorem [16,17]. In the case of cyclic cubic fields k, it is limited by the Shafarevich bound  μ ϱ + r + θ , where ϱ = d 1 ( G ) = dim F 3 H 1 ( G , F 3 ) denotes the generator rank of G, which coincides with the 3-class rank ϱ of k, r = r 1 + r 2 1 = 2 is the torsion-free Dirichlet unit rank of the field k with signature ( r 1 , r 2 ) = ( 3 , 0 ) , and θ = 0 indicates the absence of a (complex) primitive third root of unity in the totally real field k. Finally, π ( M ) = M / γ c ( M ) denotes the parent of M , that is the quotient by the last non-trivial lower central with c = cl ( M ) .
Theorem 9.
Let k be a cyclic cubic number field with elementary bicyclic 3-class group Cl 3 ( k ) ( 3 , 3 ) . Denote by M = Gal ( F 3 2 ( k ) / k ) the second 3-class group of k, and by G = Gal ( F 3 ( k ) / k ) the 3-class field tower group of k. Then, the Artin pattern ( α , ϰ ) of k identifies the groups M and G , and determines the length 3 ( k ) of the 3-class field tower of k, according to the following deterministic laws. (See the associated descendant tree T 1 9 , 2 in [8] (Fig. 6.1, p. 44).)
1.
If α = [ 1 , 1 , 1 , 1 ] , ϰ = ( 0000 ) (type a . 1 ), then G 9 , 2 and 3 ( k ) = 1 .
2.
If α [ 11 , 2 , 2 , 2 ] , ϰ ( 1111 ) (type A . 1 ), then G 27 , 4 .
3.
If α [ 111 , 11 , 11 , 11 ] , ϰ ( 2000 ) (type a . 3 * ), then G 81 , 7 .
4.
If α [ 21 , 11 , 11 , 11 ] , ϰ ( 2000 ) (type a . 3 ), then G 81 , 8 .
5.
If α [ 21 , 11 , 11 , 11 ] , ϰ ( 1000 ) (type a . 2 ), then G 81 , 10 .
6.
If α [ 22 , 11 , 11 , 11 ] , ϰ ( 2000 ) (type a . 3 ), then G 243 , 25 .
7.
If α [ 22 , 11 , 11 , 11 ] , ϰ ( 1000 ) (type a . 2 ), then G 243 , 27 .
Except for the abelian tower in item (1), the tower is metabelian with 3 ( k ) = 2 .
Proof. 
Generally, a cyclic cubic field k has the signature ( r 1 , r 2 ) = ( 3 , 0 ) and the torsion-free unit rank r = r 1 + r 2 1 = 2 , does not contain primitive third roots of unity, and thus possesses the maximal admissible relation rank d 2 d 1 + r = 4 for the group G , when its 3-class rank, i.e., the generator rank of G , is d 1 = ϱ = 2 . Consequently, 3 ( k ) 3 in the case of d 2 ( M ) 5 .
For item (1), we have M = Gal ( F 3 2 ( k ) / k ) 9 , 2 ( 3 , 3 ) Cl 3 ( k ) Gal ( F 3 1 ( k ) / k ) , whence 3 ( k ) = 1 . We always identify groups according to [3,18].
For item (2) to item (7), the group M is of maximal class (coclass cc ( M ) = 1 ), and thus coincides with G , whence 3 ( k ) = 2 .
In each case, the Artin pattern ( α , ϰ ) identifies M = G uniquely, and the relation ranks are d 2 9 , 2 = 3 , d 2 27 , 4 = 2 , d 2 81 , 7 = 3 , d 2 81 , 8 = 3 , d 2 81 , 10 = 3 , d 2 243 , 25 = 3 , d 2 243 , 27 = 3 , each of them less than 4. □
Corollary 4.
Under the assumptions of Theorem 9, the abelian-type invariants α 2 of the 3-class group Cl 3 ( F 3 1 ( k ) ) of the first Hilbert 3-class field of k are required for the unambiguous identification of the following groups: G and M , respectively. (See the associated descendant tree T 2 729 , 40 in [8] (Fig. 6.2, p. 45).)
  • If α [ 21 , 11 , 11 , 11 ] , ϰ = ( 0000 ) , a . 1 , then G 81 , 9 for α 2 = [ 11 ] , 243 , 28 . . 30 for α 2 [ 21 ] .
  • If α [ 21 , 21 , 111 , 111 ] , ϰ ( 0043 ) , b . 10 , then M 729 , 34 . . 36 for α 2 = [ 1111 ] , 729 , 37 . . 39 for α 2 [ 211 ] .
Proof. 
The Artin pattern ( α , ϰ ) of k alone is not able to identify the groups M and G unambiguously. Ascione [19] uses the notation 729 , 34 = H , 729 , 35 = I , 729 , 37 = A , 729 , 38 = C . □
In Table 2, we begin with metabelian groups M of generator rank d 1 ( M ) = 2 . The Shafarevich bound [16] (Thm. 5.1, p. 28) is given by μ ϱ + r + θ = 2 + 2 + 0 = 4 . For order 6561 see [20].
Capital letters for M are due to Ascione [19]. For the metabelian groups M with non-trivial cover cov ( M ) [16] (p. 30), we need non-metabelian groups G in the cover, which are given in Table 3, where we begin with groups G of generator rank d 1 ( G ) = 2 . For d 1 ( G ) = 3 , we refer to a forthcoming paper. Instead of the parent π ( G ) , we give the metabelianization G / G .

6. Categories I and II

A common feature of these two categories is the inhomogeneity of 3-class ranks of the four components in the quartet ( k μ ) μ = 1 4 sharing the conductor c = p q r . In the present article, we restrict ourselves to 3 and 2 components, respectively, with elementary bicyclic 3-class group Cl 3 ( k μ ) ( 3 , 3 ) , for Category I and Category II , respectively, and we postpone elementary tricyclic Cl 3 ( k μ ) ( 3 , 3 , 3 ) to a future paper. All computations for examples were performed with Magma [6,21,22].
Definition 5.
According to the 3-class numbers h 3 ( k μ ) , a quartet ( k μ ) μ = 1 4 of cyclic cubic fields with common conductor c = p q r belonging to Category I or II is called
regular singular super singular if max { h 3 ( k μ ) 1 μ 4 } = 27 , = 81 , 243 .
In a regular, singular, and super-singular quartet, respectively, there occur 3-class groups Cl 3 ( k μ ) ( 3 , 3 , 3 ) , Cl 3 ( k μ ) ( 9 , 3 , 3 ) , and Cl 3 ( k μ ) ( 9 , 9 , 3 ) , respectively, for some 1 μ 4 .

6.1. Category I, Graph 1

Let ( k 1 , , k 4 ) be a quartet of cyclic cubic number fields sharing the common conductor c = p q r , belonging to Graph 1 of Category I with combined cubic residue symbol [ p , q , r ] 3 = { p , q , r ; δ 0 ( mod 3 ) } .
Since there are no trivial cubic residue symbols among the three prime(power) divisors p , q , r of the conductor c = p q r , the principal factors of the subfields with t = 2 of the absolute genus field k * must be divisible by both relevant primes [2] (Prop. 3.2, p. 26), and we can use the general approach
A ( k p q ) = p q , A ( k ˜ p q ) = p q , A ( k p r ) = p m r , A ( k ˜ p r ) = p m r , and A ( k q r ) = q n r , A ( k ˜ q r ) = q n r ,
with , m , n { 1 , 1 } , identifying 1 2 ( mod 3 ) , since it is easier to manage: 2 = m 2 = n 2 = 1 .
Lemma 3.
The product · m · n = 1 is negative (that is, either one or three among , m , n are negative) if and only if the compositum L = k p q k p r k q r satisfies the normalization [ L : Q ] = 9 :
· m · n = 1 [ L : Q ] = 9 , · m · n = + 1 [ L : Q ] = 27 .
Proof. 
By Theorem 8, the fields L and L ˜ = k ˜ p q k ˜ p r k ˜ q r satisfy a skew balance of their degrees { 9 , 27 } in the product [ L : Q ] · [ L ˜ : Q ] = 243 .
Suppose l m n = + 1 . Then, we produce a contradiction by the assumption that [ L : Q ] = 9 and [ L ˜ : Q ] = 27 . We define the compositum K : = k ˜ p q k ˜ p r of degree 9. Then, K contains one of the fields k μ , μ = 1 , , 4 , and either k ˜ q r or k q r . In the former case, K = L ˜ would have degree 27. So, K = k ˜ p q k ˜ p r k q r , and we calculate the following sub-determinants of the principal factor matrices M L and M K , with respect to the fields with t = 2 only (ignoring the field with t = 3 ):
1 0 m 0 1 0 n 1 = n m = 0 1 0 m 0 1 0 n 1 = n + m = 0 n = m .
However, l m n = + 1 implies n = m , and thus rank 3 of M L and M K . By (17), this gives indices of subfield units ( U L : V L ) = 3 and ( U K : V K ) = 3 . At least one among L and K, say X, does not contain the critical field k μ with ϱ 3 ( k μ ) = 3 , whence it is tame with h 3 ( X ) = ( U X : V X ) = 3 , in contradiction to 9 h 3 ( X ) , by Proposition 1. Thus, we must have [ L : Q ] = 27 .
With nearly identical arguments, it is easy to show that l m n = 1 implies [ L : Q ] = 9 . □
Lemma 4.
(3-class ranks of components for I . 1 .)  Without loss of generality, precisely three components, k 2 , k 3 , k 4 , of the quartet have elementary bicyclic 3-class groups Cl 3 ( k μ ) ( 3 , 3 ) , 2 μ 4 , whereas the single remaining component, k 1 , has the 3-class rank ϱ 3 ( k 1 ) = 3 . In dependence on the  decisive principal factors   in Formula (27), the principal factors of k μ are
A ( k 2 ) = p q 2 r , A ( k 3 ) = p q r , A ( k 4 ) = p q r 2 if ( , m , n ) = ( 1 , 1 , 2 ) , A ( k 2 ) = p 2 q r , A ( k 3 ) = p q r 2 , A ( k 4 ) = p q r if ( , m , n ) = ( 1 , 2 , 1 ) , A ( k 2 ) = p q r , A ( k 3 ) = p q 2 r , A ( k 4 ) = p 2 q r if ( , m , n ) = ( 2 , 1 , 1 ) , A ( k 2 ) = p q r 2 , A ( k 3 ) = p 2 q r , A ( k 4 ) = p q 2 r if ( , m , n ) = ( 2 , 2 , 2 ) .
The  tame   condition 9 h 3 ( B j ) = ( U j : V j ) { 9 , 27 } with r j = 2 is satisfied for j { 2 , 3 , 4 , 8 , 9 , 10 } .
A further  decisive principal factor  A ( k 1 ) = p e 1 q e 2 r e 3 and the associated invariant counter D : = # { 1 i 3 e i 0 } admit several conclusions for  wild   ranks:
r 5 = r 6 = r 7 = 3 iff D = 2 iff A ( k 1 ) has precisely two prime divisors .
Proof. 
According to [2] (Prop. 4.4, pp. 43–44), the required condition to distinguish the unique component k 1 with the 3-class rank ϱ ( k 1 ) = 3 in the quartet ( k μ ) μ = 1 4 is the set of decomposition invariants ( e , f , g ) = ( 3 , 1 , 3 ) simultaneously for p , q , r in the bicyclic bicubic field B 1 = k 1 k p q k p r k q r , that is,
  • p splits in k q r , and thus also in B j for j { 1 , 3 , 8 } ;
  • q splits in k p r , and thus also in B j for j { 1 , 4 , 9 } ;
  • r splits in k p q , and thus also in B j for j { 1 , 2 , 10 } .
Then, exactly the six fields B 2 = k 2 k p q k ˜ p r k ˜ q r , B 3 = k 3 k ˜ p q k ˜ p r k q r , B 4 = k 4 k ˜ p q k p r k ˜ q r , B 8 = k 2 k 4 k p k q r , B 9 = k 2 k 3 k q k p r , B 10 = k 3 k 4 k r k p q do not contain k 1 , and satisfy the tame relation 9 h 3 ( B j ) = ( U j : V j ) { 9 , 27 } with ranks r j = 2 for j = 2 , 3 , 4 , 8 , 9 , 10 , by Proposition 1.
This fact can be exploited for each tame bicyclic bicubic field B j , by calculating the rank r j with row operations on the associated principal factor matrix M j and drawing conclusions for the exponents x μ , y μ , z μ in the approach A ( k μ ) = p x μ q y μ r z μ , 1 μ 4 :
M 8 = x 2 y 2 z 2 x 4 y 4 z 4 1 0 0 0 n 1 , M 9 = x 2 y 2 z 2 x 3 y 3 z 3 0 1 0 m 0 1 , M 10 = x 3 y 3 z 3 x 4 y 4 z 4 0 0 1 1 0 .
For B 8 = k 2 k 4 k p k q r , M 8 leads to decisive pivot elements z 2 n y 2 and z 4 n y 4 in the last column; for B 9 = k 2 k 3 k q k p r , M 9 leads to z 2 m x 2 and z 3 m x 3 in the last column; and for B 10 = k 3 k 4 k r k p q , M 10 leads to y 3 x 3 and y 4 x 4 in the middle column.
So, r 8 = r 9 = r 10 = 2 implies n y 2 z 2 , n y 4 z 4 , z 2 m x 2 , z 3 m x 3 , x 3 y 3 , x 4 y 4 . Or, in combined form, m x 2 n y 2 z 2 , m x 3 n y 3 z 3 , m x 4 n y 4 z 4 . This yields (29).
Additionally, we use the remaining three tame ranks for
M 2 = x 2 y 2 z 2 1 0 m 0 1 0 n 1 , M 3 = x 3 y 3 z 3 1 0 m 0 1 0 n 1 , M 4 = x 4 y 4 z 4 1 0 m 0 1 0 n 1 .
For B 2 = k 2 k p q k ˜ p r k ˜ q r , M 2 leads to the decisive pivot elements z 2 + m x 2 + n y 2 , m + n in the last column; for B 3 = k 3 k ˜ p q k ˜ p r k q r , M 3 leads to z 3 + m x 3 n y 3 , m n in the last column; and for B 4 = k 4 k ˜ p q k p r k ˜ q r , M 4 leads to z 4 m x 4 + n y 4 , m + n in the last column. So, r 2 = r 3 = r 4 = 2 implies m x 2 + n y 2 z 2 , m x 3 n y 3 z 3 , m x 4 + n y 4 z 4 , since the other pivot elements vanish a priori, m + n = 0 , i.e., m = n , because m n = 1 and n 2 = 1 in Lemma 3. The congruences follow already from those for r 8 = r 9 = r 10 = 2 .
For each wild bicyclic bicubic field B j , j { 1 , 5 , 6 , 7 } , the rank r j is now calculated with row operations on the associated principal factor matrix M j :
M 1 = x 1 y 1 z 1 1 0 m 0 1 0 n 1 , M 5 = x 1 y 1 z 1 x 3 y 3 z 3 1 0 0 0 n 1 , M 6 = x 1 y 1 z 1 x 4 y 4 z 4 0 1 0 m 0 1 , M 7 = x 1 y 1 z 1 x 2 y 2 z 2 0 0 1 1 0 .
For B 1 = k 1 k p q k p r k q r , M 1 leads to the decisive pivot element z 1 m x 1 n y 1 , since m n 0 . So, r 1 = 2 implies z 1 m x 1 + n y 1 . For B 5 = k 1 k 3 k p k ˜ q r , M 5 leads to z 1 + n y 1 , z 3 + n y 3 in the last column. So, r 5 = 3 iff either z 1 n y 1 or z 3 n y 3 modulo 3. For B 6 = k 1 k 4 k q k ˜ p r , M 6 leads to z 1 + m x 1 , z 4 + m x 4 . So, r 6 = 3 iff either z 1 m x 1 or z 4 m x 4 . For B 7 = k 1 k 2 k r k ˜ p q , M 7 leads to y 1 + x 1 , y 2 + x 2 in the middle column. So, r 7 = 3 iff either y 1 x 1 or y 2 x 2 . For each of these three ranks, the second condition can never be satisfied.
Since at most one of the exponents x 1 , y 1 , z 1 may vanish, the new congruences immediately lead to (30). For instance, z 1 = 0 z 1 = 0 n y 1 , z 1 = 0 m x 1 r 5 = r 6 = 3 ; but 0 = z 1 m x 1 + n y 1 also implies m x 1 n y 1 , m n x 1 y 1 , x 1 y 1 , and thus r 7 = 3 . Conversely, suppose D = 3 . If z 1 n y 1 , then z 1 n y 1 , and z 1 m x 1 + n y 1 implies m x 1 0 , and thus the contradiction x 1 = 0 . □
Proposition 5
(Sub-triplet with 3-rank two for I . 1 ). For fixed μ { 2 , 3 , 4 } , let p , q , r be the prime ideals of k μ over p , q , r , that is, p O k μ = p 3 , q O k μ = q 3 , r O k μ = r 3 ; then, the 3-class group of k μ is generated by any two among the non-trivial classes [ p ] , [ q ] , [ r ] , that is,
Cl 3 ( k μ ) = [ p ] , [ q ] = [ p ] , [ r ] = [ q ] , [ r ] ( 3 , 3 ) .
The unramified cyclic cubic relative extensions of k μ are among the absolutely bicyclic bicubic subfields B i , 1 i 10 , of the common genus field k * of the four components of the quartet ( k 1 , , k 4 ) . The unique B 9 > k μ , μ { 2 , 3 } , has the norm class group N B 9 / k μ ( Cl 3 ( B 9 ) ) = [ q ] , and potential  fixed-point   transfer kernel
ker ( T B 9 / k μ ) [ q ] .
The unique B 10 > k μ , μ { 3 , 4 } , has the norm class group N B 10 / k μ ( Cl 3 ( B 10 ) ) = [ r ] , and potential  fixed-point   transfer kernel
ker ( T B 10 / k μ ) [ r ] .
The unique B 8 > k μ , μ { 2 , 4 } , has norm class group N B 8 / k μ ( Cl 3 ( B 8 ) ) = [ qr n ] , and the potential  fixed-point   transfer kernel
ker ( T B 8 / k μ ) [ q n r ] .
The remaining B i > k μ , i { 5 , 6 , 7 } , more precisely, i = 7 for μ = 2 , i = 5 for μ = 3 , and i = 6 for μ = 4 , have norm class group [ q 2 r n ] and a hidden or explicit  transposition   transfer kernel, with respect to the corresponding μ.
Proof. 
As mentioned in the proof of Lemma 4, q splits in B 9 , r splits in B 10 , and p splits in B 8 , where [ p ] = [ qr n ] , according to (29), independently of n { 1 , 2 } .
  • Now, we use Corollary 3 and Proposition 2.
  • Since q is principal in k q , [ q ] capitulates in B 6 = k 1 k 4 k q k ˜ p r and B 9 = k 2 k 3 k q k p r .
  • Since r is principal in k r , [ r ] capitulates in B 7 = k 1 k 2 k r k ˜ p q and B 10 = k 3 k 4 k r k p q .
  • Since q n r is principal in k q r , [ q n r ] capitulates in B 3 = k 3 k ˜ p q k ˜ p r k q r and B 8 = k 2 k 4 k p k q r . □
In terms of capitulation targets in Corollary 2, Proposition 5 and parts of its proof are now summarized in Table 4 for the minimal transfer kernel type (mTKT) and n = 2 , with transposition in boldface font. This essential new perspective admits progress beyond Ayadi’s work [2].
Theorem 10
(Second 3-class group for I . 1 ). Let ( k 1 , , k 4 ) be a quartet of cyclic cubic number fields sharing the common conductor c = p q r belonging to Graph 1 of Category I , that is, [ p , q , r ] 3 = { p , q , r ; δ 0 ( mod 3 ) } . Without loss of generality, suppose that Cl 3 ( k μ ) ( 3 , 3 ) , for μ = 2 , 3 , 4 , and ϱ 3 ( k 1 ) = 3 .
Then the  minimal transfer kernel type   (mTKT) of k μ , 2 μ 4 , is ϰ 0 = ( 4231 ) , type G . 16 , and other possible capitulation types in ascending partial order ϰ 0 < ϰ < ϰ , ϰ < ϰ are ϰ = ( 0231 ) , type c . 21 , ϰ = ( 0001 ) , type a . 3 , ϰ = ( 0200 ) , type a . 2 , and ϰ = ( 0000 ) , type a . 1 .
In order to identify the second 3-class group M = Gal ( F 3 2 ( k μ ) / k μ ) , 2 μ 4 , let the  principal factor   of k 1 be A ( k 1 ) = p e 1 q e 2 r e 3 , and define D : = # { 1 i 3 e i 0 } . In the  regular   situation where Cl 3 ( k 1 ) ( 3 , 3 , 3 ) is elementary tricyclic, we have
M 81 , 8 , α = [ 11 , 11 , 11 , 21 ] , ϰ = ( 0001 ) once if D = 2 , N = 1 , 81 , 10 2 , α = [ 11 , 21 , 11 , 11 ] , ϰ = ( 0200 ) twice if D = 2 , N = 1 , 243 , 25 , α = [ 11 , 11 , 11 , 22 ] , ϰ = ( 0001 ) once if D = 3 , N = 1 , 243 , 28 . . 30 2 , α = [ 21 , 11 , 11 , 11 ] , ϰ = ( 0000 ) twice if D = 3 , N = 0 ,
where N : = # { 1 j 10 k μ < B j , I j = 27 } . In the  (super-)singular   situation where 81 h ( k 1 ) and Cl 3 ( k 1 ) is non-elementary tricyclic, we have M
243 , 8 3 , α = [ 21 , 21 , 21 , 21 ] , ϰ = ( 0231 ) if h 3 ( k 1 ) = 81 , D = 2 , N = 3 , 729 , 54 3 , α = [ 22 , 21 , 21 , 21 ] , ϰ = ( 0231 ) if h 3 ( k 1 ) = 81 , D = 3 , N = 3 , 2187 , 301 | 305 3 , α = [ 32 , 21 , 21 , 21 ] , ϰ = ( 4231 ) if h 3 ( k 1 ) = 81 , D = 3 , N = 4 , 2187 , 303 3 , α = [ 32 , 21 , 21 , 21 ] , ϰ = ( 0231 ) if h 3 ( k 1 ) = 243 , D = 3 , N = 3 .
With the exception of the last three rows, the 3-class field tower has the group G = Gal ( F 3 ( k μ ) / k μ ) M , 3 ( k μ ) = 2 , since d 2 ( M ) 4 . For the last three rows, the tower length is 2 3 ( k μ ) 3 [16]. (See the associated descendant tree T 2 243 , 8 in [8] (Fig. 6.4, p. 63)).
Proof. 
In the non-uniform regular situations, we have r j = 2 , h 3 ( B j ) = I j { 9 , 27 } for the tame bicyclic bicubic fields j { 2 , 3 , 4 , 8 , 9 , 10 } . Now, we use Lemmas 2 and 4.
If D = 3 , then all tame indices of subfield units I j = 9 are minimal, and the ranks of wild bicyclic bicubic fields are r j = 2 for j = 5 , 6 , 7 , but non-uniform indices two times I 5 = I 6 = 9 , i.e., N = 0 , and one time I 7 = 27 , i.e., N = 1 , corresponding to total capitulation twice and non-fixed-point capitulation once (due to a hidden transposition). According to Theorem 9, the common α 2 = ( 21 ) , and Corollary 4, the Artin pattern α = [ 21 , 11 , 11 , 11 ] and ϰ = ( 0000 ) determines three possible groups 243 , 28 . . 30 , and α = [ 11 , 11 , 11 , 22 ] , ϰ = ( 0001 ) uniquely leads to 243 , 25 .
If D = 2 , then tame indices of subfield units I j are non-uniform, two times I j = 9 , for j = 2 , 4 , 9 , 10 , and one time I j = 27 , for j = 3 , 8 , the latter corresponding to fixed-point capitulation twice, j = 8 over μ = 2 , 4 , and non-fixed-point capitulation once, j = 3 over μ = 3 . So, N = 1 , since the ranks of wild bicyclic bicubic fields are r j = 3 with uniform index I j = 3 for j = 5 , 6 , 7 , corresponding to a total capitulation. The Artin pattern α = [ 11 , 21 , 11 , 11 ] , ϰ = ( 0200 ) uniquely determines the group 81 , 10 , and α = [ 11 , 11 , 11 , 21 ] , ϰ = ( 0001 ) uniquely leads to 81 , 8 .
In the uniform singular situation with TKT c . 21 , ϰ = ( 0231 ) , N = 3 , the ATIs decide about the group: α = [ 21 , 21 , 21 , 21 ] uniquely identifies 243 , 8 , α = [ 22 , 21 , 21 , 21 ] leads to 729 , 54 , and in the super-singular situation, α = [ 32 , 21 , 21 , 22 ] leads to 2187 , 303 . In contrast, for TKT G . 16 , ϰ = ( 4231 ) , N = 4 , the ATIs α = [ 32 , 21 , 21 , 21 ] lead to 2187 , 301 | 305 .
The regular groups are of maximal class, which guarantees length 3 ( k μ ) = 2 of the tower. The annihilator ideal of 243 , 8 is L , which enforces 3 ( k μ ) = 2 , according to Scholz and Taussky [23]. The (super-)singular groups 729 , 54 and 2187 , 303 have non-metabelian descendants. Although they satisfy the bound d 2 ( G ) 4 for the relation rank, a tower with three stages could only be excluded by means of computationally expensive invariants α ( 2 ) of second order. □
Corollary 5.
(Non-uniformity of the sub-triplet for  I . 1 .)  Only two components of the sub-triplet with 3-rank two share a common capitulation type ϰ ( k λ ) ϰ ( k μ ) , common abelian-type invariants α ( k λ ) α ( k μ ) , and a common second 3-class group Gal ( F 3 2 ( k λ ) / k λ ) Gal ( F 3 2 ( k μ ) / k μ ) . The invariants of the third component k ν  differ   in the  regular   situation Cl 3 ( k 1 ) ( 3 , 3 , 3 ) ; however, they  agree   in the  (super-)singular   situation 81 h ( k 1 ) . Here, { λ , μ , ν } = { 2 , 3 , 4 } .
Proof. 
This is an immediate consequence of Theorem 10. □
Example 1.
Examples 1–9 are supplemented by [8] (Tbl. 6.4–6.21, pp. 49–67). The prototypes for Graph I . 1 , that is, the minimal conductors for each scenario in Theorem 10, are as follows.
There are  regular   cases: c = 4977 with symbol { 9 , 7 , 79 } and, non-uniformly, G = M = 243 , 25 , 243 , 28 . . 30 2 (Corollary 4); c = 11349 with symbol { 9 , 13 , 97 } and, non-uniformly, G = M = 81 , 8 , 81 , 10 2 . For 38 examples see [8] (Tbl. 6.18–6.19, pp. 64–65).
Further,  singular   cases: c = 28791 with symbol { 9 , 7 , 457 } and M = 729 , 54 3 ; c = 38727 with symbol { 9 , 13 , 331 } and G = M = 243 , 8 3 ; and, with  considerable statistic delay, there occurred c = 417807 with ordinal number 189, symbol { 9 , 13 , 3571 } and M = 2187 , 301 | 305 3 .
And  super-singular   cases: c = 67347 with symbol { 9 , 7 , 1069 } and M = 2187 , 303 3 ; c = 436267 with symbol { 13 , 37 , 907 } and M = ( 6561 , 2050 # 1 ; 3 | 5 ) 3 .
In Table 5, we summarize the prototypes of graph I . 1 . The data comprise ordinal number No.; conductor c of k; combined cubic residue symbol [ p , q , r ] 3 ; regularity or (super-)singularity expressed by 3-valuation v = v 3 ( # Cl ( k 1 ) ) of class number of critical field k 1 ; critical exponents x , y , z in principal factor A ( k 1 ) = p x q y r z and , m , n in A ( k p q ) = p q , A ( k p r ) = p m r , A ( k q r ) = q n r ; capitulation type of k; second 3-class group M = Gal ( F 3 2 ( k ) / k ) of k; and length 3 ( k ) of 3-class field tower of k.
We put R : = 6561 , 2050 for abbreviation.

6.2. Category I, Graph 2

Let ( k 1 , , k 4 ) be a quartet of cyclic cubic number fields sharing the common conductor c = p q r , belonging to Graph 2 of Category I with combined cubic residue symbol [ p , q , r ] 3 = { q p r } .
Lemma 5.
(3-class ranks of components for  I . 2 .)  Under the normalizing assumptions that q splits in k p r and r splits in k p q , precisely the three components k 2 , k 3 , k 4 of the quartet have the elementary bicyclic 3-class group Cl 3 ( k μ ) ( 3 , 3 ) , μ = 2 , 3 , 4 , of rank 2, whereas the remaining component has the 3-class rank ϱ 3 ( k 1 ) = 3 . Thus, the  tame   condition 9 h 3 ( B j ) = ( U j : V j ) { 9 , 27 } , r j = 2 , is satisfied for the bicyclic bicubic fields B j with j { 2 , 3 , 4 , 8 , 9 , 10 } .
Proof. 
p is universally repelling { q p r } . Since p r , p splits in k r . Since q p , p splits in k q . Thus, p also splits in k q r and k ˜ q r . By the normalizing assumptions that q splits in k p r and r splits in k p q , the primes p , q , r share the common decomposition type ( e , f , g ) = ( 3 , 1 , 3 ) in the bicyclic bicubic field B 1 = k 1 k p q k p r k q r , which implies that ϱ 3 ( k 1 ) = 3 , according to [2] (Prop. 4.4, pp. 43–44). Finally, none among B 2 = k 2 k p q k ˜ p r k ˜ q r , B 3 = k 3 k ˜ p q k ˜ p r k q r , B 4 = k 4 k ˜ p q k p r k ˜ q r , B 8 = k 2 k 4 k p k q r , B 9 = k 2 k 3 k q k p r , B 10 = k 3 k 4 k r k p q contains k 1 . □
Proposition 6.
(Sub-triplet with 3-rank two for  I . 2 .)  For fixed μ { 2 , 3 , 4 } , let p , q , r be the prime ideals of k μ over p , q , r , that is, p O k μ = p 3 , q O k μ = q 3 , r O k μ = r 3 , then the 3-class group of k μ is generated by the non-trivial classes [ q ] , [ r ] , that is,
Cl 3 ( k μ ) = [ q ] , [ r ] ( 3 , 3 ) .
The unramified cyclic cubic relative extensions of k μ are among the absolutely bicyclic bicubic fields B i , 1 i 10 .
In terms of  decisive principal factors  A ( k 1 ) = p x q y r z , x , y , z { 0 , 1 , 2 } , and A ( k q r ) = q r n , n { 1 , 2 } , the ranks of principal factor matrices of  wild   bicyclic bicubic fields are
r 5 = 3 iff z n y ( mod 3 ) , r 6 = 3 iff z 0 iff r A ( k 1 ) , r 7 = 3 iff y 0 iff q A ( k 1 ) .
The field B 2 = k 2 k p q k ˜ p r k ˜ q r has the norm class group N B 2 / k 2 ( Cl 3 ( B 2 ) ) = [ r ] , and the transfer kernel
ker ( T B 2 / k 2 ) [ q 2 r n ] .
The field B 4 = k 4 k ˜ p q k p r k ˜ q r has the norm class group N B 4 / k 4 ( Cl 3 ( B 4 ) ) = [ q ] , and the transfer kernel
ker ( T B 4 / k 4 ) [ q 2 r n ] .
The field B 9 = k 2 k 3 k q k p r , which contains k 2 and k 3 , has the norm class group N B 9 / k μ ( Cl 3 ( B 9 ) ) = [ q ] , for μ = 2 , 3 , and the possible  fixed-point   transfer kernel
ker ( T B 9 / k μ ) [ q ] .
The field B 10 = k 3 k 4 k r k p q , which contains k 3 and k 4 , has the norm class group N B 10 / k μ ( Cl 3 ( B 10 ) ) = [ r ] , for μ = 3 , 4 , and the possible  fixed-point   transfer kernel
ker ( T B 10 / k μ ) [ r ] .
The remaining two B i > k μ , i { 3 , 5 , 6 , 7 , 8 } , more precisely, i { 7 , 8 } for μ = 2 , i { 3 , 5 } for μ = 3 , and i { 6 , 8 } for μ = 4 , have the norm class group [ qr ] or [ qr 2 ] . Among them, the tame extensions B i > k μ with either i = μ = 3 or i = 8 , μ = 2 , 4 , have the  partial   transfer kernel
ker ( T B i / k μ ) = [ qr ]
of order 3, giving rise to either a transposition or a fixed point.
Proof. 
Since p r , two principal factors are A ( k p r ) = A ( k ˜ p r ) = p ; and since q p , two further principal factors are A ( k p q ) = A ( k ˜ p q ) = p , by Proposition 3. Since p is universally repelling { q p r } , three further principal factors are A ( k μ ) = p for 2 μ 4 , by Proposition 4.
Thus, [ p ] = 1 is trivial, and the non-trivial classes [ q ] , [ r ] generate Cl 3 ( k μ ) = [ q ] , [ r ] ( 3 , 3 ) .
Since q splits in k p r , it also splits in B 4 = k 4 k ˜ p q k p r k ˜ q r , B 9 = k 2 k 3 k q k p r .
Since r splits in k p q , it also splits in B 2 = k 2 k p q k ˜ p r k ˜ q r , B 10 = k 3 k 4 k r k p q .
Since the tame condition 9 h 3 ( B j ) = ( U j : V j ) is satisfied for j { 2 , 3 , 4 , 8 , 9 , 10 } , the rank of the corresponding principal factor matrix M j must be r j = 2 . This can also be verified directly and has no further consequences.
We propose the principal factors A ( k 1 ) = p x q y r z and A ( k q r ) = q r n , A ( k ˜ q r ) = q 2 r n with n { 1 , 2 } . For each wild bicyclic bicubic field B j , j { 5 , 6 , 7 } , the rank r j is now calculated with row operations on the associated principal factor matrices M j :
M 5 = x y z 1 0 0 1 0 0 0 2 n , M 6 = x y z 1 0 0 0 1 0 1 0 0 , M 7 = x y z 1 0 0 0 0 1 1 0 0 .
For B 5 = k 1 k 3 k p k ˜ q r , M 5 leads to the decisive pivot element z + n y in the last column. So, r 5 = 3 iff z n y modulo 3. For B 6 = k 1 k 4 k q k ˜ p r , M 6 leads to z. So, r 6 = 3 iff z 0 . For B 7 = k 1 k 2 k r k ˜ p q , M 7 leads to y in the middle column. So, r 7 = 3 iff y 0 .
Since q is principal in k q , [ q ] capitulates in B 6 = k 1 k 4 k q k ˜ p r and B 9 = k 2 k 3 k q k p r , and since r is principal in k r , [ r ] capitulates in B 7 = k 1 k 2 k r k ˜ p q and B 10 = k 3 k 4 k r k p q , by Corollary 3.
Since qr n is principal in k q r , [ qr n ] capitulates in B 3 = k 3 k ˜ p q k ˜ p r k q r , B 8 = k 2 k 4 k p k q r , and since q 2 r n is principal in k ˜ q r , [ q 2 r n ] capitulates in B 2 = k 2 k p q k ˜ p r k ˜ q r , B 4 = k 4 k ˜ p q k p r k ˜ q r , and B 5 = k 1 k 3 k p k ˜ q r , by Proposition 2.
In each case, the minimal subfield unit index ( U j : V j ) = 3 for r j = 3 corresponds to the maximal unit norm index ( U ( k μ ) : N B j / k μ ( U j ) ) = 3 , associated with a total transfer kernel # ker ( T B j / k μ ) = 9 , by Lemma 2.
The minimal unit norm index ( U ( k μ ) : N B 8 / k μ ( U 8 ) ) = 1 , associated with the partial transfer kernel ker ( T B 8 / k μ ) = [ qr ] , for μ = 2 , 4 , corresponds to the tame maximal subfield unit index h 3 ( B 8 ) = ( U 8 : V 8 ) = 27 , giving rise to type invariants Cl 3 ( B 8 ) ( 9 , 3 ) . □
Using Corollary 2, Proposition 6 and parts of its proof are now summarized in Table 6 for the minimal transfer kernel type (mTKT) and n = 1 , with transposition in boldface font.
Theorem 11
(Second 3-class group for I . 2 ). To identify the second 3-class group M = Gal ( F 3 2 ( k μ ) / k μ ) , 2 μ 4 , let the principal factors of k 1 , k q r , and k ˜ q r , respectively, be A ( k 1 ) = p x q y r z , x , y , z { 0 , 1 , 2 } , A ( k q r ) = q r n , and A ( k ˜ q r ) = q 2 r n , n { 1 , 2 } , respectively, and additionally assume the regular situation where Cl 3 ( k 1 ) ( 3 , 3 , 3 ) .
Then, the  minimal transfer kernel type   (mTKT) ϰ 0 of k μ , 1 μ 4 , and other possible capitulation types in ascending partial order ϰ 0 < ϰ < ϰ , ϰ , ending in two non-comparable types, are ϰ 0 = ( 2134 ) , type G . 16 , ϰ = ( 0134 ) , type c . 21 , ϰ = ( 0004 ) , type a . 2 , ϰ = ( 0100 ) , type a . 3 , and the second 3-class group is M
81 , 8 , α = [ 11 , 21 , 11 , 11 ] , ϰ = ( 0100 ) once if y 0 , z 0 , N = 1 , 81 , 10 , α = [ 11 , 11 , 11 , 21 ] , ϰ = ( 0004 ) twice if y 0 , z 0 , N = 1 , 243 , 8 , α = [ 21 , 21 , 21 , 21 ] , ϰ = ( 0134 ) if y = z = 0 , N = 3 , 729 , 52 , α = [ 22 , 21 , 21 , 21 ] , ϰ = ( 2134 ) if y = z = 0 , N = 4 ,
where N : = # { 1 j 10 k μ < B j , I j = 27 } . Only for the leading three rows, the 3-class field tower has certainly the group G = Gal ( F 3 ( k μ ) / k μ ) M and length 3 ( k μ ) = 2 , otherwise length 3 ( k μ ) 3 cannot be excluded although d 2 ( M ) 4 .
Proof. 
Let μ { 2 , 3 , 4 } .
The first scenario, y 0 , z 0 , and z n y modulo 3 is equivalent to N = 1 , since r j = 3 , ( U j : V j ) = 3 , h 3 ( B j ) = 1 3 h 3 ( k 1 ) = 9 , for the wild j = 5 , 6 , 7 , and h 3 ( B j ) = ( U j : V j ) = 9 , for the tame j = 2 , 4 , 9 , 10 , whereas the distinguished tame j = 3 , 8 have h 3 ( B j ) = ( U j : V j ) = 27 . This gives rise to the Artin pattern of either α = [ 11 , 11 , 11 , 21 ] , ϰ = ( 0004 ) , for j = 8 , μ = 2 , 4 (twice with fixed point), characteristic for 81 , 10 , or α = [ 11 , 21 , 11 , 11 ] , ϰ = ( 0100 ) , for j = μ = 3 (only once with a non-fixed point, due to a hidden transposition), characteristic for 81 , 8 .
The other two scenarios share y = z = 0 , and thus also z = n y , independently of n, which implies r j = 2 , ( U j : V j ) { 9 , 27 } , for j = 5 , 6 , 7 , and h 3 ( B j ) = ( U j : V j ) = 27 , for the tame j = 2 , 4 , 9 , 10 , producing two fixed points at B 9 and B 10 .
The second scenario with N = 3 is supplemented by  ( U j : V j ) = 9 , h 3 ( B j ) = h 3 ( k 1 ) = 27 , for j = 5 , 6 , 7 , and total capitulation, # ker ( T B j / k μ ) = 9 , for μ = 3 , 4 , 2 . This gives rise to α = [ 21 , 21 , 21 , 21 ] , ϰ = ( 0134 ) , characteristic for 243 , 8 with annihilator ideal L in the sense of Scholz and Taussky [23].
The third scenario with N = 4 is supplemented by  ( U j : V j ) = 27 , h 3 ( B j ) = 3 h 3 ( k 1 ) = 81 , for j = 5 , 6 , 7 and partial non-fixed-point capitulation. This gives rise to α = [ 22 , 21 , 21 , 21 ] , ϰ = ( 2134 ) , characteristic for 729 , 52 with non-metabelian descendants. Here, the hidden transposition becomes explicit, between either B 2 , B 7 or B 3 , B 5 or B 4 , B 6 . □
Corollary 6
(Non-uniformity of the sub-triplet for I . 2 ). The components of the sub-triplet with 3-rank two share a common capitulation type ϰ ( k μ ) , common abelian-type invariants α ( k μ ) , and a common second 3-class group Gal ( F 3 2 ( k μ ) / k μ ) , for μ = 2 , 3 , 4 , only if y = z = 0 , N = 3 , 4 . For y 0 , z 0 , N = 1 , however, only two fields k 2 and k 4 share common invariants, whereas k 3 has different ϰ ( k 3 ) and different Gal ( F 3 2 ( k 3 ) / k 3 ) .
Proof. 
This follows immediately from Theorem 11, whereas Table 6 with the minimal transfer kernel type ϰ 0 = ( 2134 ) only shows the uniform situation, which can become non-uniform by superposition with total transfer kernels, when N = 1 . □
Example 2.
For 60 examples see [8] (Tbl. 6.20–6.21, pp. 66–67). Prototypes for Graph I.2, i.e., minimal conductors for each scenario in Theorem 11, have been found for each N { 1 , 3 , 4 } .
Some are  regular: c = 8001 with symbol { 9 127 7 } and, non-uniformly, once G = M = 81 , 8 but twice 81 , 10 2 ; c = 21049 with symbol { 7 97 31 } and uniformly three times G = M = 243 , 8 3 ; and c = 59031 with symbol { 9 937 7 } and M = 729 , 52 3 .
Others are  singular: c = 7657 with symbol { 13 31 19 } and G = M = 243 , 8 3 ; and c = 48393 with symbol { 9 19 283 } and M = 2187 , 301 | 305 3 .
The groups of order 729 with the transfer kernel type G . 16 have non-metabelian extensions.
In Table 7, we summarize the prototypes of Graph I . 2 in the same way as in Table 5, except that two critical exponents y , z in the principal factor A ( k 1 ) = p x q y r z and n in A ( k q r ) = q r n are sufficient.

6.3. Category II, Graph 1

Let ( k 1 , , k 4 ) be a quartet of cyclic cubic number fields sharing the common conductor c = p q r , belonging to Graph 1 of Category II with combined cubic residue symbol [ p , q , r ] 3 = { p q r } .
Lemma 6
(3-class ranks of components for II . 1 ). Under the normalizing assumption that q splits in k ˜ p r , precisely the two components k 2 and k 3 of the quartet have the elementary bicyclic 3-class group Cl 3 ( k 2 ) Cl 3 ( k 3 ) ( 3 , 3 ) of rank 2, whereas the other two components have the 3-class rank ϱ 3 ( k 1 ) = ϱ 3 ( k 4 ) = 3 . Thus, the tame condition 9 h 3 ( B j ) = ( U j : V j ) { 9 , 27 } , r j = 2 , is only satisfied for the bicyclic bicubic fields B j with j { 2 , 3 , 9 } .
Proof. 
Since p q , p splits in k q . Since q r , r splits in k q , and also splits in B 9 = k 2 k 3 k q k p r . By the normalizing assumption that q splits in k ˜ p r , it also splits in B 2 = k 2 k p q k ˜ p r k ˜ q r and B 3 = k 3 k ˜ p q k ˜ p r k q r . The primes p , q , r share the common decomposition type ( e , f , g ) = ( 3 , 1 , 3 ) in the bicyclic bicubic field B 6 = k 1 k 4 k q k ˜ p r , which implies that ϱ 3 ( k 1 ) = ϱ 3 ( k 4 ) = 3 , according to ([2] Prop. 4.4, pp. 43–44). Finally, only B 2 = k 2 k p q k ˜ p r k ˜ q r , B 3 = k 3 k ˜ p q k ˜ p r k q r , B 9 = k 2 k 3 k q k p r do not contain k 1 , k 4 . □
Proposition 7
(Sub-doublet with 3-rank two for II . 1 ). For fixed μ { 2 , 3 } , let p , q , r be the prime ideals of k μ over p , q , r , that is, p O k μ = p 3 , q O k μ = q 3 , r O k μ = r 3 , then the 3-class group of k μ is generated by the non-trivial classes [ q ] , [ r ] , that is,
Cl 3 ( k μ ) = [ q ] , [ r ] ( 3 , 3 ) .
The unramified cyclic cubic relative extensions of k μ are among the absolutely bicyclic bicubic fields B i , 1 i 10 . The unique B μ , μ { 2 , 3 } , which only contains k μ , has the norm class group N B μ / k μ ( Cl 3 ( B μ ) ) = [ q ] , the transfer kernel
ker ( T B μ / k μ ) [ r ]
and the 3-class group Cl 3 ( B μ ) = [ Q 1 ] , [ Q 2 ] , [ Q 3 ] ( 3 , 3 ) , generated by the classes of the prime ideals of B μ over q O B μ = Q 1 Q 2 Q 3 . The unique B 9 = k 2 k 3 k q k p r , which contains k 2 and k 3 , has the norm class group N B 9 / k μ ( Cl 3 ( B 9 ) ) = [ r ] , the  cyclic   transfer kernel
ker ( T B 9 / k μ ) = [ q ]
of order 3, and the  elementary tricyclic  3-class group  Cl 3 ( B 9 ) = [ R 1 ] , [ R 2 ] , [ R 3 ] ( 3 , 3 , 3 ) , generated by the classes of the prime ideals of B 9 over r O B 9 = R 1 R 2 R 3 . The remaining two B i > k μ , i { 5 , 7 , 8 , 10 } , more precisely, i { 7 , 8 } for μ = 2 , and i { 5 , 10 } for μ = 3 , have the norm class group [ qr ] or [ qr 2 ] , and the transfer kernel
ker ( T B i / k μ ) [ r ] .
In terms of  decisive principal factors  A ( k ν ) = p x ν q y ν r z ν for ν { 1 , 4 } , the ranks of principal factor matrices M i , i { 1 , 4 , 5 , 7 , 8 , 10 } , of  wild   bicyclic bicubic fields are
r 1 = r 5 = r 7 = 3 iff y 1 0 iff q A ( k 1 ) and r 4 = r 8 = r 10 = 3 iff y 4 0 iff q A ( k 4 ) .
Proof. 
Since p q , two principal factors are A ( k p q ) = A ( k ˜ p q ) = p ; since q r , two further principal factors are A ( k q r ) = A ( k ˜ q r ) = r , both by Proposition 3.
Since the tame condition 9 h 3 ( B j ) = ( U j : V j ) is satisfied for j { 2 , 3 , 9 } , the rank of the corresponding principal factor matrix M j must be r 2 = r 3 = r 9 = 2 . We propose principal factors A ( k μ ) = p x μ q y μ r z μ , for all 1 μ 4 , and A ( k p r ) = p r , A ( k ˜ p r ) = p 2 r with { 1 , 2 } .
For each bicyclic bicubic field B j , the rank r j is calculated with row operations on the associated principal factor matrices M j :
M 2 = x 2 y 2 z 2 1 0 0 2 0 0 0 1 , M 3 = x 3 y 3 z 3 1 0 0 2 0 0 0 1 , M 9 = x 2 y 2 z 2 x 3 y 3 z 3 0 1 0 1 0 .
For B 2 = k 2 k p q k ˜ p r k ˜ q r , M 2 leads to the decisive pivot element y 2 in the middle column, and similarly, for B 3 = k 3 k ˜ p q k ˜ p r k q r , M 3 leads to y 3 . So, r 2 = r 3 = 2 enforces y 2 = y 3 = 0 , i.e., q A ( k 2 ) , q A ( k 3 ) . However, for B 9 = k 2 k 3 k q k p r , M 9 leads to z 2 x 2 and z 3 x 3 . So, r 9 = 2 enforces z 2 x 2 and z 3 x 3 modulo 3, i.e., A ( k 2 ) = A ( k 3 ) = p r .
For every wild bicyclic bicubic field B j , j { 1 , 4 , 5 , 6 , 7 , 8 , 10 } , the rank r j is calculated by row operations on the matrices M j , using A ( k 2 ) = A ( k 3 ) = p r :
M 1 = x 1 y 1 z 1 1 0 0 1 0 0 0 1 , M 5 = x 1 y 1 z 1 1 0 1 0 0 0 0 1 , M 7 = x 1 y 1 z 1 1 0 0 0 1 1 0 0 .
For B 1 = k 1 k p q k p r k q r , M 1 leads to the decisive pivot element y 1 in the middle column; similarly, for B 5 = k 1 k 3 k p k ˜ q r , M 5 leads to y 1 ; and similarly, for B 7 = k 1 k 2 k r k ˜ p q , M 7 leads to y 1 . So, r 1 = r 5 = r 7 = 3 iff y 1 0 iff q A ( k 1 ) . Next, we consider:
M 4 = x 4 y 4 z 4 1 0 0 1 0 0 0 1 , M 8 = 1 0 x 4 y 4 z 4 1 0 0 0 0 1 , M 10 = 1 0 x 4 y 4 z 4 0 0 1 1 0 0 .
For B 4 = k 4 k ˜ p q k p r k ˜ q r , M 4 leads to the decisive pivot element y 4 in the middle column; similarly, for B 8 = k 2 k 4 k p k q r , M 8 leads to y 4 ; and similarly, for B 10 = k 3 k 4 k r k p q , M 10 leads to y 4 . So, r 4 = r 8 = r 10 = 3 iff y 4 0 iff q A ( k 4 ) .
By Lemma 2, the minimal subfield unit index ( U j : V j ) = 3 for r j = 3 corresponds to the maximal unit norm index ( U ( k μ ) : N B j / k μ ( U j ) ) = 3 , associated with a total transfer kernel # ker ( T B j / k μ ) = 9 .
Since q splits in k ˜ p r , it also splits in B 2 = k 2 k p q k ˜ p r k ˜ q r , B 3 = k 3 k ˜ p q k ˜ p r k q r , q O B μ = Q 1 Q 2 Q 3 .
Since r splits in k q , it also splits in B 9 = k 2 k 3 k q k p r , r O B 9 = R 1 R 2 R 3 .
Since r is principal in k r , k q r , k ˜ q r , [ r ] capitulates in B 2 = k 2 k p q k ˜ p r k ˜ q r , B 3 = k 3 k ˜ p q k ˜ p r k q r , B 5 = k 1 k 3 k p k ˜ q r , B 7 = k 1 k 2 k r k ˜ p q , B 8 = k 2 k 4 k p k q r , B 10 = k 3 k 4 k r k p q ; since q is principal in k q , [ q ] capitulates in B 9 = k 2 k 3 k q k p r (Proposition 2). This gives a transposition, either ( 2 , 9 ) or ( 3 , 9 ) .
The minimal unit norm index ( U ( k μ ) : N B 9 / k μ ( U 9 ) ) = 1 , associated with the partial transfer kernel ker ( T B 9 / k μ ) = [ q ] , corresponds to the maximal subfield unit index h 3 ( B 9 ) = ( U 9 : V 9 ) = 27 , giving rise to the elementary tricyclic type invariants Cl 3 ( B 9 ) = [ R 1 ] , [ R 2 ] , [ R 3 ] ( 3 , 3 , 3 ) . □
Using Corollary 2, Proposition 7 and parts of its proof are now summarized in Table 8 with transposition in bold font.
Theorem 12
(Second 3-class group for II . 1 ). Let ( k 1 , , k 4 ) be a quartet of cyclic cubic number fields sharing the common conductor c = p q r , belonging to Graph 1 of Category II with the combined cubic residue symbol [ p , q , r ] 3 = { p q r } . Without loss of generality, suppose that q splits in k ˜ p r , and thus, Cl 3 ( k 2 ) Cl 3 ( k 3 ) ( 3 , 3 ) , and ϱ 3 ( k 1 ) = ϱ 3 ( k 4 ) = 3 .
Then, the  minimal transfer kernel type   (mTKT) of k μ , 2 μ 3 is ϰ 0 = ( 2111 ) , type H . 4 , and the other possible capitulation types in ascending order ϰ 0 < ϰ < ϰ < ϰ are ϰ = ( 2110 ) , type d . 19 , ϰ = ( 2100 ) , type b . 10 , and ϰ = ( 2000 ) , type a . 3 * .
To identify the second 3-class group M = Gal ( F 3 2 ( k μ ) / k μ ) , 2 μ 3 , let the  decisive principal factors   of k ν , ν { 1 , 4 } be A ( k ν ) = p x ν q y ν r z ν , and additionally, assume the  regular situation  where both Cl 3 ( k 1 ) Cl 3 ( k 4 ) ( 3 , 3 , 3 ) are elementary tricyclic. Then,
M 81 , 7 , α = [ 111 , 11 , 11 , 11 ] , ϰ = ( 2000 ) if y 1 0 , y 4 0 , N = 1 , 729 , 34 . . 39 , α = [ 111 , 111 , 21 , 21 ] , ϰ = ( 2100 ) if y 1 = y 4 = 0 , N = 2 , 729 , 41 , α = [ 111 , 111 , 22 , 21 ] , ϰ = ( 2110 ) if y 1 = y 4 = 0 , N = 3 , 6561 , 714 . . 719 | 738 . . 743 or 2187 , 65 | 67 , α = [ 111 , 111 , 22 , 22 ] , ϰ = ( 2111 ) if y 1 = y 4 = 0 , N = 4 ,
where N : = # { 1 j 10 k μ < B j , I j = 27 } . Only in the leading row has the 3-class field tower warranted the group G = Gal ( F 3 ( k μ ) / k μ ) M , with length 3 ( k μ ) = 2 . Otherwise, although the relation rank d 2 ( M ) 4 is always admissible, the tower length 3 ( k μ ) 3 cannot be excluded.
Proof. 
We give the proof for k 3 with unramified cyclic cubic extensions B 3 , B 5 , B 9 , B 10 (the proof for k 2 with unramified cyclic cubic extensions B 2 , B 7 , B 8 , B 9 is similar). We know that the tame ranks are r 2 = r 3 = r 9 = 2 , and thus I 2 , I 3 , I 9 { 9 , 27 } , in particular, I 9 = 27 , whence certainly N 1 . Further, the wild ranks are r 1 = r 5 = r 7 = 3 iff y 1 0 , and r 4 = r 8 = r 10 = 3 iff y 4 0 .
In the regular situation where the 3-class groups of k 1 and k 4 are elementary tricyclic, tight bounds arise for the abelian quotient invariants α of the group M :
The first scenario, y 1 0 , y 4 0 is equivalent to N = 1 , h 3 ( B 5 ) = h 3 ( B 7 ) = 1 3 h 3 ( k 1 ) = 9 , h 3 ( B 8 ) = h 3 ( B 10 ) = 1 3 h 3 ( k 4 ) = 9 , h 3 ( B 2 ) = I 2 = h 3 ( B 3 ) = I 3 = 9 , h 3 ( B 9 ) = I 9 = 27 , that is, α = [ 111 , 11 , 11 , 11 ] and consequently, ϰ = ( 2000 ) , since 81 , 7 is unique with this α .
The other three scenarios share y 1 = y 4 = 0 , and an explicit transposition between B 3 and B 9 , giving rise to ϰ = ( 21 ) , and common h 3 ( B 3 ) = I 3 = 27 , α = [ 111 , 111 , , ] .
The second scenario with N = 2 is supplemented by
h 3 ( B 5 ) = h 3 ( k 1 ) = 27 , h 3 ( B 10 ) = h 3 ( k 4 ) = 27 , giving rise to α = [ 111 , 111 , 21 , 21 ] , ϰ = ( 2100 ) , characteristic for 729 , 34 . . 39 (Corollary 4).
The third scenario with N = 3 is supplemented by
h 3 ( B 5 ) = 3 h 3 ( k 1 ) = 81 , h 3 ( B 10 ) = h 3 ( k 4 ) = 27 , giving rise to α = [ 111 , 111 , 22 , 21 ] , ϰ = ( 2110 ) , characteristic for 729 , 41 .
The fourth scenario with N = 4 is supplemented by
h 3 ( B 5 ) = 3 h 3 ( k 1 ) = 81 , h 3 ( B 10 ) = 3 h 3 ( k 4 ) = 81 , giving rise to α = [ 111 , 111 , 22 , 22 ] , ϰ = ( 2111 ) , characteristic for either 2187 , 65 | 67 or 6561 , 714 . . 719 | 738 . . 743 with coclass cc = 3 . If d 2 ( M ) = 5 , then tower length must be 3 ( k μ ) 3 . For this minimal capitulation type H.4, ϰ = ( 2111 ) , all transfer kernels are cyclic of order 3, and the minimal unit norm indices correspond to maximal subfield unit indices. □
Corollary 7
(Uniformity of the sub-doublet for II . 1 ). The components of the sub-doublet with 3-rank two share a common capitulation type ϰ ( k 2 ) ϰ ( k 3 ) , common abelian-type invariants α ( k 2 ) α ( k 3 ) , and a common second 3-class group Gal ( F 3 2 ( k 2 ) / k 2 ) Gal ( F 3 2 ( k 3 ) / k 3 ) .
Proof. 
This is an immediate consequence of Theorem 12 and Table 8. □
Example 3.
For 47 examples see [8] (Tbl. 6.14–6.15, pp. 60–61). Prototypes for Graph II . 1 , i.e., minimal conductors for each scenario in Theorem 12, have been detected for all N { 1 , 2 , 3 , 4 } .
There are  regular   cases: c = 3913 with symbol { 13 7 43 } and G = M = 81 , 7 ; c = 22581 with symbol { 9 193 13 } and M = 729 , 41 ; c = 25929 with symbol { 9 67 43 } and M = 729 , 34 . . 36 (Corollary 4); c = 74043 with symbol { 19 9 433 } and either M = 2187 , 65 | 67 with d 2 ( M ) = 5 or M = 6561 , 714 . . 719 | 738 . . 743 with d 2 ( M ) = 4 ; and c = 82327 with symbol { 7 19 619 } and M = 729 , 37 . . 39 (Corollary 4).
We also have  singular   cases: c = 30457 with symbol { 7 19 229 } and M = 729 , 37 . . 39 (Corollary 4); c = 34029 with symbol { 19 9 199 } and M = 2187 , 248 | 249 ; c = 41839 with symbol { 43 7 139 } and M = 6561 , 693 . . 698 .
Finally, there is the  super-singular  c = 83817 with symbol { 9 67 139 } and M = 6561 , 693 . . 698 .
With the exception of 81 , 7 , all groups have non-metabelian descendants and extensions.
In Table 9, we summarize the prototypes of Graph II . 1 in the same manner as in Table 5, except that regularity or (super-)singularity is expressed by 3-valuations v ν = v 3 ( # Cl ( k ν ) ) of class numbers of critical fields k ν , ν = 1 , 4 , and critical exponents are y ν in principal factors A ( k ν ) = p x ν q y ν r z ν , ν = 1 , 4 .

6.4. Category II, Graph 2

Let ( k 1 , , k 4 ) be a quartet of cyclic cubic number fields sharing the common conductor c = p q r , belonging to Graph 2 of Category II with combined cubic residue symbol [ p , q , r ] 3 = { q p r q } .
Lemma 7
(3-class ranks of components for II . 2 ). Under the normalizing assumption that r splits in k p q , precisely the two components k 1 and k 2 of the quartet have the elementary bicyclic 3-class group Cl 3 ( k 1 ) Cl 3 ( k 2 ) ( 3 , 3 ) of rank 2, whereas the other two components have the 3-class rank ϱ 3 ( k 3 ) = ϱ 3 ( k 4 ) = 3 . Thus, the tame condition 9 h 3 ( B j ) = ( U j : V j ) { 9 , 27 } , r j = 2 , is only satisfied for the bicyclic bicubic fields B j with j { 1 , 2 , 7 } .
Proof. 
Since p r , p splits in k r . Since r q , q splits in k r , and also splits in B 7 = k 1 k 2 k r k ˜ p q . By the normalizing assumption that r splits in k p q , it also splits in B 1 = k 1 k p q k p r k q r and B 2 = k 2 k p q k ˜ p r k ˜ q r . The primes p , q , r share the common decomposition type ( e , f , g ) = ( 3 , 1 , 3 ) in the bicyclic bicubic field B 10 = k 3 k 4 k r k p q , which implies that ϱ 3 ( k 3 ) = ϱ 3 ( k 4 ) = 3 , according to [2] (Prop. 4.4, pp. 43–44). Finally, only B 1 = k 1 k p q k p r k q r , B 2 = k 2 k p q k ˜ p r k ˜ q r , B 7 = k 1 k 2 k r k ˜ p q do not contain k 3 , k 4 . □
Proposition 8
(Sub-doublet with 3-rank two for II . 2 ). For fixed μ { 1 , 2 } , let p , q , r be the prime ideals of k μ over p , q , r , that is, p O k μ = p 3 , q O k μ = q 3 , r O k μ = r 3 ; then, the principal factor of k μ is A ( k μ ) = p , with [ p ] = 1 , and the 3-class group of k μ is
Cl 3 ( k μ ) = [ q ] , [ r ] ( 3 , 3 ) .
The unramified cyclic cubic relative extensions of k μ are among the absolutely bicyclic bicubic fields B i , 1 i 10 . The unique B μ , μ { 1 , 2 } , which only contains k μ , has the norm class group N B μ / k μ ( Cl 3 ( B μ ) ) = [ r ] , the transfer kernel
ker ( T B μ / k μ ) [ q ]
and the 3-class group Cl 3 ( B μ ) = [ R 1 ] , [ R 2 ] , [ R 3 ] ( 3 , 3 ) , generated by the classes of the prime ideals of B μ over r O B μ = R 1 R 2 R 3 . The unique B 7 = k 1 k 2 k r k ˜ p q , which contains k 1 and k 2 , has norm class group N B 7 / k μ ( Cl 3 ( B 7 ) ) = [ q ] , the  cyclic   transfer kernel
ker ( T B 7 / k μ ) = [ r ]
of order 3, and  elementary tricyclic  3-class group Cl 3 ( B 7 ) = [ Q 1 ] , [ Q 2 ] , [ Q 3 ] ( 3 , 3 , 3 ) , generated by the classes of the prime ideals of B 7 over q O B 7 = Q 1 Q 2 Q 3 . The remaining two B i > k μ , i { 5 , 6 , 8 , 9 } , more precisely, i { 5 , 6 } for μ = 1 , and i { 8 , 9 } for μ = 2 , have the norm class group [ qr ] or [ qr 2 ] , and the transfer kernel
ker ( T B i / k μ ) [ q ] .
In terms of  decisive principal factors  A ( k ν ) = p x ν q y ν r z ν for ν { 3 , 4 } , the ranks of principal factor matrices M i , i { 3 , 4 , 5 , 6 , 8 , 9 } , of  wild   bicyclic bicubic fields are
r 3 = r 5 = r 9 = 3 iff z 3 0 iff r A ( k 3 ) and r 4 = r 6 = r 8 = 3 iff z 4 0 iff r A ( k 4 ) .
Proof. 
Since q p , two principal factors are A ( k p q ) = A ( k ˜ p q ) = p ; since p r , two further principal factors are A ( k p r ) = A ( k ˜ p r ) = p ; since r q , two further principal factors are A ( k q r ) = A ( k ˜ q r ) = q , each by Proposition 3. Since q p r is universally repelling, we have A ( k 1 ) = A ( k 2 ) = p , by Proposition 4.
Thus p = α O k μ is a principal ideal with trivial class [ p ] = 1 , for μ { 1 , 2 } , whereas the classes [ q ] , [ r ] are non-trivial. We propose A ( k ν ) = p x ν q y ν r z ν for ν { 3 , 4 } .
Since the tame condition 9 h 3 ( B j ) = ( U j : V j ) is satisfied for j { 1 , 2 , 7 } , the rank of the corresponding principal factor matrix M j must be r 1 = r 2 = r 7 = 2 . Due to the principal factors A ( k 1 ) = A ( k 2 ) = p , this also follows by direct calculation, but has no further consequences. For every wild bicyclic bicubic field B j , j { 3 , 4 , 5 , 6 , 8 , 9 , 10 } , the rank r j is calculated with row operations on the associated principal factor matrices M j :
M 3 = x 3 y 3 z 3 1 0 0 1 0 0 0 1 0 , M 5 = 1 0 0 x 3 y 3 z 3 1 0 0 0 1 0 , M 9 = 1 0 0 x 3 y 3 z 3 0 1 0 1 0 0 .
For B 3 = k 3 k ˜ p q k ˜ p r k q r , M 3 leads to the decisive pivot element z 3 in the last column; similarly, for B 5 = k 1 k 3 k p k ˜ q r , M 5 leads to z 3 ; and similarly, for B 9 = k 2 k 3 k q k p r , M 9 leads to z 3 . So, r 3 = r 5 = r 9 = 3 iff z 3 0 iff r A ( k 3 ) . Next, we consider:
M 4 = x 4 y 4 z 4 1 0 0 1 0 0 0 1 0 , M 6 = 1 0 0 x 4 y 4 z 4 0 1 0 1 0 0 , M 8 = 1 0 0 x 4 y 4 z 4 1 0 0 0 1 0 .
For B 4 = k 4 k ˜ p q k p r k ˜ q r , M 4 leads to the decisive pivot element z 4 in the last column; similarly, for B 6 = k 1 k 4 k q k ˜ p r , M 6 leads to z 4 ; and similarly, for B 8 = k 2 k 4 k p k q r , M 8 leads to z 4 . So, r 4 = r 6 = r 8 = 3 iff z 4 0 iff r A ( k 4 ) .
By Lemma 2, the minimal subfield unit index ( U j : V j ) = 3 for r j = 3 corresponds to the maximal unit norm index ( U ( k μ ) : N B j / k μ ( U j ) ) = 3 , associated to a total transfer kernel # ker ( T B j / k μ ) = 9 .
As mentioned in the proof of Lemma 7 already:
Since r splits in k p q , it also splits in B 1 = k 1 k p q k p r k q r , B 2 = k 2 k p q k ˜ p r k ˜ q r , i.e., r O B μ = R 1 R 2 R 3 .
Since q splits in k r , it also splits in B 7 = k 1 k 2 k r k ˜ p q , i.e., q O B 7 = Q 1 Q 2 Q 3 .
Since q is principal in k q , k q r , k ˜ q r , [ q ] capitulates in B 1 = k 1 k p q k p r k q r , B 2 = k 2 k p q k ˜ p r k ˜ q r , B 5 = k 1 k 3 k p k ˜ q r , B 6 = k 1 k 4 k q k ˜ p r , B 8 = k 2 k 4 k p k q r , B 9 = k 2 k 3 k q k p r ; since r is principal in k r , [ r ] capitulates in B 7 = k 1 k 2 k r k ˜ p q (Proposition 2). This gives a transposition, either ( 1 , 7 ) or ( 2 , 7 ) .
The minimal unit norm index ( U ( k μ ) : N B 7 / k μ ( U 7 ) ) = 1 , associated with the partial transfer kernel ker ( T B 7 / k μ ) = [ r ] , corresponds to the maximal subfield unit index h 3 ( B 7 ) = ( U 7 : V 7 ) = 27 , giving rise to the elementary tricyclic-type invariants Cl 3 ( B 7 ) = [ Q 1 ] , [ Q 2 ] , [ Q 3 ] ( 3 , 3 , 3 ) . □
In terms of capitulation targets in Corollary 2, Proposition 8 and parts of its proof are now summarized in Table 10 with transposition in bold font.
Theorem 13
(Second 3-class group for II . 2 ). Let ( k 1 , , k 4 ) be a quartet of cyclic cubic number fields sharing the common conductor c = p q r , belonging to Graph 2 of Category II with combined cubic residue symbol [ p , q , r ] 3 = { q p r q } . Without loss of generality, suppose that r splits in k p q , and thus, Cl 3 ( k 1 ) Cl 3 ( k 2 ) ( 3 , 3 ) , and ϱ 3 ( k 3 ) = ϱ 3 ( k 4 ) = 3 .
Then, the  minimal transfer kernel type   (mTKT) of k μ , 1 μ 2 , is ϰ 0 = ( 2111 ) , type H . 4 , and the other possible capitulation types in ascending order ϰ 0 < ϰ < ϰ < ϰ are ϰ = ( 2110 ) , type d . 19 , ϰ = ( 2100 ) , type b . 10 , and ϰ = ( 2000 ) , type a . 3 * .
To identify the second 3-class group M = Gal ( F 3 2 ( k μ ) / k μ ) , 1 μ 2 , let the decisive  principal factors   of k ν , 3 ν 4 , be A ( k ν ) = p x ν q y ν r z ν , and additionally, assume the  regular  situation where both Cl 3 ( k 3 ) Cl 3 ( k 4 ) ( 3 , 3 , 3 ) are elementary tricyclic. Then,
M 81 , 7 , α = [ 111 , 11 , 11 , 11 ] , ϰ = ( 2000 ) if z 3 0 , z 4 0 , N = 1 , 729 , 34 . . 39 , α = [ 111 , 111 , 21 , 21 ] , ϰ = ( 2100 ) if z 3 = z 4 = 0 , N = 2 , 729 , 41 , α = [ 111 , 111 , 22 , 21 ] , ϰ = ( 2110 ) if z 3 = z 4 = 0 , N = 3 , 6561 , 714 . . 719 | 738 . . 743 or 2187 , 65 | 67 , α = [ 111 , 111 , 22 , 22 ] , ϰ = ( 2111 ) if z 3 = z 4 = 0 , N = 4 ,
where N : = # { 1 j 10 k μ < B j , I j = 27 } . Only in the leading row has the 3-class field tower warranted the group G = Gal ( F 3 ( k μ ) / k μ ) M , with length 3 ( k μ ) = 2 . Otherwise, even if the relation rank d 2 ( M ) 4 is admissible, the tower length 3 ( k μ ) 3 cannot be excluded.
Proof. 
We give the proof for k 1 with unramified cyclic cubic extensions B 1 , B 5 , B 6 , B 7 (the proof for k 2 with unramified cyclic cubic extensions B 2 , B 7 , B 8 , B 9 is similar). We know that the tame ranks are r 1 = r 2 = r 7 = 2 , and thus I 1 , I 2 , I 7 { 9 , 27 } , in particular, I 7 = 27 , whence certainly N 1 . Further, the wild ranks are r 4 = r 6 = r 8 = 3 iff z 4 0 , and r 3 = r 5 = r 9 = 3 iff z 3 0 .
In the regular situation where the 3-class groups of k 3 and k 4 are elementary tricyclic, tight bounds arise for the abelian quotient invariants α of the group M :
The first scenario, z 3 0 , z 4 0 , is equivalent to N = 1 , h 3 ( B 5 ) = h 3 ( B 9 ) = 1 3 h 3 ( k 3 ) = 9 , h 3 ( B 6 ) = h 3 ( B 8 ) = 1 3 h 3 ( k 4 ) = 9 , h 3 ( B 1 ) = I 1 = h 3 ( B 2 ) = I 2 = 9 , h 3 ( B 7 ) = I 7 = 27 , that is, α = [ 111 , 11 , 11 , 11 ] and consequently ϰ = ( 2000 ) , since 81 , 7 is unique with this α .
The other three scenarios share z 3 = z 4 = 0 , and an explicit transposition between B 1 and B 7 , giving rise to ϰ = ( 21 ) , and common h 3 ( B 1 ) = I 1 = 27 , α = [ 111 , 111 , , ] .
The second scenario with N = 2 is supplemented by h 3 ( B 5 ) = h 3 ( k 3 ) = 27 , h 3 ( B 6 ) = h 3 ( k 4 ) = 27 , giving rise to α = [ 111 , 111 , 21 , 21 ] , ϰ = ( 2100 ) , characteristic for 729 , 34 . . 39 (Corollary 4).
The third scenario with N = 3 is supplemented by h 3 ( B 5 ) = 3 h 3 ( k 3 ) = 81 , h 3 ( B 6 ) = h 3 ( k 4 ) = 27 , giving rise to α = [ 111 , 111 , 22 , 21 ] , ϰ = ( 2110 ) , characteristic for 729 , 41 .
The fourth scenario with N = 4 is supplemented by h 3 ( B 5 ) = 3 h 3 ( k 3 ) = 81 , h 3 ( B 6 ) = 3 h 3 ( k 4 ) = 81 , giving rise to α = [ 111 , 111 , 22 , 22 ] , ϰ = ( 2111 ) , characteristic for 2187 , 65 | 67 or 6561 , 714 . . 719 | 738 . . 743 with coclass cc = 3 . If d 2 ( M ) = 5 , then 3 ( k μ ) 3 . □
Corollary 8
(Uniformity of the sub-doublet for II . 2 ). The components of the sub-doublet with 3-rank two share a common capitulation type ϰ ( k 1 ) ϰ ( k 2 ) , common abelian-type invariants α ( k 1 ) α ( k 2 ) , and a common second 3-class group Gal ( F 3 2 ( k 1 ) / k 1 ) Gal ( F 3 2 ( k 2 ) / k 2 ) .
Proof. 
This follows immediately from Theorem 13 and Table 10. □
Example 4.
For 45 examples see [8] (Tbl. 6.16–6.17, pp. 61–62). Prototypes for Graph II . 2 , i.e., minimal conductors for each scenario in Theorem 13 have been found for each N { 1 , 2 , 3 , 4 } .
There are  regular   cases: c = 6327 with symbol { 19 9 37 19 } and G = M = 81 , 7 ; c = 41629 with symbol { 19 313 7 19 } and M = 729 , 34 . . 36 (Corollary 4); c = 56547 with symbol { 61 103 9 61 } and M = 729 , 41 ; and, with  considerable statistic delay, c = 389329 with ordinal number 207, symbol { 19 661 31 19 } and either M = 2187 , 65 | 67 with d 2 ( M ) = 5 or M = 6561 , 714 . . 719 | 738 . . 743 with d 2 ( M ) = 4 .
Further, there are  singular   cases: c = 27873 with symbol { 19 9 163 19 } and M = 729 , 34 . . 36 (Corollary 4); c = 29197 with symbol { 43 7 97 43 } and M = 2187 , 253 ; and c = 63511 with symbol { 43 7 211 43 } and M = 729 , 37 . . 39 (Corollary 4).
Finally, there is the  super-singular  c = 66157 with symbol { 13 7 727 13 } and M = 6561 , 1989 .
With exception of 81 , 7 , all groups have non-metabelian descendants and extensions.
In Table 11, we summarize the prototypes of Graph II . 2 in the same way as in Table 5, except that regularity or (super-)singularity is expressed by 3-valuations v ν = v 3 ( # Cl ( k ν ) ) of class numbers of critical fields k ν , ν = 3 , 4 , and critical exponents are z ν in principal factors A ( k ν ) = p x ν q y ν r z ν , ν = 3 , 4 .

7. Category III, Graphs 1–4

Let the combined cubic residue symbol [ p , q , r ] 3 of three prime(power)s dividing the conductor c = p q r be either { p , q , r ; δ 0 ( mod 3 ) } or { p q ; r } or { p q r } or { p q r p } . The symbol does not contain any mutual cubic residues. We verify a conjecture in [8] (Cnj. 1, p. 48).
Theorem 14.
A cyclic cubic field k with conductor c = p q r , divisible by exactly three prime(power)s p , q , r , has an abelian 3-class field tower with group G = Gal ( F 3 ( k ) / k ) 9 , 2 , α = [ 1 , 1 , 1 , 1 ] , ϰ = ( 0000 ) , if and only if the primes p , q , r form one of the four Graphs 1–4 of Category III .
Proof. 
Ayadi [2] (Thm. 4.1, pp. 76–77) has proved the sufficiency of the condition. He does not claim explicitly that the condition is also necessary. However, his techniques are able to prove both directions. Recall that for both Graphs 1–2 of Categories I and II , there is at least one component of the quartet ( k μ ) μ = 1 4 with 3-class rank ϱ ( k μ ) = 3 , and that for all Graphs 5–9 of Category III , two primes p q are mutual cubic residues, according to Theorem 2. In contrast, precisely for Graphs 1–4 of Category III , the symbol [ p , q , r ] 3 does not contain any mutual cubic residues, and all four components have the 3-class rank ϱ ( k μ ) = 2 and the elementary bicyclic 3-class group Cl 3 ( k μ ) ( 3 , 3 ) , whence these are the only cases where all bicyclic bicubic fields B j , 1 j 10 , satisfy the tame relation h 3 ( B j ) = ( U j : V j ) = 3 with the matrix rank r j = 3 . This is equivalent with abelian-type invariants α ( k μ ) = [ 1 , 1 , 1 , 1 ] for all 1 μ 4 . By the strategy of pattern recognition [15], this enforces the abelian group G 9 , 2 ( 3 , 3 ) , which is the unique 3-group G with G / G ( 3 , 3 ) and abelian-quotient invariants α ( G ) = [ 1 , 1 , 1 , 1 ] . □
For the prototypes of Graphs 1 , , 4 of Category III see [8] (Tbl. 6.3, p. 48). Systematic tables are presented at http://www.algebra.at/ResearchFrontier2013ThreeByThree.htm (accessed on 10 October 2023) in Section 2.1 and Section 2.2.

8. Category III, Graphs 5–9

In this section, the combined cubic residue symbol [ p , q , r ] 3 of three prime(power)s dividing the conductor c = p q r contains a unique pair p q of mutual cubic residues.
Consequently, the decisive principal factors
A ( k p q ) = p m q n , A ( k ˜ p q ) = p m ˜ q n ˜
must be assumed with variable exponents in { 0 , 1 , 2 } , such that ( m , n ) ( 0 , 0 ) and ( m ˜ , n ˜ ) ( 0 , 0 ) . Concerning 3-class groups of cyclic cubic subfields k < k * with t = 2 , an elementary cyclic group Cl 3 ( k ) ( 3 ) is warranted for k { k p r , k ˜ p r , k q r , k ˜ q r } . For the critical fields k { k p q , k ˜ p q } , however, we must distinguish the regular situation Cl 3 ( k f * ) ( 3 , 3 ) in terms of the sub-genus field k f * = k p q · k ˜ p q with partial conductor f = p q , which divides c = p q r , where Cl 3 ( k p q ) Cl 3 ( k ˜ p q ) ( 3 , 3 ) and equality ( m , n ) = ( m ˜ , n ˜ ) is warranted, as opposed to the singular situation Cl 3 ( k f * ) ( 3 , 3 , 3 ) and the super-singular situation 81 h 3 ( k f * ) , where usually, Cl 3 ( k p q ) Cl 3 ( k ˜ p q ) ( 9 , 3 ) .
For doublets ( k p q , k ˜ p q ) with conductor f = p q and a non-elementary bicyclic 3-class group, a distinction arises from the 3-valuation v * : = v 3 ( h ( k f * ) ) of the class number of the 3-genus field k f * :
Definition 6.
A quartet ( k μ ) 1 μ 4 with conductor c = p q r and its sub-doublet ( k p q , k ˜ p q ) of cyclic cubic fields with common partial conductor f = p q is called
regular if v * { 0 , 1 , 2 } , singular if v * = 3 , super singular if v * { 4 , 5 , 6 , } .
Let ( k 1 , , k 4 ) be the quartet of cyclic cubic number fields sharing the common discriminant d = c 2 with conductor c = p q r , divisible by exactly three primes 1 ( mod 3 ) (one among them may be the prime power 3 2 ), and belonging to one of the Graphs 5–9 of Category III . According to Theorem 2, Cl 3 ( k μ ) ( 3 , 3 ) and thus h 3 ( k μ ) = 9 , for 1 μ 4 .
Due to these facts, the class number relation 243 · h 3 ( B j ) = ( U j : V j ) · 9 · 9 · 1 · 3 for j { 5 , 6 , 8 , 9 } implies that there are precisely four tame bicyclic bicubic fields, B 5 = k 1 k 3 k p k ˜ q r , B 6 = k 1 k 4 k q k ˜ p r , B 8 = k 2 k 4 k p k q r , B 9 = k 2 k 3 k q k p r , satisfying 9 h 3 ( B j ) = ( U j : V j ) , for each j { 5 , 6 , 8 , 9 } , and so we must have the matrix ranks r 5 = r 6 = r 8 = r 9 = 2 with indices ( U j : V j ) { 9 , 27 } .
In contrast, each of the six wild bicyclic bicubic fields, B 1 = k 1 k p q k p r k q r , B 2 = k 2 k p q k ˜ p r k ˜ q r , B 10 = k 3 k 4 k r k p q , B 3 = k 3 k ˜ p q k ˜ p r k q r , B 4 = k 4 k ˜ p q k p r k ˜ q r , B 7 = k 1 k 2 k r k ˜ p q , with h 3 ( B j ) > ( U j : V j ) , either contains k p q or k ˜ p q . The class number relation (16) implies
243 · h 3 ( B j ) = ( U j : V j ) · 9 · h 3 ( k p q ) · 3 · 3 for j = 1 , 2 , 9 · 9 · 1 · h 3 ( k p q ) for j = 10 , 9 · h 3 ( k ˜ p q ) · 3 · 3 for j = 3 , 4 , 9 · 9 · 1 · h 3 ( k ˜ p q ) for j = 7 .
Summarized, in dependence on the index I j : = ( U j : V j ) of subfield units and the rank r j ,
h 3 ( B j ) = h 3 ( k p q ) for j = 1 , 2 , 10 , I j = 3 , r j = 3 , 3 · h 3 ( k p q ) for j = 1 , 2 , 10 , I j = 9 , r j = 2 , 9 · h 3 ( k p q ) for j = 1 , 2 , 10 , I j = 27 , r j = 2 , h 3 ( k ˜ p q ) for j = 3 , 4 , 7 , I j = 3 , r j = 3 , 3 · h 3 ( k ˜ p q ) for j = 3 , 4 , 7 , I j = 9 , r j = 2 , 9 · h 3 ( k ˜ p q ) for j = 3 , 4 , 7 , I j = 27 , r j = 2 ,
with h 3 ( k p q ) = h 3 ( k ˜ p q ) = 9 in the regular situation, and h 3 ( k p q ) , h 3 ( k ˜ p q ) 27 in the singular or super-singular situation. Formula (50) supplements Corollary 1 in the case p q .
Lemma 8
(3-class ranks of components). All four components k μ , 1 μ 4 , of the quartet have elementary bicyclic 3-class group Cl 3 ( k μ ) ( 3 , 3 ) . The condition 9 h 3 ( B j ) = ( U j : V j ) { 9 , 27 } , r j = 2 , is satisfied for j { 5 , 6 , 8 , 9 } , the so-called tame extensions.
Proof. 
This is a consequence of the definition of Graph 5–9 in Category III and the rank distribution in Theorem 2. The fields B j with j { 5 , 6 , 8 , 9 } neither contain k p q nor k ˜ p q . □
All computations for examples in the following subsections were performed with Magma [6,21,22].

8.1. Category III, Graph 5

In this section, the combined cubic residue symbol of three prime(power)s dividing the conductor c = p q r is assumed to be [ p , q , r ] 3 = { p q ; r } .
Since there are no trivial cubic residue symbols among the three prime(power) divisors p , q , r of the conductor c = p q r , except p q with overall assumption (48), the principal factors of the subfields k { k p r , k ˜ p r , k q r , k ˜ q r } with t = 2 of the absolute genus field k * must be divisible by both relevant primes, and we can use the general approach
A ( k p r ) = p r , A ( k ˜ p r ) = p r , and A ( k q r ) = q s r , A ( k ˜ q r ) = q s r ,
with , s { 1 , 1 } , identifying 1 2 ( mod 3 ) , since it is easier to manage: 2 = s 2 = 1 .
Lemma 9.
In dependence on the  decisive principal factors   in Formula (51), the  principal factors   of the quartet ( k μ ) μ = 1 4 sharing the common conductor c = p q r with Graph III . 5 are given by
A ( k 1 ) = p q r 2 , A ( k 2 ) = p q r , A ( k 3 ) = p q 2 r , A ( k 4 ) = p 2 q r if ( , s ) = ( 1 , 1 ) , A ( k 1 ) = p 2 q r , A ( k 2 ) = p q 2 r , A ( k 3 ) = p q r , A ( k 4 ) = p q r 2 if ( , s ) = ( 1 , 2 ) , A ( k 1 ) = p q 2 r , A ( k 2 ) = p 2 q r , A ( k 3 ) = p q r 2 , A ( k 4 ) = p q r if ( , s ) = ( 2 , 1 ) , A ( k 1 ) = p q r , A ( k 2 ) = p q r 2 , A ( k 3 ) = p 2 q r , A ( k 4 ) = p q 2 r if ( , s ) = ( 2 , 2 ) , A ( k 1 ) = p q s r 1 , A ( k 2 ) = p q s r , A ( k 3 ) = p q s r , A ( k 4 ) = p q s r generally .
Proof. 
We implement the general approach (51). From the ranks r j = 2 for j = 5 , 6 , 8 , 9 , there arise constraints for the exponents in the proposal A ( k μ ) = p x μ q y μ r z μ , 1 μ 4 , with the aid of principal factor matrices. For these tame bicyclic bicubic fields B j , j { 5 , 6 , 8 , 9 } , the rank r j is calculated with row operations on the associated matrix M j :
M 5 = x 1 y 1 z 1 x 3 y 3 z 3 1 0 0 0 s 1 , M 6 = x 1 y 1 z 1 x 4 y 4 z 4 0 1 0 0 1 , M 8 = x 2 y 2 z 2 x 4 y 4 z 4 1 0 0 0 s 1 , M 9 = x 2 y 2 z 2 x 3 y 3 z 3 0 1 0 0 1 .
For B 5 = k 1 k 3 k p k ˜ q r , M 5 leads to the decisive pivot elements z 1 + s y 1 and z 3 + s y 3 in the last column; similarly, for B 6 = k 1 k 4 k q k ˜ p r , M 6 leads to z 1 + x 1 and z 4 + x 4 ; similarly, for B 8 = k 2 k 4 k p k q r , M 8 leads to z 2 s y 2 and z 4 s y 4 ; and similarly, for B 9 = k 2 k 3 k q k p r , M 9 leads to z 2 x 2 and z 3 x 3 . So, r 5 = r 6 = r 8 = r 9 = 2 implies x 1 s y 1 z 1 , x 2 s y 2 z 2 , x 3 s y 3 z 3 , x 4 s y 4 z 4 , and consequently (52). □
Proposition 9
(Quartet with 3-rank two for III . 5 ). Let ( k μ ) μ = 1 4 be a quartet with common conductor c = p q r , whose combined cubic residue symbol belongs to Graph 5 of Category III . Then, the ranks of principal factor matrices of tame bicyclic bicubic fields are r j = 2 for j = 5 , 6 , 8 , 9 . In terms of exponents of primes in four variable principal factors, A ( k p q ) = p m q n , A ( k ˜ p q ) = p m ˜ q n ˜ , from (48), and A ( k p r ) = p r , A ( k q r ) = q s r , from (51), the ranks of principal factor matrices of wild bicyclic bicubic fields are given by
r 1 = r 2 = r 10 = 3 iff m s n ( mod 3 ) and r 3 = r 4 = r 7 = 3 iff m ˜ s n ˜ ( mod 3 ) .
Proof. 
Up to this point, the parameters m , n , m ˜ , n ˜ have not come into play yet. They decide about the rank r j of the associated principal factor matrices M j of the wild bicyclic bicubic fields B j , j { 1 , 2 , 3 , 4 , 7 , 10 } . Hence, we perform row operations on these matrices:
M 1 = s 1 m n 0 0 1 0 s 1 , M 2 = s 1 m n 0 0 1 0 s 1 , M 10 = s 1 s 1 0 0 1 m n 0 .
For B 1 = k 1 k p q k p r k q r , M 1 leads to the decisive pivot element m s n in the last column; similarly, for B 2 = k 2 k p q k ˜ p r k ˜ q r , M 2 leads to m + s n ; and similarly, for B 10 = k 3 k 4 k r k p q , M 10 leads to n + s m in the middle column. So, r 1 = r 2 = r 10 = 3 iff m s n , by viewing the pivot elements modulo 3. Next, we consider:
M 3 = s 1 m ˜ n ˜ 0 0 1 0 s 2 , M 4 = s 1 m ˜ n ˜ 0 0 1 0 s 1 , M 7 = s 1 s 1 0 0 1 m ˜ n ˜ 0 .
For B 3 = k 3 k ˜ p q k ˜ p r k q r , M 3 leads to m ˜ s n ˜ ; similarly, for B 4 = k 4 k ˜ p q k p r k ˜ q r , M 4 leads to m ˜ + s n ˜ ; and similarly, for B 7 = k 1 k 2 k r k ˜ p q , M 7 leads to n ˜ s m ˜ in the middle column. So, r 3 = r 4 = r 7 = 3 iff m ˜ s n ˜ . □
In Ayadi’s thesis [2] (p. 80), only the special case = s = 1 is elaborated. As mentioned above already, the condition ( m , n ) = ( m ˜ , n ˜ ) is warranted in the regular situation 9 h ( k p q ) . In any situation, at least one of the following two rank equations, which imply a total transfer kernel, is satisfied—in many cases, even both simultaneously:
r 1 = r 2 = r 10 = 3 for ( m , n ) { ( 0 , 1 ) , ( 1 , 0 ) } , r 3 = r 4 = r 7 = 3 for ( m ˜ , n ˜ ) { ( 0 , 1 ) , ( 1 , 0 ) } .
Theorem 15
(Second 3-class groups for III . 5 ). There are several minimal transfer kernel types (mTKT) ϰ 0 of k μ , 1 μ 4 , and other possible capitulation types in ascending order ϰ 0 < ϰ < ϰ < ϰ < ϰ , either ϰ 0 = ( 2134 ) , type G . 16 ; ϰ = ( 2130 ) , type d . 23 , or ϰ 0 = ( 2143 ) , type G . 19 ; ϰ = ( 2140 ) , type d . 25 , ending in ϰ = ( 2100 ) , type b . 10 ; ϰ = ( 2000 ) , type a . 3 * or a . 3 , or ϰ = ( 0004 ) , type a . 2 ; and the maximal ϰ = ( 0000 ) , type a . 1 .
In terms of the counter N * : = # { 1 j 10 ( U j : V j ) = 27 } , of  maximal indices of subfield units  I j = ( U j : V j ) for all ten bicyclic bicubic fields B j < k * with conductor c = p q r , the second 3-class groups M = Gal ( F 3 2 ( k μ ) / k μ ) are given in the following way as uniform or non-uniform quartets, with the abbreviation P 7 : = 2187 , 64 :
M = 243 , 28 . . 30 4 , α = [ 21 , 11 , 11 , 11 ] , ϰ = ( 0000 ) if N * = 0 , 243 , 27 , α = [ 11 , 11 , 11 , 22 ] , ϰ = ( 0004 ) once if N * = 1 , 243 , 28 . . 30 3 , α = [ 21 , 11 , 11 , 11 ] , ϰ = ( 0000 ) thrice if N * = 1 , 81 , 7 4 , α = [ 111 , 11 , 11 , 11 ] , ϰ = ( 2000 ) if N * = 2 , 243 , 27 2 , α = [ 11 , 11 , 11 , 22 ] , ϰ = ( 0004 ) twice if N * = 3 , 243 , 25 2 , α = [ 22 , 11 , 11 , 11 ] , ϰ = ( 2000 ) twice if N * = 3 , 729 , 34 . . 39 4 , α = [ 111 , 111 , 21 , 21 ] , ϰ = ( 2100 ) if N * = 4 , 2187 , 250 2 , α = [ 111 , 111 , 32 , 21 ] , ϰ = ( 2130 ) twice if N * = 7 , 2187 , 251 | 252 2 , α = [ 111 , 111 , 32 , 21 ] , ϰ = ( 2140 ) twice if N * = 7 , ( P 7 # 2 ; 40 | 48 ) 2 , α = [ 111 , 111 , 32 , 32 ] , ϰ = ( 2134 ) twice if N * = 10 , ( P 7 # 2 ; 42 | 45 | 49 ) 2 , α = [ 111 , 111 , 32 , 32 ] , ϰ = ( 2143 ) twice if N * = 10 .
The leading six rows concern the  regular  situation Cl 3 ( k p q ) ( 3 , 3 ) . In particular, the condition ( m , n ) { ( 0 , 1 ) , ( 1 , 0 ) } for 81 , 7 4 is equivalent to the extra special group Gal ( F 3 2 ( k p q ) / k p q ) 27 , 4 , whereas Gal ( F 3 2 ( k p q ) / k p q ) 9 , 2 is abelian for all other pairs ( m , n ) . The trailing rows concern the  (super-)singular   situation with h 3 ( k p q ) = h 3 ( k ˜ p q ) = 27 . With exception of the trailing rows, the 3-class field tower has length 3 ( K μ ) = 2 and group G = Gal ( F 3 ( k μ ) / k μ ) M .
Proof. 
Let p , q , r be the prime ideals of k μ over p , q , r .
Since p splits in k q , it also splits in B 6 = k 1 k 4 k q k ˜ p r and B 9 = k 2 k 3 k q k p r .
Since q splits in k p , it also splits in B 5 = k 1 k 3 k p k ˜ q r and B 8 = k 2 k 4 k p k q r . By Corollary 3,
since q is principal ideal in k q , the class [ q ] capitulates in B 6 = k 1 k 4 k q k ˜ p r and B 9 = k 2 k 3 k q k p r ;
since r is principal ideal in k r , the class [ r ] capitulates in B 7 = k 1 k 2 k r k ˜ p q and B 10 = k 3 k 4 k r k p q .
Since qr is principal ideal in k ˜ q r , the class [ qr ] capitulates in B 2 = k 2 k p q k ˜ p r k ˜ q r , B 4 = k 4 k ˜ p q k p r k ˜ q r , and B 5 = k 1 k 3 k p k ˜ q r , by Proposition 2. Since A ( k 1 ) = p q r and A ( k 3 ) = p 2 q r , [ qr ] generates the same subgroup as [ p ] in ker ( T B 5 / k μ ) , μ = 1 , 3 .
Since qr 2 is a principal ideal in k q r , the class [ qr 2 ] capitulates in B 1 = k 1 k p q k p r k q r , B 3 = k 3 k ˜ p q k ˜ p r k q r , and B 8 = k 2 k 4 k p k q r , by Proposition 2. Since A ( k 2 ) = p q r 2 and A ( k 4 ) = p q 2 r , [ qr 2 ] generates the same subgroup as [ p ] in ker ( T B 8 / k μ ) , μ = 2 , 4 .
The 3-class group of k μ is always Cl 3 = [ q ] , [ r ] . It contains the norm class groups of B j > k μ as subgroups of index 3: N B j / k μ Cl 3 ( B j ) is always generated by [ q ] for j = 5 , 8 , due to the above-mentioned splitting of q. See also Table 12.
We recall that equality ( m , n ) = ( m ˜ , n ˜ ) is warranted for the regular situation Cl 3 ( k p q ) ( 3 , 3 ) , and there is an equivalence involving the counter P in Theorem 4: Gal ( F 3 2 ( k p q ) / k p q ) 27 , 4 iff P = 1 iff (either m = 0 or n = 0 ) iff ( m , n ) { ( 0 , 1 ) , ( 1 , 0 ) } . Let I j : = ( U j : V j ) .
N * = 0 implies wild ranks r j = 2 and I j = 9 , h 3 ( B j ) = 3 · h 3 ( k p q ) = 3 · 9 = 27 for j { 1 , 2 , 10 } , but r j = 3 , I j = 3 , h 3 ( B j ) = h 3 ( k ˜ p q ) = 9 for j { 3 , 4 , 7 } , according to Formula (50), and tame indices I j = 9 for all j { 5 , 6 , 8 , 9 } . The uniform minimal indices I j of subgroup units correspond to maximal norm unit indices ( U ( k μ ) : N B j / k μ U ( B j ) ) = 3 and thus to total capitulations whenever k μ < B j is a subfield for 1 j 10 , 1 μ 4 . According to Theorem 9 and Corollary 4, the resulting abelian-type invariants α = [ 21 , 11 , 11 , 11 ] and transfer kernel type ϰ = ( 0000 ) , that, is the Artin pattern  ( α , ϰ ) , identify three possible groups, M 243 , 28 . . 30 , since 81 , 9 must be cancelled due to the wrong second layer α 2 .
An exception arises for N * = 1 , which causes non-uniformity with I 1 = 27 , h 3 ( B 1 ) = 9 · h 3 ( k p q ) = 9 · 9 = 81 , as opposed to the remaining I 2 = I 10 = 9 . (Everything else is like N * = 0 .) Thus, ( U ( k 1 ) : N B 1 / k 1 U ( B 1 ) ) = 1 , and here, we have a fixed-point capitulation, ker ( T B 1 / k 1 ) = [ qr 2 ] . The corresponding abelian-type invariants α = [ 11 , 11 , 11 , 22 ] and transfer kernel type ϰ = ( 0004 ) uniquely identify the group 243 , 27 for μ = 1 . The remaining three groups are 243 , 28 . . 30 3 .
For N * = 2 and ( m , n ) { ( 0 , 1 ) , ( 1 , 0 ) } , the relations m n and m n imply r j = 3 , I j = 3 , h 3 ( B j ) = h 3 ( k ˜ p q ) = 9 for all wild bicyclic bicubic fields B j , j { 1 , 2 , 3 , 4 , 7 , 10 } . For j { 5 , 8 } , we have I j = 9 , but for j { 6 , 9 } , the maximal index I j = 27 is attained and enables an elementary tricyclic 3-class group Cl 3 ( B j ) = P 1 , P 2 , P 3 ( 3 , 3 , 3 ) generated by the prime ideals lying over p O B j = P 1 · P 2 · P 3 . Here, we have a non-fixed-point capitulation ker ( T B j / k μ ) = [ q ] . The transposition is hidden by total capitulation in B 5 and B 8 with the norm class group generated by [ q ] . The abelian-type invariants α = [ 111 , 11 , 11 , 11 ] and the transfer kernel type ϰ = ( 2000 ) uniquely identify the group 81 , 7 Syl 3 ( A 9 ) for μ = 1 .
N * = 3 implies r j = 3 and thus wild indices I j = 3 , h 3 ( B j ) = h 3 ( k ˜ p q ) = 9 for j { 1 , 2 , 10 } . We also have tame indices I j = 9 for j { 5 , 6 , 8 , 9 } . However, we have r j = 2 and the remaining wild indices I j = 27 , h 3 ( B j ) = 9 · h 3 ( k p q ) = 9 · 9 = 81 for j { 3 , 4 , 7 } , according to Formula (50). There arises a fixed-point capitulation, ker ( T B 7 / k μ ) = [ r ] and, non-uniformly, a non-fixed-point capitulation, ker ( T B j / k μ ) = [ p ] for j = 3 , 4 with norm class groups also generated by [ r ] . The corresponding abelian-type invariants α = [ 11 , 11 , 11 , 22 ] and transfer kernel types ϰ = ( 0004 ) and ϰ = ( 0003 ) , respectively, uniquely identify the two groups 243 , 27 2 and the remaining two groups 243 , 25 2 , respectively.
For N * = 4 and the simplest singular or super-singular situation with h 3 ( k p q ) = h 3 ( k ˜ p q ) = 27 , P = 1 implies r j = 3 , I j = 3 , h 3 ( B j ) = 27 for all wild j { 1 , 2 , 3 , 4 , 7 , 10 } , and uniformly, h 3 ( B j ) = I j = 27 for all tame j { 5 , 6 , 8 , 9 } . The latter correspond to the elementary tricyclic 3-class groups Cl 3 ( B j ) = Q 1 , Q 2 , Q 3 ( 3 , 3 , 3 ) generated by the prime ideals lying over q O B j = Q 1 · Q 2 · Q 3 for j = 5 , 8 , and Cl 3 ( B j ) = P 1 , P 2 , P 3 ( 3 , 3 , 3 ) generated by the prime ideals lying over p O B j = P 1 · P 2 · P 3 for j = 6 , 9 . Here, we have a non-fixed-point capitulation ker ( T B j / k μ ) = [ p ] for j = 5 , 8 , and ker ( T B j / k μ ) = [ q ] for j = 6 , 9 . The transposition is not hidden by total capitulation and characteristic for uniform transfer kernel type b . 10 . According to Theorem 9 and Corollary 4, the abelian-type invariants α = [ 111 , 111 , 21 , 21 ] , and the transfer kernel type ϰ = ( 2100 ) , identify six possible groups M 729 , 34 . . 39 .
For N * = 7 , only three wild indices r j = 3 , I j = 3 , h 3 ( B j ) = 27 for j = 3 , 4 , 7 are not maximal. The TKTs are not uniform, ϰ = ( 2130 ) , type d . 23 , twice and ϰ = ( 2140 ) , type d . 25 , twice.
For N * = 10 , all tame and wild indices are maximal I j = 27 for 1 j 10 , which implies non-uniform minimal TKTs ϰ 0 = ( 2134 ) , type G . 16 , twice and ϰ 0 = ( 2143 ) , type G . 19 , twice. □
Corollary 9
(Non-uniformity of the quartet for III . 5 ). For N * = 1 , only a sub-triplet of the quartet shares a common capitulation type ϰ ( k μ ) , abelian-type invariants α ( k μ ) , and second 3-class group M = Gal ( F 3 2 ( k μ ) / k μ ) . The invariants of the fourth component differ. For N * { 3 , 7 , 10 } , only two pairs of components of the quartet share a common capitulation type ϰ ( k μ ) , and second 3-class group M = Gal ( F 3 2 ( k μ ) / k μ ) , whereas the abelian-type invariants α ( k μ ) are uniform. However, the four components agree in all situations with even N * { 0 , 2 , 4 } .
Proof. 
This is an immediate consequence of Theorem 15 and Table 12. □
  • In terms of capitulation targets in Corollary 2, Theorem 15 and parts of its proof are now summarized in Table 12, with transpositions in bold font.
Example 5.
The prototypes for Graph III . 5 , i.e., the cases in the Theorem 15 are four  regular   situations, c = 14049 with { 7 223 ; 9 } and N * = 0 ; c = 17073 with { 9 271 ; 7 } and N * = 2 ; c = 20367 with { 9 73 ; 31 } and N * = 1 ; c = 21231 with { 7 337 ; 9 } and N * = 3 ; and the  singular   situation c = 42399 with { 7 673 ; 9 } and N * = 4 . Here, we have distinct ( m , n ) = ( 0 , 1 ) , but ( m ˜ , n ˜ ) = ( 1 , 0 ) . There is also a  super-singular   prototype c = 48447 with { 7 769 ; 9 } and N * = 4 , phenomenologically completely identical with the singular prototype, except that ( m , n ) = ( m ˜ , n ˜ ) = ( 0 , 1 ) . With  considerable statistic delay, there also appear super-singular prototypes N * { 7 , 10 } . For 37 examples see [8] (Tbl. 6.7, p. 52).
In Table 13, we summarize the prototypes of graph III . 5 . The data comprise ordinal number No.; conductor c of k; combined cubic residue symbol [ p , q , r ] 3 ; regularity or (super-)singularity expressed by 3-valuation v * = v 3 ( # Cl ( k * ) ) of class number of absolute 3-genus field k * ; 3-valuation v = v 3 ( # Cl ( k p q ) ) and v ˜ = v 3 ( # Cl ( k ˜ p q ) ) , respectively, of the class number of critical fields k p q and k ˜ p q , respectively; critical exponents m , n in principal factor A ( k p q ) = p m q n , m ˜ , n ˜ in A ( k ˜ p q ) = p m ˜ q n ˜ , in A ( k p r ) = p r , and s in A ( k q r ) = q s r , respectively; capitulation type of k, second 3-class group M = Gal ( F 3 2 ( k ) / k ) of k; and length 3 ( k ) of 3-class field tower of k. For abbreviation, we put the following:
  • P 7 : = 2187 , 64 , R 4 4 : = P 7 # 2 ; 54 , R 5 4 : = P 7 # 2 ; 57 , R 6 4 : = P 7 # 2 ; 59 ,
  • S 4 4 : = R 4 4 # 1 ; 8 # 1 ; 3 | 7 , U 5 4 : = R 5 4 # 1 ; 1 # 1 ; 3 | 6 , V 6 4 : = R 6 4 # 1 ; 6 # 1 ; 2 | 6 .
  • See the tables and tree diagrams in [24] (Sections 11.3 and 11.4, pp. 108–116, Tbl. 4–5, Fig. 9–11).

8.2. Category III, Graph 6

Let the combined cubic residue symbol of three primes dividing the conductor c = p q r be [ p , q , r ] 3 = { r p q } .
Proposition 10
(Quartet with 3-rank two for III . 6 ). For fixed μ { 1 , 2 , 3 , 4 } , let p , q , r be the prime ideals of k μ over p , q , r , that is, p O k μ = p 3 , q O k μ = q 3 , r O k μ = r 3 , then the principal factor of k μ is A ( k μ ) = p , and the 3-class group of k μ is,
Cl 3 ( k μ ) = [ q ] , [ r ] ( 3 , 3 ) .
The unramified cyclic cubic relative extensions of k μ are among the absolutely bicyclic bicubic fields B i , 1 i 10 . The  tame   extensions with 9 h 3 ( B i ) = ( U i : V i ) { 9 , 27 } are B i with i = 5 , 6 , 8 , 9 , since they neither contain k p q nor k ˜ p q . For each μ, there are two tame extensions B j / k μ , B / k μ with the following properties. The first, B j with j { 6 , 9 } , has the norm class group N B j / k μ ( Cl 3 ( B j ) ) = [ qr s ] with s { 1 , 2 } , the  cyclic   transfer kernel
ker ( T B j / k μ ) = [ q ]
of order 3, and the  elementary tricyclic  3-class group Cl 3 ( B j ) = [ QR s P 1 ] , [ QR s P 2 ] , [ QR s P 3 ] ( 3 , 3 , 3 ) , generated by the classes of the prime ideals of B j over p O B j = P 1 P 2 P 3 , q O B j = Q , r O B j = R . The second, B with { 5 , 8 } , has the norm class group N B / k μ ( Cl 3 ( B ) ) = [ q ] , transfer kernel
ker ( T B / k μ ) [ qr s ] ,
and the 3-class group Cl 3 ( B ) = [ Q 1 ] , [ Q 2 ] , [ Q 3 ] ( 3 , 3 ) , generated by the classes of the prime ideals of B over q O B = Q 1 Q 2 Q 3 . The pair ( j , ) forms a hidden or actual  transposition   of the transfer kernel type ϰ ( k μ ) . The remaining two B i > k μ , i j , i , have the norm class group [ r ] or [ q 2 r s ] , and the transfer kernel
ker ( T B i / k μ ) [ r ] , or [ q 2 r s ] ,
providing the option of either two possible  fixed points   or a further  transposition   in the transfer kernel type ϰ ( k μ ) . In terms of n and n ˜ in A ( k p q ) = p m q n and A ( k ˜ p q ) = p m ˜ q n ˜ , the ranks of the  wild   extensions are
r 1 = r 2 = r 10 = 3 iff n 0 iff q A ( k p q ) and r 3 = r 4 = r 7 = 3 iff n ˜ 0 iff q A ( k ˜ p q ) .
Proof. 
By Proposition 3, principal factors are A ( k p r ) = A ( k ˜ p r ) = p , since r p . Further, by Proposition 4, A ( k μ ) = p , for all 1 μ 4 , since p is universally repelling r p q . Since p = α O k μ is a principal ideal, its class [ p ] = 1 is trivial, whereas the classes [ q ] , [ r ] are non-trivial.
Assume the principal factors A ( k q r ) = q r 2 and A ( k ˜ q r ) = q r . The parameters m , n , m ˜ , n ˜ , proposed for all Graphs 5–9 of Category III , decide about the rank r j of the associated principal factor matrices M j of the wild bicyclic bicubic fields B j , j { 1 , 2 , 3 , 4 , 7 , 10 } . As usual, we perform row operations on these matrices:
M 1 = 1 0 0 m n 0 1 0 0 0 1 2 , M 2 = 1 0 0 m n 0 1 0 0 0 1 1 , M 10 = 1 0 0 1 0 0 0 0 1 m n 0 .
For B 1 = k 1 k p q k p r k q r , M 1 leads to the decisive pivot element 2 n in the last column; similarly, for B 2 = k 2 k p q k ˜ p r k ˜ q r , M 2 leads to n ; and similarly, for B 10 = k 3 k 4 k r k p q , M 10 leads to n in the middle column. So, r 1 = r 2 = r 10 = 3 iff n 0 , by viewing the pivot elements modulo 3. Next:
M 3 = 1 0 0 m ˜ n ˜ 0 1 0 0 0 1 2 , M 4 = 1 0 0 m ˜ n ˜ 0 1 0 0 0 1 1 , M 7 = 1 0 0 1 0 0 0 0 1 m ˜ n ˜ 0 .
For B 3 = k 3 k ˜ p q k ˜ p r k q r , M 3 leads to 2 n ˜ ; similarly, for B 4 = k 4 k ˜ p q k p r k ˜ q r , M 4 leads to n ˜ ; and similarly, for B 7 = k 1 k 2 k r k ˜ p q , M 7 leads to n ˜ in the middle column. So, r 3 = r 4 = r 7 = 3 iff n ˜ 0 .
In the regular case h 3 ( k p q ) = h 3 ( k ˜ p q ) = 9 , where ( m , n ) = ( m ˜ , n ˜ ) , the condition n 0 , that is, q A ( k p q ) , is certainly satisfied when P = 2 or equivalently Gal ( F 3 2 ( k p q ) / k p q ) 9 , 2 , according to Theorem 4. However, when P = 1 or equivalently Gal ( F 3 2 ( k p q ) / k p q ) 27 , 4 , then we may either have q A ( k p q ) and still n 0 , or p A ( k p q ) , n = 0 , with completely different consequence r 1 = r 2 = r 10 = r 3 = r 4 = r 7 = 2 . In the singular and super-singular cases, both pairs of parameters, ( m , n ) and ( m ˜ , n ˜ ) , or more precisely, only n and n ˜ , must be taken into consideration separately. See also the proof of Theorem 16. □
In terms of capitulation targets in Corollary 2, Theorem 16 and parts of its proof are now summarized in Table 14, with transpositions in bold font.
Theorem 16
(Second 3-class group for III . 6 ). To identify the second 3-class group M = Gal ( F 3 2 ( k μ ) / k μ ) , 1 μ 4 , let the principal factor of k p q and k ˜ p q , respectively, be A ( k p q ) = p m q n and A ( k ˜ p q ) = p m ˜ q n ˜ , respectively, and additionally, assume the regular situation where both Cl 3 ( k p q ) Cl 3 ( k ˜ p q ) ( 3 , 3 ) are elementary bicyclic, whence ( m , n ) = ( m ˜ , n ˜ ) .
Then there are several  minimal transfer kernel types   (mTKT) ϰ 0 of k μ , 1 μ 4 , and other possible capitulation types in ascending order ϰ 0 < ϰ < ϰ < ϰ , ending in the mandatory ϰ = ( 2000 ) , type a . 3 * , either ϰ 0 = ( 2134 ) , type G . 16 , ϰ = ( 2130 ) , type d . 23 , ϰ = ( 2100 ) , type b . 10 , or ϰ 0 = ( 2143 ) , type G . 19 , ϰ = ( 2140 ) , type d . 25 , and again ϰ = ( 2100 ) , type b . 10 .
In the  regular   situation, the second 3-class group is M
81 , 7 4 , α = [ 111 , 11 , 11 , 11 ] 4 , ϰ = ( 2000 ) 4 if n 0 , N = 1 , 729 , 34 . . 39 4 , α = [ 111 , 111 , 21 , 21 ] 4 , ϰ = ( 2100 ) 4 if n = 0 , N = 2 , 729 , 43 2 , 729 , 42 2 , α = [ 111 , 111 , 22 , 21 ] 4 , ϰ = ( 2140 ) 2 , ( 2130 ) 2 if n = 0 , N = 3 , 2187 , 71 2 , 2187 , 69 2 α = [ 111 , 111 , 22 , 22 ] 4 , ϰ = ( 2143 ) 2 , ( 2134 ) 2 if n = 0 , N = 4 ,
where N : = # { 1 w 10 k μ < B w , I w = 27 } . Only in the first case, the 3-class field tower has certainly the group G = Gal ( F 3 ( k μ ) / k μ ) M and length 3 ( k μ ) = 2 , otherwise 3 ( k μ ) 3 cannot be excluded, even if d 2 ( M ) 4 .
In the  singular   situation, the second 3-class group is M
2187 , 251 | 252 2 , 2187 , 250 2 , α = [ 111 , 111 , 32 , 21 ] 4 , ϰ = ( 2140 ) 2 , ( 2130 ) 2 if n = n ˜ = 0 , N = 3 .
In the  super-singular   situation, no statement is possible, since the order of M may increase unboundedly.
Proof. 
In the regular situation Cl 3 ( k p q ) = Cl 3 ( k ˜ p q ) = ( 3 , 3 ) , exponents ( m , n ) and ( m ˜ , n ˜ ) of principal factors A ( k p q ) = p m q n and A ( k ˜ p q ) = p m ˜ q n ˜ are equal. Let P be the number of primes dividing A ( k p q ) . According to the proof of Proposition 10, ranks r w and indices I w : = ( U w : V w ) of subfield units for wild extensions are given by r w = 3 , I w = 3 iff n 0 , for w { 1 , 2 , 10 } , and r w = 3 , I w = 3 iff n ˜ 0 , for w { 3 , 4 , 7 } , in particular, certainly for P = 2 .
This implies 3-class numbers h 3 ( B w ) = h 3 ( k p q ) = h 3 ( k ˜ p q ) = 9 and 3-class groups Cl 3 ( B w ) ( 3 , 3 ) , for w { 1 , 2 , 3 , 4 , 7 , 10 } , whenever n 0 , i.e., q A ( k p q ) , a remarkable distinction of the prime q against the primes p , r . We point out that this can occur not only for P = 2 , but also for P = 1 , provided that A ( k p q ) = q , n = 1 , and not A ( k p q ) = p , m = 1 .
Indices of tame extensions with 9 h 3 ( B w ) = I w { 9 , 27 } and r w = 2 are non-uniform: corresponding to a unique elementary tricyclic Cl 3 ( B w ) ( 3 , 3 , 3 ) , we must have I w = 27 for w { 6 , 9 } with the norm class group N B w / k μ Cl 3 ( B w ) either [ qr ] or [ qr 2 ] , but corresponding to the remaining bicyclic Cl 3 ( B w ) ( 3 , 3 ) , the index I w = 9 takes the minimal value for w { 5 , 8 } with the norm class group N B w / k μ Cl 3 ( B w ) = [ q ] . Thus N = 1 and the resulting Artin pattern α = [ 111 , 11 , 11 , 11 ] uniquely identifies the group G = M 81 , 7 of maximal class.
Now, we come to n = 0 , whence necessarily P = 1 . Then, r w = 2 and I w { 9 , 27 } for the wild extensions w { 1 , 2 , 3 , 4 , 7 , 10 } . Indices of tame extensions now become uniform, corresponding to a pair of elementary tricyclic Cl 3 ( B w ) ( 3 , 3 , 3 ) , which enforces I w = 27 for w { 5 , 6 , 8 , 9 } , i.e., N 2 . The number N of maximal unit indices decides about the group M : If N = 2 , then for all w { 1 , 2 , 3 , 4 , 7 , 10 } : I w = 9 , h 3 ( B w ) = 3 · h 3 ( k p q ) = 27 , and Cl 3 ( 9 , 3 ) , according to the laws for 3-groups of coclass 2 [25] (pp. 289–292). The Artin pattern α = [ 111 , 111 , 21 , 21 ] identifies the possible groups M 729 , 34 . . 39 . If N = 3 , then I w = 27 for w { 3 , 4 , 7 } , but I w = 9 for w { 1 , 2 , 10 } . The Artin pattern α = [ 111 , 111 , 22 , 21 ] together with ϰ = ( 2140 ) 2 , ϰ = ( 2130 ) 2 , according to Table 14, identifies the possible groups M 2187 , 251 | 252 2 , 2187 , 250 2 of coclass 2. If N = 4 , then for all w { 1 , 2 , 3 , 4 , 7 , 10 } : I w = 27 , h 3 ( B w ) = 9 · h 3 ( k p q ) = 81 , and Cl 3 ( 9 , 9 ) . The Artin pattern α = [ 111 , 111 , 22 , 22 ] together with ϰ = ( 2143 ) 2 , ϰ = ( 2134 ) 2 , according to Table 14, identifies the possible groups M 2187 , 71 2 , 2187 , 69 2 of coclass 3. □
Corollary 10
(Non-uniformity of the quartet for III . 6 ). Only for N 2 , the components of the quartet, all with 3-rank two, share a common capitulation type ϰ ( k μ ) , common abelian-type invariants α ( k μ ) , and a common second 3-class group Gal ( F 3 2 ( k μ ) / k μ ) , for 1 μ 4 . For N 3 , the quartet splits into two sub-doublets, and thus becomes non-uniform.
Proof. 
This is an immediate consequence of Theorem 16 and Table 14. □
Example 6.
For 31 examples see [8] (Tbl. 6.4, p. 49). Prototypes for Graph III . 6 , that is, minimal conductors for each scenario in Theorem 16, are the following.
There are the  regular   cases c = 8541 with symbol { 9 73 13 } , ( m , n ) = ( 1 , 2 ) ; c = 9373 with symbol { 103 13 7 } , ( m , n ) = ( 1 , 1 ) ; c = 56,329 with symbol { 619 13 7 } , ( m , n ) = ( 0 , 1 ) , all uniformly with G = M = 81 , 7 4 , in contrast to c = 142,219 with symbol { 19 577 13 } , ( m , n ) = ( 1 , 0 ) , and uniform M = 729 , 37 . . 39 4 ; c = 152,893 with symbol { 13 619 19 } , ( m , n ) = ( 1 , 0 ) , and uniform M = 729 , 34 . . 36 4 ; c = 163,681 with symbol { 67 349 7 } , ( m , n ) = ( 1 , 0 ) , and non-uniform M = 729 , 42 2 , 729 , 43 2 ; c = 193,059 with symbol { 1129 19 9 } , ( m , n ) = ( 1 , 0 ) , and non-uniform M = 2187 , 69 2 , 2187 , 71 2 with two distinct minimal transfer kernel types.
Further, the  singular   cases c = 78 , 169 with symbol { 859 13 7 } , ( m , n ) = ( 1 , 0 ) , ( m ˜ , n ˜ ) = ( 1 , 1 ) , and non-uniform M = 2187 , 250 2 , 2187 , 251 | 252 2 ; c = 142 , 947 with symbol { 9 2269 7 } , ( m , n ) = ( 1 , 0 ) , ( m ˜ , n ˜ ) = ( 0 , 1 ) , and uniform M = 2187 , 253 4 .
Finally, the  super-singular   cases c = 102,277 with symbol { 769 7 19 } , ( m , n ) = ( m ˜ , n ˜ ) = ( 0 , 1 ) , and uniform M = 729 , 37 . . 39 4 ; c = 199,171 with symbol { 7 769 37 } , ( m , n ) = ( m ˜ , n ˜ ) = ( 1 , 0 ) , and uniform M = 6561 , 693 . . 698 4 .
In Table 15, we summarize the prototypes of Graph III . 6 in the same way as in Table 13.

8.3. Category III, Graph 7

Let ( k 1 , , k 4 ) be a quartet of cyclic cubic number fields sharing the common conductor c = p q r , belonging to Graph 7 of Category III with combined cubic residue symbol [ p , q , r ] 3 = { r p q } .
Proposition 11
(Quartet with 3-rank two for III . 7 ). For fixed μ { 1 , 2 , 3 , 4 } , let p , q , r be the prime ideals of k μ over p , q , r , that is, p O k μ = p 3 , q O k μ = q 3 , r O k μ = r 3 . Under the normalizing assumption A ( k q r ) = q r 2 , A ( k ˜ q r ) = q r , the principal factors of k μ are
A ( k 1 ) = A ( k 3 ) = q r and A ( k 2 ) = A ( k 4 ) = q r 2 ,
and the 3-class group of k μ is
Cl 3 ( k μ ) = [ p ] , [ q ] = [ p ] , [ r ] ( 3 , 3 ) .
The unramified cyclic cubic relative extensions of k μ are among the absolutely bicyclic bicubic fields B i , 1 i 10 . The  tame   extensions with 9 h 3 ( B i ) = ( U i : V i ) { 9 , 27 } are B i with i = 5 , 6 , 8 , 9 , since they neither contain k p q nor k ˜ p q . For each μ, there are two tame extensions B j / k μ , B / k μ with the following properties. The first, B j with j { 6 , 9 } , has the norm class group N B j / k μ ( Cl 3 ( B j ) ) = [ p ] , the transfer kernel
ker ( T B j / k μ ) [ q ] ,
and the 3-class group Cl 3 ( B j ) = [ P 1 ] , [ P 2 ] , [ P 3 ] ( 3 , 3 ) , generated by the classes of the prime ideals of B j over p O B j = P 1 P 2 P 3 . The second, B with { 5 , 8 } , has the norm class group N B / k μ ( Cl 3 ( B ) ) = [ q ] , the  cyclic   transfer kernel
ker ( T B / k μ ) = [ p ]
of order 3, and the  elementary tricyclic  3-class group Cl 3 ( B ) = [ Q 1 ] , [ Q 2 ] , [ Q 3 ] ( 3 , 3 , 3 ) , generated by the classes of the prime ideals of B over q O B = Q 1 Q 2 Q 3 . The pair ( j , ) forms a hidden or actual  transposition   of the transfer kernel type ϰ ( k μ ) . The remaining two B i > k μ , i j , i , have the norm class group [ pq ] or [ pq 2 ] , and the transfer kernel
ker ( T B i / k μ ) [ q ] ,
providing the option of two possible  repetitions   in the transfer kernel type ϰ ( k μ ) .
  • In terms of n and n ˜ in A ( k p q ) = p m q n and A ( k ˜ p q ) = p m ˜ q n ˜ , the ranks of the  wild   extensions are
    r 1 = r 2 = r 10 = 3 iff m 0 iff p A ( k p q ) and r 3 = r 4 = r 7 = 3 iff m ˜ 0 iff p A ( k ˜ p q ) .
Proof. 
By Proposition 3, the symbol r p implies principal factors A ( k p r ) = A ( k ˜ p r ) = r .
We assume principal factors A ( k μ ) = p x μ q y μ r z μ , for 1 μ 4 , and A ( k q r ) = q r 2 , A ( k ˜ q r ) = q r .
We generally have the tame matrix ranks r 5 = r 6 = r 8 = r 9 = 2 , and draw conclusions by explicit calculations. For these bicyclic bicubic fields B j , j { 5 , 6 , 8 , 9 } , the rank r j is calculated with row operations on the associated principal factor matrices M j :
M 5 = x 1 y 1 z 1 x 3 y 3 z 3 1 0 0 0 1 1 , M 6 = x 1 y 1 z 1 x 4 y 4 z 4 0 1 0 0 0 1 , M 8 = x 2 y 2 z 2 x 4 y 4 z 4 1 0 0 0 1 2 , M 9 = x 2 y 2 z 2 x 3 y 3 z 3 0 1 0 0 0 1 .
For B 5 = k 1 k 3 k p k ˜ q r , M 5 leads to the decisive pivot elements z 1 y 1 and z 3 y 3 ; similarly, for B 6 = k 1 k 4 k q k ˜ p r , M 6 leads to x 1 and x 4 ; similarly, for B 8 = k 2 k 4 k p k q r , M 8 leads to z 2 2 y 2 and z 4 2 y 4 ; and similarly, for B 9 = k 2 k 3 k q k p r , M 9 leads to x 2 and x 3 . So, r 5 = r 6 = 2 implies z 1 = y 1 , z 3 = y 3 , x 1 = x 4 = 0 , and r 8 = r 9 = 2 implies z 2 = 2 y 2 , z 4 = 2 y 4 , x 2 = x 3 = 0 , i.e., A ( k 1 ) = A ( k 3 ) = q r and A ( k 2 ) = A ( k 4 ) = q r 2 .
A consequence of these principal factors is the coincidence of the subgroups of Cl 3 ( k μ ) generated by the classes [ q ] and [ r ] in k μ , μ = 1 , , 4 . By Corollary 3,
since p is principal ideal in k p , the class [ p ] capitulates in B 5 = k 1 k 3 k p k ˜ q r and B 8 = k 2 k 4 k p k q r ;
since q is principal ideal in k q , the class [ q ] capitulates in B 6 = k 1 k 4 k q k ˜ p r and B 9 = k 2 k 3 k q k p r ;
since r is principal ideal in k r , the class [ r ] , and thus [ q ] , capitulates in B 7 = k 1 k 2 k r k ˜ p q and B 10 = k 3 k 4 k r k p q .
Moreover, since r is principal ideal in k p r and k ˜ p r , the class [ r ] , and thus [ q ] , also capitulates in B 1 = k 1 k p q k p r k q r , B 2 = k 2 k p q k ˜ p r k ˜ q r , B 3 = k 3 k ˜ p q k ˜ p r k q r , B 4 = k 4 k ˜ p q k p r k ˜ q r , B 6 = k 1 k 4 k q k ˜ p r , and B 9 = k 2 k 3 k q k p r , by Proposition 2.
The parameters m , n , m ˜ , n ˜ , proposed for all Graphs 5–9 of Category III , decide about the rank r j of the associated principal factor matrices M j of the wild bicyclic bicubic fields B j , j { 1 , 2 , 3 , 4 , 7 , 10 } . As usual, we perform row operations on these matrices:
M 1 = 0 1 1 m n 0 0 0 1 0 1 2 , M 2 = 0 1 2 m n 0 0 0 1 0 1 1 , M 10 = 0 1 1 0 1 2 0 0 1 m n 0 .
For B 1 = k 1 k p q k p r k q r , M 1 leads to the decisive pivot element m in the first column; similarly, for B 2 = k 2 k p q k ˜ p r k ˜ q r , M 2 leads to m; and similarly, for B 10 = k 3 k 4 k r k p q , M 10 leads to m in the first column. So, r 1 = r 2 = r 10 = 3 iff m 0 . Next, we consider:
M 3 = 0 1 1 m ˜ n ˜ 0 0 0 1 0 1 2 , M 4 = 0 1 2 m ˜ n ˜ 0 0 0 1 0 1 1 , M 7 = 0 1 1 0 1 2 0 0 1 m ˜ n ˜ 0 .
For B 3 = k 3 k ˜ p q k ˜ p r k q r , M 3 leads to m ˜ ; similarly, for B 4 = k 4 k ˜ p q k p r k ˜ q r , M 4 leads to m ˜ ; and similarly, for B 7 = k 1 k 2 k r k ˜ p q , M 7 leads to m ˜ in the first column. So, r 3 = r 4 = r 7 = 3 iff m ˜ 0 .
Since r splits in k p , it also splits in B 5 = k 1 k 3 k p k ˜ q r , B 8 = k 2 k 4 k p k q r .
Since q splits in k p , it also splits in B 5 = k 1 k 3 k p k ˜ q r , B 8 = k 2 k 4 k p k q r .
Since p splits in k q , it also splits in B 6 = k 1 k 4 k q k ˜ p r , B 9 = k 2 k 3 k q k p r . □
  • In terms of capitulation targets in Corollary 2, Theorem 17 and parts of its proof are now summarized in Table 16 with transpositions in bold font.
Theorem 17
(Second 3-class group for III . 7 ). Let ( k 1 , , k 4 ) be a quartet of cyclic cubic number fields sharing the common conductor c = p q r , belonging to Graph 7 of Category III with combined cubic residue symbol [ p , q , r ] 3 = { q p r } .
Then, the  minimal transfer kernel type   (mTKT) of k μ , 1 μ 4 , is ϰ 0 = ( 2111 ) , type H . 4 , and the other possible capitulation types in ascending order ϰ 0 < ϰ < ϰ < ϰ are ϰ = ( 2110 ) , type d . 19 ; ϰ = ( 2100 ) , type b . 10 ; and ϰ = ( 2000 ) , type a . 3 * .
To identify the second 3-class group M = Gal ( F 3 2 ( k μ ) / k μ ) , 1 μ 4 , let the  decisive principal factors   be A ( k p q ) = p m q n , A ( k ˜ p q ) = p m ˜ q n ˜ , and additionally, assume the  regular situation  where both Cl 3 ( k p q ) Cl 3 ( k ˜ p q ) ( 3 , 3 ) are elementary bicyclic, whence ( m , n ) = ( m ˜ , n ˜ ) . Then,
M 81 , 7 , α = [ 111 , 11 , 11 , 11 ] , ϰ = ( 2000 ) if m 0 , N = 1 , 729 , 34 . . 39 , α = [ 111 , 111 , 21 , 21 ] , ϰ = ( 2100 ) if m = 0 , N = 2 , 729 , 41 , α = [ 111 , 111 , 22 , 21 ] , ϰ = ( 2110 ) if m = 0 , N = 3 , 2187 , 65 | 67 , α = [ 111 , 111 , 22 , 22 ] , ϰ = ( 2111 ) if m = 0 , N = 4 ,
where N : = # { 1 j 10 k μ < B j , I j = 27 } . Only in the leading row has the 3-class field tower warranted the group G = Gal ( F 3 ( k μ ) / k μ ) M , with length 3 ( k μ ) = 2 . Otherwise, the tower length 3 ( k μ ) 3 cannot be excluded, even if d 2 ( M ) 4 .
In  (super-)singular situations, the group M must be of coclass cc ( M ) 2 , and capitulation of type ϰ = ( 2000 ) is impossible.
Proof. 
We know that the tame ranks are r 5 = r 6 = r 8 = r 9 = 2 , and thus I 5 , I 6 , I 8 , I 9 { 9 , 27 } , in particular, I 5 = I 8 = 27 , whence certainly N 1 . Further, the wild ranks are r 1 = r 2 = r 10 = 3 iff m 0 , and r 3 = r 4 = r 7 = 3 iff m ˜ 0 .
In the regular situation where the 3-class groups of k p q and k ˜ p q are elementary bicyclic, tight bounds arise for the abelian-quotient invariants α of the group M :
The first scenario, m 0 , is equivalent to N = 1 , with wild ranks h 3 ( B j ) = h 3 ( k p q ) = 9 , for j = 1 , 2 , 10 , h 3 ( B j ) = h 3 ( k ˜ p q ) = 9 , for j = 3 , 4 , 7 , and tame ranks h 3 ( B j ) = I j = 9 , for j = 6 , 9 , h 3 ( B j ) = I j = 27 , for j = 5 , 8 , that is α = [ 111 , 11 , 11 , 11 ] and consequently ϰ = ( 2000 ) , since 81 , 7 is unique with this α .
The other three scenarios share m = 0 , and an explicit transposition between B 5 , B 6 ; B 5 , B 9 , and B 6 , B 8 ; and B 8 , B 9 , respectively, giving rise to ϰ = ( 21 ) , and common h 3 ( B j ) = I j = 27 , for j = 5 , 6 , 8 , 9 , implying α = [ 111 , 111 , , ] .
The second scenario with N = 2 is supplemented by I j = 9 , h 3 ( B j ) = 3 · h 3 ( k p q ) = 27 , for j = 1 , 2 , 10 . I j = 9 , h 3 ( B j ) = 3 · h 3 ( k ˜ p q ) = 27 , for j = 3 , 4 , 7 , giving rise to α = [ 111 , 111 , 21 , 21 ] , ϰ = ( 2100 ) , characteristic for 729 , 34 . . 39 (Cor. 4).
The third scenario with N = 3 is supplemented by I j = 27 , h 3 ( B j ) = 9 · h 3 ( k p q ) = 81 , for j = 1 , 2 , 10 , but still I j = 9 , h 3 ( B j ) = 3 · h 3 ( k ˜ p q ) = 27 , for j = 3 , 4 , 7 , giving rise to α = [ 111 , 111 , 22 , 21 ] , ϰ = ( 2110 ) , characteristic for 729 , 41 .
The fourth scenario with N = 4 is supplemented by I j = 27 , h 3 ( B j ) = 9 · h 3 ( k p q ) = 81 , for j = 1 , 2 , 10 , I j = 27 , h 3 ( B j ) = 9 · h 3 ( k p q ) = 81 , for j = 3 , 4 , 7 , giving rise to α = [ 111 , 111 , 22 , 22 ] , ϰ = ( 2111 ) , characteristic for either 2187 , 65 | 67 or 6561 , 714 . . 719 | 738 . . 743 with coclass cc = 3 . If d 2 ( M ) = 5 , then the tower length must be 3 ( k μ ) 3 . For this minimal capitulation type H.4, ϰ = ( 2111 ) , all transfer kernels are cyclic of order 3, and the minimal unit norm indices correspond to maximal subfield unit indices.
In (super-)singular situations, the 3-class groups of k p q and k ˜ p q are non-elementary bicyclic, and even in the simplest case, m 0 , m ˜ 0 , we have I j = 3 , 27 h 3 ( B j ) = h 3 ( k p q ) , for j = 1 , 2 , 10 , I j = 3 , 27 h 3 ( B j ) = h 3 ( k ˜ p q ) , for j = 3 , 4 , 7 , which prohibits the occurrence of abelian-type invariants ( 11 ) , required for 3-groups of coclass cc ( M ) = 1 (maximal class). □
Corollary 11
(Uniformity of the quartet for III . 7 ). The components of the quartet, all with 3-rank two, share a common capitulation type ϰ ( k μ ) , common abelian-type invariants α ( k μ ) , and a common second 3-class group Gal ( F 3 2 ( k μ ) / k μ ) , for 1 μ 4 .
Proof. 
This is a consequence of Theorem 17 and Table 16. □
Example 7.
For 34 examples see [8] (Tbl. 6.5, p. 50). We have found prototypes for Graph III . 7 in the form of minimal conductors for each scenario in Theorem 17 as follows. There are  regular   cases: c = 4599 with symbol { 9 73 7 } , v * = 1 , and G = M = 81 , 7 4 ; c = 31,707 with symbol { 9 271 13 } , v * = 2 , and G = M = 81 , 7 4 ; c = 76,741 with symbol { 577 19 7 } , v * = 2 , and M = 2187 , 65 | 67 4 of elevated coclass 3; and c = 90,243 with symbol { 271 9 37 } , v * = 2 , and M = 729 , 41 4 . There is also a  singular   case c = 61,243 with symbol { 673 7 13 } , v * = 3 , and M = 2187 , 253 4 ; and  super-singular   cases c = 69,979 with symbol { 769 7 13 } , v * = 4 , and M = 6561 , 676 | 677 4 of elevated coclass 3; and c = 86,821 with symbol { 79 157 7 } , v * = 4 , and M = 729 , 37 . . 39 4 .
In Table 17, we summarize the prototypes of Graph III . 7 in the same way as in Table 13.

8.4. Category III, Graph 8

Let ( k 1 , , k 4 ) be a quartet of cyclic cubic number fields belonging to Graph 8 of Category III with the combined cubic residue symbol [ p , q , r ] 3 = { r p q r } of three prime(power)s dividing the conductor c = p q r .
Proposition 12
(Quartet with 3-rank two for III . 8 ). For fixed μ { 1 , 2 , 3 , 4 } , let p , q , r be the prime ideals of k μ over p , q , r , that is, p O k μ = p 3 , q O k μ = q 3 , r O k μ = r 3 ; then, the principal factor of k μ is A ( k μ ) = r , and the 3-class group of k μ is
Cl 3 ( k μ ) = [ p ] , [ q ] ( 3 , 3 ) .
The unramified cyclic cubic relative extensions of k μ are among the absolutely bicyclic bicubic fields B i , 1 i 10 . The  wild   ranks for i = 1 , 2 , 3 , 4 , 7 , 10 are r i = 2 , independently of m , n , m ˜ , n ˜ . For each μ, there are two tame extensions B j / k μ , B / k μ with the following properties.
  • The first, B j , has the norm class group N B j / k μ ( Cl 3 ( B j ) ) = [ p ] , the  cyclic   transfer kernel
    ker ( T B j / k μ ) = [ q ]
    of order 3, and the  elementary tricyclic  3-class group Cl 3 ( B j ) = [ P 1 ] , [ P 2 ] , [ P 3 ] ( 3 , 3 , 3 ) , generated by the classes of the prime ideals of B j over p O B j = P 1 P 2 P 3 .
  • The second, B , has the norm class group N B / k μ ( Cl 3 ( B ) ) = [ q ] ,  cyclic   transfer kernel
    ker ( T B / k μ ) = [ p ]
    of order 3, and  elementary tricyclic  3-class group Cl 3 ( B ) = [ Q 1 ] , [ Q 2 ] , [ Q 3 ] ( 3 , 3 , 3 ) , generated by the classes of the prime ideals of B over q O B = Q 1 Q 2 Q 3 .
  • The pair ( j , ) forms a  mandatory transposition   of the transfer kernel type ϰ ( k μ ) . The remaining two B i > k μ , i j , i , have the norm class group [ pq ] or [ pq 2 ] , necessarily a  non-elementary bicyclic   3-class group of order 27 h 3 ( B i ) = ( U i : V i ) 3 h 3 ( k p q ) and ( U i : V i ) 3 h 3 ( k ˜ p q ) , respectively, and the transfer kernels
    ker ( T B i / k μ ) [ p m q n ] , and [ p m ˜ q n ˜ ] ,
    respectively, providing the option of a possible  fixed point   in the transfer kernel type ϰ ( k μ ) .
Proof. 
Since r p , there are two principal factors A ( k p r ) = A ( k ˜ p r ) = r . Since q r , there are two further principal factors A ( k q r ) = A ( k ˜ q r ) = r . Since q r p is universally repelling, we also have four other principal factors A ( k μ ) = r , for all 1 μ 4 according to [2] (Prop. 4.6, p. 49). Since r = α O k μ is a principal ideal, its class [ r ] = 1 is trivial, whereas the classes [ p ] , [ q ] are non-trivial and generate Cl 3 ( k μ ) .
There are four tame bicyclic bicubic fields, B 5 = k 1 k 3 k p k ˜ q r , B 6 = k 1 k 4 k q k ˜ p r , B 8 = k 2 k 4 k p k q r , B 9 = k 2 k 3 k q k p r , satisfying 9 h 3 ( B i ) = ( U i : V i ) , for i { 5 , 6 , 8 , 9 } . Consequently, we must have the indices I i = ( U i : V i ) { 9 , 27 } , and thus the matrix ranks r 5 = r 6 = r 8 = r 9 = 2 .
On the other hand, there are six wild bicyclic bicubic fields, B 1 = k 1 k p q k p r k q r , B 2 = k 2 k p q k ˜ p r k ˜ q r , B 3 = k 3 k ˜ p q k ˜ p r k q r , B 4 = k 4 k ˜ p q k p r k ˜ q r , B 7 = k 1 k 2 k r k ˜ p q , B 10 = k 3 k 4 k r k p q , with h 3 ( B i ) > ( U i : V i ) .
For these bicyclic bicubic fields B i , i { 1 , 2 , 3 , 4 , 7 , 10 } , the rank r i is calculated with row operations on the associated principal factor matrices M i :
M 1 = M 2 = 0 0 1 m n 0 0 0 1 0 0 1 , M 10 = 0 0 1 0 0 1 0 0 1 m n 0 , M 3 = M 4 = 0 0 1 m ˜ n ˜ 0 0 0 1 0 0 1 , M 7 = 0 0 1 0 0 1 0 0 1 m ˜ n ˜ 0 .
For B 1 = k 1 k p q k p r k q r and B 2 = k 2 k p q k ˜ p r k ˜ q r , M 1 = M 2 immediately leads to rank r 1 = r 2 = 2 , since ( m , n ) ( 0 , 0 ) , and similarly, for B 10 = k 3 k 4 k r k p q , M 10 leads to rank r 10 = 2 .
For B 3 = k 3 k ˜ p q k ˜ p r k q r , and B 4 = k 4 k ˜ p q k p r k ˜ q r , M 3 = M 4 immediately leads to rank r 3 = r 4 = 2 , since ( m ˜ , n ˜ ) ( 0 , 0 ) , and similarly, for B 7 = k 1 k 2 k r k ˜ p q , M 7 leads to rank r 7 = 2 .
  • So, Graph 8 of Category III is the unique situation where r i = 2 , for all 1 i 10 , without any conditions, and thus, h 3 ( B i ) = I i 3 h 3 ( k p q ) , for i { 1 , 2 , 10 } , and h 3 ( B i ) = I i 3 h 3 ( k ˜ p q ) , for i { 3 , 4 , 7 } , where I i = ( U i : V i ) { 9 , 27 } , and 9 h 3 ( k p q ) , 9 h 3 ( k ˜ p q ) .
In each case, the minimal subfield unit index ( U i : V i ) = 9 corresponds to the maximal unit norm index ( U ( k μ ) : N B i / k μ ( U i ) ) = 3 , associated with a total transfer kernel # ker ( T B i / k μ ) = 9 , whenever k μ < B i 1 μ 4 , 1 i 10 .
According to Theorem 8, the unramified cyclic cubic relative extensions of k μ among the absolutely bicyclic bicubic subfields of the 3-genus field k * = k p k q k r are B 1 , B 5 , B 6 , B 7 , for μ = 1 , B 2 , B 7 , B 8 , B 9 , for μ = 2 , B 3 , B 5 , B 9 , B 10 , for μ = 3 , and B 4 , B 6 , B 8 , B 10 , for μ = 4 .
Since p splits in k q , it also splits in B 6 = k 1 k 4 k q k ˜ p r and B 9 = k 2 k 3 k q k p r .
Since q is principal in k q , [ q ] capitulates in B 6 = k 1 k 4 k q k ˜ p r and B 9 = k 2 k 3 k q k p r .
For ( μ , j ) { ( 1 , 6 ) , ( 4 , 6 ) , ( 2 , 9 ) , ( 3 , 9 ) } , the minimal unit norm index ( U ( k μ ) : N B j / k μ ( U j ) ) = 1 , associated to the partial transfer kernel ker ( T B j / k μ ) = [ q ] , corresponds to the maximal subfield unit index h 3 ( B j ) = ( U j : V j ) = 27 , giving rise to the characteristic abelian-type invariants Cl 3 ( B j ) = [ P 1 ] , [ P 2 ] , [ P 3 ] ( 3 , 3 , 3 ) generated by the classes of the prime ideals of B j over p O B j = P 1 P 2 P 3 . The field B j , which contains k μ , has the norm class group N B j / k μ ( Cl 3 ( B j ) ) = [ p ] .
Since q splits in k p , it also splits in B 5 = k 1 k 3 k p k ˜ q r and B 8 = k 2 k 4 k p k q r .
Since p is principal in k p , [ p ] capitulates in B 5 = k 1 k 3 k p k ˜ q r and B 8 = k 2 k 4 k p k q r .
For ( μ , ) { ( 1 , 5 ) , ( 3 , 5 ) , ( 2 , 8 ) , ( 4 , 8 ) } , the minimal unit norm index ( U ( k μ ) : N B / k μ ( U ) ) = 1 , associated to the partial transfer kernel ker ( T B / k μ ) = [ p ] , corresponds to the maximal subfield unit index h 3 ( B ) = ( U : V ) = 27 , giving rise to the characteristic abelian-type invariants Cl 3 ( B ) = [ Q 1 ] , [ Q 2 ] , [ Q 3 ] ( 3 , 3 , 3 ) generated by the classes of the prime ideals of B over q O B = Q 1 Q 2 Q 3 . The field B , which contains k μ , has the norm class group N B / k μ ( Cl 3 ( B ) ) = [ q ] .
Since p m q n is principal in k p q , [ p m q n ] capitulates in B 1 = k 1 k p q k p r k q r , B 2 = k 2 k p q k ˜ p r k ˜ q r , and B 10 = k 3 k 4 k r k p q .
Since p m ˜ q n ˜ is principal in k ˜ p q , [ p m ˜ q n ˜ ] capitulates in B 3 = k 3 k ˜ p q k ˜ p r k q r , B 4 = k 4 k ˜ p q k p r k ˜ q r , and B 7 = k 1 k 2 k r k ˜ p q .
The remaining two B i > k μ , i { 1 , 2 , 3 , 4 , 7 , 10 } , more precisely, i { 1 , 7 } for μ = 1 , and i { 2 , 7 } for μ = 2 , and i { 3 , 10 } for μ = 3 , and i { 4 , 10 } for μ = 4 , have the norm class group [ pq ] or [ pq 2 ] , and the minimal transfer kernels ker ( T B i / k μ ) [ p m q n ] and ker ( T B i / k μ ) [ p m ˜ q n ˜ ] , respectively. □
Proposition 12 and parts of its proof are now summarized in Table 18, with transposition in boldface font, based on Corollary 2. In this table, we give the norm class group (NCG) N B i / k μ ( Cl 3 ( B i ) ) and the transfer kernel (TK) ker ( T B i / k μ ) , also in the symbolic form ϰ with place holders 1 x , x ˜ , y , y ˜ , z , z ˜ , w , w ˜ 4 , for each collection of four unramified cyclic cubic relative extensions B j , j = 1 , , 10 , of each base field k μ , μ = 1 , , 4 , of the quartet.
Theorem 18
(Second 3-class group for III . 8 ). Let ( k 1 , , k 4 ) be the quartet of cyclic cubic number fields sharing the common conductor c = p q r , belonging to Graph 8 of Category III with combined cubic residue symbol [ p , q , r ] 3 = { r p q r } .
To identify the second 3-class group M = Gal ( F 3 2 ( k μ ) / k μ ) , 1 μ 4 , let the  principal factor   of k p q and k ˜ p q , respectively, be A ( k p q ) = p m q n and A ( k ˜ p q ) = p m ˜ q n ˜ , respectively, and additionally, assume the  regular  situation where both Cl 3 ( k p q ) Cl 3 ( k ˜ p q ) ( 3 , 3 ) are elementary bicyclic, whence ( m , n ) = ( m ˜ , n ˜ ) .
Then, there are several  minimal transfer kernel types   (mTKT) ϰ 0 of k μ , 1 μ 4 , and the other possible capitulation types in ascending order ϰ 0 < ϰ < ϰ , ending in the mandatory ϰ = ( 2100 ) , type b . 10 :
  • either ϰ 0 = ( 2111 ) , type H . 4 , ϰ = ( 2110 ) , type d . 19 , for P = 1 , or ϰ 0 = ( 2133 ) , type F . 11 , ϰ = ( 2130 ) , type d . 23 , or ( 2103 ) , type d . 25 , for P = 2 , and the second 3-class group is M
    729 , 34 . . 39 , α = [ 111 , 111 , 21 , 21 ] , ϰ = ( 2100 ) if N = 2 , 729 , 41 , α = [ 111 , 111 , 22 , 21 ] , ϰ = ( 2110 ) if P = 1 , N = 3 , 729 , 42 | 43 , α = [ 111 , 111 , 22 , 21 ] , ϰ = ( 2130 ) | ( 2103 ) if P = 2 , N = 3 , 2187 , 65 | 67 , α = [ 111 , 111 , 22 , 22 ] , ϰ = ( 2111 ) if P = 1 , N = 4 , 2187 , 66 | 73 , α = [ 111 , 111 , 22 , 22 ] , ϰ = ( 2133 ) if P = 2 , N = 4 ,
    where N : = # { 1 j 10 k μ < B j , I j = 27 } and P is the number of prime divisors of p m q n . In any case, the 3-class field tower may have a group G = Gal ( F 3 ( k μ ) / k μ ) bigger than M although d 2 ( M ) 4 . Further, III . 8 is the unique graph where the second 3-class group M = Gal ( F 3 2 ( k μ ) / k μ ) cannot be of maximal class.
Since the group order cannot be specified in the  (super-)singular   situation, only the capitulation type can be given. Additionally, the number P ˜ of prime divisors of p m ˜ q n ˜ is used, and two cases are separated.
  • If ( m , n ) = ( m ˜ , n ˜ ) , then P = P ˜ , and all four types ϰ ( k μ ) , μ = 1 , , 4 , coincide:
    ϰ = ( 2100 ) , b . 10 if N = 2 , ϰ = ( 2111 ) , H . 4 if P = 1 , N = 4 , ϰ = ( 2133 ) , F . 11 if P = 2 , N = 4 .
    If ( m , n ) ( m ˜ , n ˜ ) , then the number of coinciding types must be indicated by formal exponents:
    ϰ = ( 2100 ) 4 , b . 10 if N = 2 , ϰ = ( 2130 ) 2 , d . 23 , ϰ = ( 2103 ) 2 , d . 25 if N = 3 , ϰ = ( 2112 ) 4 , F . 7 if P = P ˜ = 1 , N = 4 , ϰ = ( 2134 ) 2 , G . 16 , ϰ = ( 2143 ) 2 , G . 19 if P = P ˜ = 2 , N = 4 , ϰ = ( 2131 ) 2 , F . 12 , ϰ = ( 2113 ) 2 , F . 13 if P P ˜ , N = 4 .
Proof. 
We normalize the transpositions in Table 18 by the following convention: ϰ = ( 21 ) ( 32 ) ( 43 ) , taking the leading type of three equivalent types.
Since the transfer kernels ker ( T B i / k μ ) for the tame extensions with i { 5 , 6 , 8 , 9 } are partial, the corresponding indices I i = ( U i : V i ) = 27 of subfield units must be maximal, whence necessarily N 2 . The associated 3-class numbers h 3 ( B i ) = 27 are consistent with the occurrence of two elementary tricyclic 3-class groups Cl 3 ( B i ) ( 3 , 3 , 3 ) , connected with a transposition in the capitulation type ϰ ( k μ ) = ( 21 ) , according to Proposition 12.
In the proof of this proposition, it was also derived that due to r i = 2 , the 3-class numbers of the wild extensions are given by h 3 ( B i ) = I i 3 h 3 ( k p q ) 27 , for i { 1 , 2 , 10 } , and h 3 ( B i ) = I i 3 h 3 ( k ˜ p q ) 27 , for i { 3 , 4 , 7 } , where I i = ( U i : V i ) { 9 , 27 } , and 9 h 3 ( k p q ) , 9 h 3 ( k ˜ p q ) .
It follows that the maximal class cc ( M ) = 1 is prohibited for two reasons: firstly, by the Artin pattern ϰ ( 21 ϰ 3 ϰ 4 ) , α [ 111 , 111 , α 3 , α 4 ] ; and secondly, by the bipolarization of an order of at least 27, which implies that α 3 and α 4 are bicyclic equal to ( 21 ) or bigger [25] (pp. 289–292).
In fact, even cc ( M ) = 2 is very restricted, because the candidates for M must be descendants of the group 243 , 3 . The other two groups with two or three components ( 111 ) in the abelian-type invariants α are discouraged, since ϰ ( 1133 ) , α [ 21 , 111 , 21 , 111 ] for 243 , 7 does not contain a transposition, and in ϰ ( 2111 ) , α [ 111 , 21 , 111 , 111 ] for 243 , 4 , the transposition in ϰ is not associated with two elementary tricyclic components of α .
If N = 2 , then the Artin pattern α = [ 111 , 111 , 21 , 21 ] , ϰ = ( 2100 ) identifies one of the six groups 729 , 34 . . 39 , α = [ 111 , 111 , 21 , 21 ] , since 243 , 3 is forbidden by Corollary 4.
If N = 3 , then generally α = [ 111 , 111 , 22 , 21 ] , with bipolarization consisting of copolarization ( 21 ) , i.e., coclass 2, and polarization ( 22 ) , i.e., class 4. Now, if P = 1 , then the capitulation type ϰ = ( 2110 ) ( 2120 ) contains a repetition, which identifies the group 729 , 41 . On the other hand, if P = 2 , then the capitulation type ϰ = ( 2130 ) either contains a fixed point, which gives 729 , 42 , or ϰ = ( 2103 ) neither contains a repetition nor a fixed point, which gives 729 , 43 .
If N = 4 , then generally α = [ 111 , 111 , 22 , 22 ] , but a finer distinction is provided by P . If P = 1 , then the capitulation type ϰ = ( 2111 ) ( 2122 ) contains two repetitions and becomes nearly constant, which identifies the groups 2187 , 65 | 67 of coclass 3. However, if P = 2 , then a fixed point and its repetition occurs in the capitulation type ϰ = ( 2133 ) ( 2144 ) , which leads to the groups 2187 , 66 | 73 , α = [ 111 , 111 , 22 , 22 ] .
Concerning the (super-)singular situation, two cases are distinguished. If ( m , n ) = ( m ˜ , n ˜ ) , then P = 1 , i.e., ( m , n ) { ( 0 , 1 ) , ( 1 , 0 ) } implies two identical repetitions in ϰ 0 ( 2111 ) ( 2122 ) , H . 4 , but P = 2 , i.e., ( m , n ) { ( 1 , 1 ) , ( 1 , 2 ) , ( 2 , 1 ) } , produces a single fixed point in ϰ 0 ( 2133 ) ( 2144 ) , F . 11 . These two minimal transfer kernel types for N = 4 both expand to ϰ ( 2100 ) for N = 2 . All three cases are uniform. If N = 3 were possible, then P = 1 would lead to type ϰ ( 2110 ) ( 2120 ) , d . 19 , and P = 2 would either imply type ϰ ( 2130 ) , d . 23 , or ϰ ( 2103 ) , d . 25 . The latter case would be non-uniform, but N = 3 does not seem to occur at all.
If ( m , n ) ( m ˜ , n ˜ ) , then nevertheless, P = P ˜ is possible, and then P = 1 implies two distinct repetitions in ϰ ( 2112 ) ( 2121 ) , F . 7 , uniformly, whereas P = 2 leads to either two fixed points in ϰ ( 2134 ) , G . 16 or a second transposition in ϰ ( 2143 ) , G . 19 . These permutation types would be non-uniform in two sub-doublets, but they are obviously forbidden, for an unknown reason. Finally, P P ˜ admits several distinct realizations with identical result: it always leads to a repetition, and additionally either to a fixed point in ϰ ( 2131 ) , F . 12 , or a non-fixed point in ϰ ( 2113 ) , F . 13 , non-uniformly in two sub-doublets. □
Corollary 12
(Non-uniformity of the quartet for III . 8 ). If ( m , n ) = ( m ˜ , n ˜ ) , in particular always in the regular situation, the components of the quartet, all with 3-rank two, uniformly share a common capitulation type ϰ ( k μ ) , common abelian-type invariants α ( k μ ) , and a common second 3-class group Gal ( F 3 2 ( k μ ) / k μ ) , for 1 μ 4 . Otherwise, the invariants may be non-uniform, divided in two sub-doublets.
Proof. 
In the regular case, we must have ( m , n ) = ( m ˜ , n ˜ ) . All TKTs are either equivalent to F.11, with a mandatory fixed point, if p m q n { p q , p q 2 } , or to H.4, if p m q n { p , q } , according to Table 18. The potential non-uniformity was proved in Theorem 18. □
In Table 19, we summarize the prototypes of Graph III . 8 in the same way as in Table 13. The group with multifurcation of order four is abbreviated by P 7 : = 2187 , 64 . See the table and tree diagram [24] (Section 11, pp. 96–100, Tbl. 1, Fig. 5).
Example 8.
Since III . 8 is the graph with most sparse population by far, Ayadi [2] (pp. 89–90) was unable to give any examples. We found many, but not all, prototypes. These are the minimal conductors for each scenario in Theorem 18. In the  regular   case, they have been found for N { 2 , 4 } , but not for N = 3 . There are some  regular   prototypes: c = 20293 with symbol { 13 7 223 13 } , v = 1 , and M = 729 , 37 . . 39 ; c = 46341 with symbol { 19 9 271 19 } , v = 2 , and M = 729 , 37 . . 39 ; c = 52497 with symbol { 19 9 307 19 } , v = 1 , and M = 2187 , 66 | 73 . Furthermore, there is a  super-singular   prototype c = 231469 with symbol { 43 7 769 43 } , type H . 4 , and M = 2187 , 64 # 2 ; i , i { 34 , 35 } , with d 2 ( M ) = 5 , outside of the library [3], not treated by Theorem 18. For 7 examples see [8] (Tbl. 6.8, p. 53).

8.5. Category III, Graph 9

Let ( k 1 , , k 4 ) be a quartet of cyclic cubic number fields sharing the common conductor c = p q r , belonging to Graph 9 of Category III with combined cubic residue symbol [ p , q , r ] 3 = { r p q r } .
Proposition 13.
(Quartet with 3-rank two for  III . 9 .)  For fixed μ { 1 , 2 , 3 , 4 } , let p , q , r be the prime ideals of k μ over p , q , r , that is, p O k μ = p 3 , q O k μ = q 3 , r O k μ = r 3 , then the  principal factor   of k μ is A ( k μ ) = p , and the 3-class group of k μ is
Cl 3 ( k μ ) = [ q ] , [ r ] ( 3 , 3 ) .
In terms of n and n ˜ in A ( k p q ) = p m q n and A ( k ˜ p q ) = p m ˜ q n ˜ , the ranks of the  wild   extensions are
r 1 = r 2 = r 10 = 3 iff n 0 iff q A ( k p q ) and r 3 = r 4 = r 7 = 3 iff n ˜ 0 iff q A ( k ˜ p q ) .
Proof. 
By Proposition 3, the principal factors are A ( k p r ) = A ( k ˜ p r ) = p , since r p ; and A ( k q r ) = A ( k ˜ q r ) = r , since q r . Further, by Proposition 4, A ( k μ ) = p , for all 1 μ 4 , since p is universally repelling r p q . Since p = α O k μ is a principal ideal, its class [ p ] = 1 is trivial, whereas the classes [ q ] , [ r ] are non-trivial. By Corollary 3,
  • since q is principal ideal in k q , the class [ q ] capitulates in B 6 = k 1 k 4 k q k ˜ p r and B 9 = k 2 k 3 k q k p r ;
  • since r is principal ideal in k r , the class [ r ] capitulates in B 7 = k 1 k 2 k r k ˜ p q and B 10 = k 3 k 4 k r k p q .
  • However, since r is principal ideal in k q r and k ˜ q r , the class [ r ] also capitulates in B 1 = k 1 k p q k p r k q r , B 2 = k 2 k p q k ˜ p r k ˜ q r , B 3 = k 3 k ˜ p q k ˜ p r k q r , B 4 = k 4 k ˜ p q k p r k ˜ q r , B 5 = k 1 k 3 k p k ˜ q r , and B 8 = k 2 k 4 k p k q r .
For the wild bicyclic bicubic fields B j , j { 1 , 2 , 3 , 4 , 7 , 10 } , the rank r j is calculated with row operations on the associated principal factor matrices M j :
M 1 = M 2 = 1 0 0 m n 0 1 0 0 0 0 1 , M 10 = 1 0 0 1 0 0 0 0 1 m n 0 , M 3 = M 4 = 1 0 0 m ˜ n ˜ 0 1 0 0 0 0 1 , M 7 = 1 0 0 1 0 0 0 0 1 m ˜ n ˜ 0 .
For B 1 = k 1 k p q k p r k q r and B 2 = k 2 k p q k ˜ p r k ˜ q r , M 1 = M 2 leads to the decisive pivot element n in the middle column, for B 10 = k 3 k 4 k r k p q , M 10 also leads to n. So, rank r 1 = r 2 = r 10 = 3 iff n 0 .
For B 3 = k 3 k ˜ p q k ˜ p r k q r and B 4 = k 4 k ˜ p q k p r k ˜ q r , M 3 = M 4 leads to the decisive pivot element n ˜ in the middle column; for B 7 = k 1 k 2 k r k ˜ p q , M 7 also leads to n ˜ . So, rank r 3 = r 4 = r 7 = 3 iff n ˜ 0 . □
In terms of capitulation targets in Corollary 2, Proposition 13 and parts of its proof are now summarized in Table 20, with transpositions in bold font.
Theorem 19
(Second 3-class group for III . 9 ). To identify the second 3-class group M = Gal ( F 3 2 ( k μ ) / k μ ) , 1 μ 4 , let the principal factor of k p q and k ˜ p q , respectively, be A ( k p q ) = p m q n and A ( k ˜ p q ) = p m ˜ q n ˜ , respectively, and additionally, assume the regular situation where both Cl 3 ( k p q ) Cl 3 ( k ˜ p q ) ( 3 , 3 ) are elementary bicyclic, whence ( m , n ) = ( m ˜ , n ˜ ) .
Then, the  minimal transfer kernel type   (mTKT) ϰ 0 of k μ , 1 μ 4 , and other possible capitulation types in ascending order ϰ 0 < ϰ < ϰ < ϰ , ending in the mandatory ϰ = ( 2000 ) , type a . 3 * , are ϰ 0 = ( 2111 ) , type H . 4 , ϰ = ( 2110 ) , type d . 19 , ϰ = ( 2100 ) , type b . 10 , and the second 3-class group is M
81 , 7 , α = [ 111 , 11 , 11 , 11 ] , ϰ = ( 2000 ) if n 0 , N = 1 , 729 , 34 . . 39 , α = [ 111 , 111 , 21 , 21 ] , ϰ = ( 2100 ) if n = 0 , N = 2 , 729 , 41 , α = [ 111 , 111 , 22 , 21 ] , ϰ = ( 2110 ) if n = 0 , N = 3 , 2187 , 65 | 67 , α = [ 111 , 111 , 22 , 22 ] , ϰ = ( 2111 ) if n = 0 , N = 4 ,
where N : = # { 1 j 10 k μ < B j , I j = 27 } . Only in the first case does the 3-class field tower certainly have the group G = Gal ( F 3 ( k μ ) / k μ ) M and length 3 ( k μ ) = 2 , otherwise 3 ( k μ ) 3 cannot be excluded, even if d 2 ( M ) 4 .
Proof. 
The essence of the proof is a systematic evaluation of the facts proved in Proposition 13 and illustrated by Table 20, ordered by increasing indices I j : = ( U j : V j ) of subfield units and, accordingly, by Lemma 2, shrinking transfer kernels ker ( T B j / k μ ) , with 1 j 10 , 1 μ 4 .
1.
For the maximal TKT, ϰ ( 2000 ) , called a . 3 * in conjunction with ATI [ 111 , 11 , 11 , 11 ] , we must have n 0 , n ˜ 0 and by (75) wild ranks r j = 3 and indices I j = 3 for all j = 1 , 2 , 3 , 4 , 7 , 10 , causing 8 (because 7 is used twice over k 1 and k 2 and 10 is used twice over k 3 and k 4 ) minimal 3-class numbers h 3 ( B j ) = h 3 ( k p q ) = h 3 ( k ˜ p q ) = 9 , by (50), and ATI Cl 3 ( B j ) ( 11 ) , characteristic for a group of coclass cc ( M ) = 1 , i.e., maximal class, namely M 81 , 7 . However, the elementary tricyclic component ( 111 ) of the ATI requires tame indices I j = 27 for j = 5 , 8 , and thus N = 1 for each 1 μ 4 (because 5 is used twice over k 1 and k 3 and 8 is used twice over k 2 and k 4 ).
2.
Next, one of the total TK shrinks to a transposition, ϰ ( 2100 ) , b . 10 , which requires a group of coclass cc ( M ) 2 , implying, firstly, tame indices I j = 27 also for j = 6 , 9 , and thus N = 2 for each 1 μ 4 (because 6 is used twice over k 1 and k 4 and 9 is used twice over k 2 and k 3 ), and, secondly, (from now on) necessarily both n = n ˜ = 0 , implying wild ranks r j = 2 indices I j { 9 , 27 } for all j = 1 , 2 , 3 , 4 , 7 , 10 , here I j = 9 , 3-class numbers h 3 ( B j ) = 3 · h 3 ( k p q ) = 3 · h 3 ( k ˜ p q ) = 3 · 9 = 27 , and thus ATI α [ 111 , 111 , 21 , 21 ] , leading to M 729 , 34 . . 39 , in view of Corollary 4.
3.
Now another total TK shrinks to a repetition, ϰ ( 2110 ) , d . 19 ; the first three wild indices for j = 1 , 2 , 10 become maximal I j = 27 , causing N = 3 and 4 (because 10 is used twice over k 3 and k 4 ) maximal new 3-class numbers
h 3 ( B j ) = 9 · h 3 ( k ˜ p q ) = 9 · 9 = 81 , and thus ATI α [ 111 , 111 , 22 , 21 ] , uniquely identifying M 729 , 41 .
4.
Finally, for the minimal TKT, ϰ 0 ( 2111 ) , H . 4 , the remaining three wild indices for j = 3 , 4 , 7 become maximal I j = 27 , causing N = 4 and 4 (because 7 is used twice over k 1 and k 2 ) maximal new 3-class numbers h 3 ( B j ) = 9 · h 3 ( k ˜ p q ) = 9 · 9 = 81 , and thus ATI α [ 111 , 111 , 22 , 22 ] , enforcing a group of coclass cc ( M ) = 3 namely M 2187 , 65 | 67 .
Corollary 13
(Uniformity of the quartet for III . 9 ). The components of the quartet, all with 3-rank two, share a common capitulation type ϰ ( k μ ) , common abelian-type invariants α ( k μ ) , and a common second 3-class group Gal ( F 3 2 ( k μ ) / k μ ) , for 1 μ 4 .
Proof. 
This follows immediately from Theorem 19. □
Example 9.
For 15 examples see [8] (Tbl. 6.6, p. 51). Prototypes for Graph III . 9 are the minimal conductors for each scenario in Theorem 19. They have been found for all N { 1 , 2 , 3 , 4 } .
There are  regular   cases: c = 16471 with symbol { 13 181 7 13 } , v * = 1 , and G = M = 81 , 7 ; c = 89487 with symbol { 9 163 61 9 } , v * = 2 , and M = 729 , 41 ; c = 109291 with symbol { 7 13 1201 7 } , v * = 2 , and M = 729 , 34 . . 36 ; c = 193921 with symbol { 7 13 2131 7 } , v * = 2 , and M = 729 , 37 . . 39 ; and, with  extreme statistic delay, c = 707517 with ordinal number 145, symbol { 9 127 619 9 } , v * = 2 , and M = 2187 , 65 | 67 with d 2 ( M ) = 5 .
Only one  super-singular case for c < 2 · 10 5 : It is c = 197 , 239 with symbol 7 1483 19 7 , v * = 4 , and M = 729 , 37 . . 39 . Astonishingly, there is no bigger order and coclass of M , due to n 0 .
In Table 21, we summarize the prototypes of Graph III . 9 in the same way as in Table 13.

9. Conclusions

In this work, we have seen that order and structure of the second 3-class group M = Gal ( F 3 2 ( k ) / k ) of a cyclic cubic number field k with the conductor c = p q r divisible by three prime(power)s p , q , r and the elementary bicyclic 3-class group Cl 3 ( k ) ( 3 , 3 ) depends on arithmetical invariants of other cyclic cubic auxiliary fields, associated with k. The field k is component of a quartet ( k 1 , , k 4 ) of cyclic cubic fields sharing the common conductor c. The graph [ p , q , r ] 3 , which is combined by the cubic residue symbols p q 3 , q p 3 , p r 3 , r p 3 , q r 3 , r q 3 decides whether one, or two, or no component(s) of the quartet have a 3-class group of rank ϱ ( k μ ) = 3 , and accordingly, the conductor c = p q r is called Category I , or II , or III . For Category I , the order of the 3-class group of the unique component with ϱ ( k μ 0 ) = 3 is crucial. For Category II , the orders of both 3-class groups of the two components with ϱ ( k μ 1 ) = ϱ ( k μ 2 ) = 3 exert an impact. For Category III , the behavior is uniform with abelian M ( 3 , 3 ) , if [ p , q , r ] 3 does not contain mutual cubic residues (Graphs 1–4), otherwise there is exactly one pair p q of mutual cubic residues (Graphs 5–9), and the auxiliary fields with decisive 3-class groups are the two subfields k p q and k ˜ p q of the absolute genus field k * of k, having the partial conductor p q . In each case, the principal factors (norms of ambiguous principal ideals) determine the fine structure in form of uniform or non-uniform second 3-class groups M = Gal ( F 3 2 ( k μ ) / k μ ) . Explicit numerical investigations indicate that there is no upper bound for the orders of the 3-class groups Cl 3 ( k μ 0 ) ; Cl 3 ( k μ 1 ) and Cl 3 ( k μ 2 ) ; and Cl 3 ( k p q ) and Cl 3 ( k ˜ p q ) , respectively. In the regular situation, these orders are 27 and 9, respectively; in the singular situation, they are 81 and 27; but in the super-singular situation, they are at least 243 and 27, respectively, and the orders may increase unboundedly. Concrete numerical examples are known with orders up to 729.
Bicyclic bicubic fields B j , j = 1 , , 10 , constitute the capitulation targets of the cyclic cubic fields k μ , μ = 1 , , 4 . The introduction of important new concepts, the minimal and maximal capitulation type (mTKT), ϰ 0 and ϰ , permitted recognition of common patterns for several Graphs, partially in distinct Categories.
The four Graphs II . 1 , II . 2 , III . 7 , III . 9 share the same ordered sequence of TKTs, ϰ 0 ( 2111 ) < ( 2110 ) < ( 2100 ) < ( 2000 ) ϰ , called H . 4 , d . 19 , b . 10 , a . 3 * , although the proofs and details are quite different. In terms of splitting prime ideals q O B j = Q 1 Q 2 Q 3 , r O B = R 1 R 2 R 3 , all these TKTs contain a crucial transposition, due to elementary tricyclic 3-class groups Cl 3 ( B j ) = [ Q 1 , ] [ Q 2 , ] [ Q 3 ] , Cl 3 ( B ) = [ R 1 , ] [ R 2 , ] [ R 3 ] , and twisted capitulation kernels ker ( T B j / k μ ) = [ r ] , ker ( T B / k μ ) = [ q ] , which restricts the group M to descendants of 243 , 3 (except 81 , 7 , where a total transfer kernel hides the transposition).
Similarly, the two graphs I . 1 , I . 2 admit another characteristic ordered sequence of TKTs, ϰ 0 ( 4231 ) < ( 0231 ) < ( 0200 ) , ( 0001 ) < ( 0000 ) ϰ , called G . 16 , c . 21 , a . 2 , a . 3 , a . 1 , with two fixed points, which restrict the group M to descendants of 243 , 8 (except 81 , 8 , 81 , 10 , 243 , 25 , 243 , 27 , where total transfer kernels partially or completely hide the fixed points).
A remarkable outsider is Graph III . 8 with a veritable wealth of exotic capitulation types, but restricted to the unusual maximal TKT ϰ ( 2100 ) , b . 10 , forced by mandatory transposition.
Due to the lack of cubic residue conditions between the prime divisors of the conductor c = p q r , two Graphs I . 1 , III . 5 admit the absolute maximum of all TKTs ϰ = ( 0000 ) (non-abelian!).
It might be worth one’s while to point out that a glance at α 2 in Table 2 and Table 3 reveals that the commutator subgroup of all encountered second 3-class groups M and 3-class tower groups G , respectively, has the order # ( M ) 9 and # ( G ) 9 , respectively, which means that the class number of the Hilbert 3-class field F 3 1 ( k ) is divisible by 9, for all cyclic cubic fields k, with the exception of t = 1 , the regular cases for t = 2 , and the Graphs 1 , , 4 of Category III for t = 3 .
For Category I and II , we expect a rather rigid impact of the groups M = Gal ( F 3 2 ( k μ ) / k μ ) for Cl 3 ( k μ ) ( 3 , 3 ) on the groups Gal ( F 3 2 ( k ν ) / k ν ) for Cl 3 ( k ν ) ( 3 , 3 , 3 ) , as suggested by the numerous tables in [8]. This research line will be pursued further in a forthcoming paper.

Author Contributions

Conceptualization, D.C.M.; Formal analysis, S.A.; Methodology, D.C.M.; Resources, S.A.; Software, D.C.M.; Validation, S.A.; Data curation, D.C.M.; Investigation, S.A. and D.C.M.; Writing—original draft, S.A. and D.C.M.; Supervision, D.C.M.; Project administration, S.A.; Funding acquisition, D.C.M. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the Austrian Science Fund (FWF): projects J0497-PHY and P26008-N25, and by the Research Executive Agency of the European Union (EUREA): project Horizon Europe 2021–2027.

Data Availability Statement

Basic data is contained within the article. Extended data may be requested from Daniel C. Mayer by email.

Acknowledgments

Both authors gratefully acknowledge computational aid by Bill Allombert, who used the algorithm of Aurel Page [26] to determine the 3-class groups of Hilbert 3-class fields and thus α 2 in Corollary 4.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Gras, G. Sur les -classes d’idéaux dans les extensions cycliques relatives de degré premier . Ann. Inst. Fourier 1973, 23, 4. [Google Scholar] [CrossRef]
  2. Ayadi, M. Sur la capitulation des 3-classes d’idéaux d’un corps cubique cyclique. Ph.D. Thesis, Université Laval, Laval, QC, Canada, 1995. [Google Scholar]
  3. Besche, H.U.; Eick, B.; O’Brien, E.A. The SmallGroups Library—A Library of Groups of Small Order; Magma: Sydney, Australia, 2005. [Google Scholar]
  4. Parry, C.J. Bicyclic Bicubic Fields. Canad. J. Math. 1990, 42, 491–507. [Google Scholar] [CrossRef]
  5. Mayer, D.C. Multiplicities of dihedral discriminants. Math. Comp. 1992, 58, 198. [Google Scholar] [CrossRef]
  6. Magma Developer Group. Magma Computational Algebra System, Version 2.28-3, Sydney. 2023. Available online: http://magma.maths.usyd.edu.au (accessed on 10 October 2023).
  7. Fieker, C. Computing class fields via the Artin map. Math. Comp. 2001, 70, 235. [Google Scholar] [CrossRef]
  8. Mayer, D.C. Theoretical and experimental approach to p-class field towers of cyclic cubic number fields. In Proceedings of the Sixièmes Journées d’Algèbre, Théorie des Nombres et leurs Applications (JATNA) 2022, Faculté des Sciences, Université Mohammed Premier, Oujda, Morocco, 25–26 November 2022; Available online: http://www.algebra.at/CyclicCubicTheoryAndExperiment.pdf (accessed on 10 October 2023).
  9. Ayadi, M.; Azizi, A.; Ismaili, M.C. The capitulation problem for certain number fields. In Class Field Theory—Its Centenary and Prospect; Advanced Studies in Pure Mathemetics; The Mathematical Society of Japan: Osaka, Japan, 2001; Volume 30, pp. 467–482. [Google Scholar]
  10. Mayer, D.; Aouissi, S. Group theoretic Approach To Cyclic Cubic Fileds. arXiv 2023, arXiv:2310.07349. [Google Scholar]
  11. Barrucand, P.; Cohn, H. Remarks on principal factors in a relative cubic field. J. Number Theory 1971, 3, 226–239. [Google Scholar] [CrossRef]
  12. Taussky, O. Über eine Verschärfung des Hauptidealsatzes für algebraische Zahlkörper. J. Reine Angew. Math. 1932, 168, 193–210. [Google Scholar] [CrossRef]
  13. Taussky-Todd, O. Arnold Scholz zum Gedächtnis. Math. Nachrichten 1952, 7, 379–386. [Google Scholar] [CrossRef]
  14. Mayer, D.C. Transfers of metabelian p-groups. Monatsh. Math. 2012, 166, 467–495. [Google Scholar] [CrossRef]
  15. Mayer, D.C. Pattern recognition via Artin transfers applied to class field towers. In Proceedings of the 3rd International Conference on Mathematics and its Applications (ICMA) 2020, Faculté des Sciences d’ Ain Chock Casablanca (FSAC), Université Hassan II, Casablanca, Morocco, 28 February 2020; Available online: http://www.algebra.at/[email protected] (accessed on 10 October 2023).
  16. Mayer, D.C. New number fields with known p-class tower. Tatra Mt. Math. Pub. 2015, 64, 21–57. [Google Scholar] [CrossRef]
  17. Shafarevich, I.R. Extensions with prescribed ramification points. Publ. Math. Inst. Hautes Études Sci. 1964, 18, 71–95. (In Russian); English transl. by J. W. S. Cassels in Amer. Math. Soc. Transl. II Ser. 1966, 59, 128–149 [Google Scholar]
  18. Gamble, G.; Nickel, W.; O’Brien, E.A. ANU p-Quotient—p-Quotient and p-Group Generation Algorithms; Magma: Sydney, Australia, 2006. [Google Scholar]
  19. Ascione, J.A.; Havas, G.; Leedham-Green, C.R. A computer aided classification of certain groups of prime power order. Bull. Aust. Math. Soc. 1977, 17, 257–274. [Google Scholar] [CrossRef]
  20. Magma Developer Group. Magma, Data for groups of order 38, data3to8.tar.gz, Sydney. 2012. Available online: http://magma.maths.usyd.edu.au (accessed on 10 October 2023).
  21. Bosma, W.; Cannon, J.; Playoust, C. The Magma algebra system. I. The user language. J. Symb. Comput. 1997, 24, 235–265. [Google Scholar] [CrossRef]
  22. Bosma, W.; Cannon, J.; Fieker, C.; Steel, A. (Eds.) Handbook of Magma Functions, 2.28 ed.; University of Sydney: Sydney, Australia, 2023. [Google Scholar]
  23. Scholz, A.; Taussky, O. Die Hauptideale der kubischen Klassenkörper imaginär quadratischer Zahlkörper: Ihre rechnerische Bestimmung und ihr Einfluß auf den Klassenkörperturm. J. Reine Angew. Math. 1934, 171, 19–41. [Google Scholar]
  24. Mayer, D.C. Co-periodicity isomorphisms between forests of finite p-groups. Adv. Pure Math. 2018, 8, 77–140. [Google Scholar] [CrossRef]
  25. Mayer, D.C. Index-p abelianization data of p-class tower groups. Adv. Pure Math. 2015, 5, 286–313. [Google Scholar] [CrossRef]
  26. Page, A. Abelianbnf, Pari/gp Script, Institute de Mathématiques de Bordeaux (IMB), Lithe and Fast Algorithmic Number Theory (LFANT). 2020. Available online: https://inria.hal.science/hal-02961482 (accessed on 10 October 2023).
Table 1. Known and unknown impact of t and q 1 , , q t on ϱ ( k ) and M , G .
Table 1. Known and unknown impact of t and q 1 , , q t on ϱ ( k ) and M , G .
tConditions ϱ ( k ) F 3 ( k ) M G 3 ( k )
t = 1 ϱ = 0 = k = 1 = 1 = 0
t = 2 q 1 q 2 ϱ = 1 = F 3 1 ( k ) = Z / 3 Z = M = 1
t = 2 q 1 q 2 , Cl 3 ( k ) elem. ϱ = 2 = F 3 1 ( k ) = SmallGroup ( 9 , 2 ) = M = 1
or = F 3 2 ( k ) = SmallGroup ( 27 , 4 ) = M = 2
t = 2 q 1 q 2 , Cl 3 ( k ) non-elem. ϱ = 2 F 3 2 ( k ) unknownunknown 2
t = 3 2 ϱ 4 F 3 1 ( k ) ?? 1
Table 2. Invariants of metabelian 3-groups M with M / M ( 3 , 3 ) .
Table 2. Invariants of metabelian 3-groups M with M / M ( 3 , 3 ) .
M ccType ϰ α α 2 ν μ π ( M )
9 , 2 1a.1 ( 0000 ) 1 , 1 , 1 , 1 033
27 , 3 1a.1 ( 0000 ) 11 , 11 , 11 , 11 124 9 , 2
27 , 4 1A.1 ( 1111 ) 11 , 2 , 2 , 2 102 9 , 2
81 , 7 1a.3 * ( 2000 ) 111 , 11 , 11 , 11 1103 27 , 3
81 , 8 1a.3 ( 2000 ) 21 , 11 , 11 , 11 1103 27 , 3
81 , 9 1a.1 ( 0000 ) 21 , 11 , 11 , 11 1114 27 , 3
81 , 10 1a.2 ( 1000 ) 21 , 11 , 11 , 11 1103 27 , 3
243 , 25 1a.3 ( 2000 ) 22 , 11 , 11 , 11 2103 81 , 9
243 , 27 1a.2 ( 1000 ) 22 , 11 , 11 , 11 2103 81 , 9
243 , 28 . . 30 1a.1 ( 0000 ) 21 , 11 , 11 , 11 2103 81 , 9
243 , 3 2b.10 ( 0043 ) 21 , 21 , 111 , 111 11124 27 , 3
729 , 34 = H 2b.10 ( 0043 ) 21 , 21 , 111 , 111 111125 243 , 3
729 , 35 = I 2b.10 ( 0043 ) 21 , 21 , 111 , 111 111114 243 , 3
729 , 37 = A 2b.10 ( 0043 ) 21 , 21 , 111 , 111 21125 243 , 3
729 , 38 = C 2b.10 ( 0043 ) 21 , 21 , 111 , 111 21114 243 , 3
729 , 40 = B 2b.10 ( 0043 ) 22 , 21 , 111 , 111 21125 243 , 3
729 , 41 = D 2d.19 ( 4043 ) 22 , 21 , 111 , 111 21114 243 , 3
729 , 42 2d.23 ( 1043 ) 22 , 21 , 111 , 111 21103 243 , 3
729 , 43 2d.25 ( 2043 ) 22 , 21 , 111 , 111 21103 243 , 3
2187 , 248 | 249 2d.19 ( 4043 ) 32 , 21 , 111 , 111 22104 729 , 40
2187 , 250 2d.23 ( 1043 ) 32 , 21 , 111 , 111 22104 729 , 40
2187 , 251 | 252 2d.25 ( 2043 ) 32 , 21 , 111 , 111 22104 729 , 40
2187 , 253 2b.10 ( 0043 ) 22 , 21 , 111 , 111 22115 729 , 40
6561 , 1989 2d.19 ( 4043 ) 33 , 21 , 111 , 111 32104 2187 , 247
243 , 8 2c.21 ( 0231 ) 21 , 21 , 21 , 21 11113 27 , 3
729 , 52 = S 2G.16 ( 4231 ) 22 , 21 , 21 , 21 21113 243 , 8
729 , 54 = U 2c.21 ( 0231 ) 22 , 21 , 21 , 21 21124 243 , 8
2187 , 301 | 305 2G.16 ( 4231 ) 32 , 21 , 21 , 21 22114 729 , 54
2187 , 303 2c.21 ( 0231 ) 32 , 21 , 21 , 21 22114 729 , 54
2187 , 64 = P 7 3b.10 ( 0043 ) 22 , 22 , 111 , 111 211146 243 , 3
2187 , 65 | 67 3H.4 ( 3343 ) 22 , 22 , 111 , 111 211135 243 , 3
2187 , 66 | 73 3F.11 ( 1143 ) 22 , 22 , 111 , 111 211124 243 , 3
2187 , 69 3G.16 ( 1243 ) 22 , 22 , 111 , 111 211124 243 , 3
2187 , 71 3G.19 ( 2143 ) 22 , 22 , 111 , 111 211124 243 , 3
6561 , 676 | 677 3d.19 ( 4043 ) 32 , 22 , 111 , 111 221105 2187 , 64
6561 , 678 3d.23 ( 1043 ) 32 , 22 , 111 , 111 221105 2187 , 64
6561 , 679 | 680 3d.25 ( 2043 ) 32 , 22 , 111 , 111 221105 2187 , 64
6561 , 693 . . 698 3b.10 ( 0043 ) 22 , 22 , 111 , 111 221105 2187 , 64
P 7 # 2 ; 34 | 35 4H.4 ( 3343 ) 32 , 32 , 111 , 111 222115 2187 , 64
Table 3. Invariants of non-metabelian 3-groups G with G / G ( 3 , 3 ) .
Table 3. Invariants of non-metabelian 3-groups G with G / G ( 3 , 3 ) .
G ccType ϰ α α 2 ν μ G / G
2187 , 263 . . 265 2d.19 ( 4043 ) 22 , 21 , 111 , 111 21103 729 , 41
2187 , 307 | 308 2c.21 ( 0231 ) 22 , 21 , 21 , 21 21103 729 , 54
6561 , 619 | 623 3G.16 ( 4231 ) 32 , 21 , 21 , 21 22113 2187 , 301|305〉
Table 4. Norm class groups and minimal transfer kernels with n = 2 for Graph I.1.
Table 4. Norm class groups and minimal transfer kernels with n = 2 for Graph I.1.
Base k 2 k 3 k 4
Ext B 2 B 7 B 8 B 9 B 3 B 5 B 9 B 10 B 4 B 6 B 8 B 10
NCG r qr qr 2 q qr qr 2 q r q qr qr 2 r
TK qr r qr 2 q qr 2 qr q r qr q qr 2 r
ϰ 2 1 34 2 1 34 2 1 34
Table 5. Prototypes for Graph I.1.
Table 5. Prototypes for Graph I.1.
No.c p , q , r v x , y , z ; , m , n Capitulation Type M 3 ( k )
14977 9 , 7 , 79 3 2 , 1 , 1 ; 1 , 1 , 2 a . 3 , a . 1 243 , 25 , 243 , 28 . . 30 2 = 2
3 11,349 9 , 13 , 97 3 0 , 1 , 1 ; 2 , 1 , 1 a . 3 , a . 2 81 , 8 , 81 , 10 2 = 2
10 28,791 9 , 7 , 457 4 2 , 1 , 1 ; 1 , 1 , 2 c . 21 729 , 54 3 2
14 38,727 9 , 13 , 331 4 1 , 0 , 1 ; 2 , 1 , 1 c . 21 243 , 8 3 = 2
27 67,347 9 , 7 , 1069 5 2 , 1 , 1 ; 1 , 1 , 2 c . 21 2187 , 303 3 2
189 417,807 9 , 13 , 3571 4 2 , 2 , 1 ; 2 , 2 , 2 G . 16 2187 , 301 | 305 3 2
198 436,267 13 , 37 , 907 6 1 , 1 , 1 ; 2 , 2 , 2 G . 16 ( R # 1 ; 3 | 5 ) 3 2
Table 6. Norm class groups and minimal transfer kernels with n = 1 for Graph I.2.
Table 6. Norm class groups and minimal transfer kernels with n = 1 for Graph I.2.
Base k 2 k 3 k 4
Ext B 2 B 7 B 8 B 9 B 3 B 5 B 9 B 10 B 4 B 6 B 8 B 10
NCG r qr 2 qr q qr 2 qr q r q qr 2 qr r
TK qr 2 r qr q qr qr 2 q r qr 2 q qr r
ϰ 2 1 34 2 1 34 2 1 34
Table 7. Prototypes for Graph I.2.
Table 7. Prototypes for Graph I.2.
No.c q p r v y , z ; n Capitulation Type M 3 ( k )
17657 13 31 19 4 1 , 1 ; 2 c . 21 243 , 8 3 = 2
28001 9 127 7 3 1 , 2 ; 1 a . 3 , a . 2 81 , 8 , 81 , 10 2 = 2
12 21,049 7 97 31 3 0 , 0 ; 1 c . 21 243 , 8 3 = 2
27 48,393 9 19 283 4 0 , 0 ; 2 G . 16 2187 , 301 | 305 3 2
33 59,031 9 937 7 3 0 , 0 ; 1 G . 16 729 , 52 3 2
Table 8. Norm class groups and minimal transfer kernels for Graph II.1.
Table 8. Norm class groups and minimal transfer kernels for Graph II.1.
Base k 2 k 3
Ext B 2 B 7 B 8 B 9 B 3 B 5 B 9 B 10
NCG q qr qr 2 r q qr 2 r qr
TK r r r q r r q r
ϰ 4 44 1 3 3 1 3
Table 9. Prototypes for Graph II.1.
Table 9. Prototypes for Graph II.1.
No.c p q r v 1 , v 4 y 1 , y 4 Capitulation Type M 3 ( k )
13913 13 7 43 3 , 3 1 , 1 a . 3 * 81 , 7 2 = 2
9 22,581 9 193 13 3 , 3 0 , 0 d . 19 729 , 41 2 2
11 25,929 9 67 43 3 , 3 0 , 0 b . 10 729 , 34 . . 36 2 2
15 30,457 7 19 229 4 , 4 1 , 1 b . 10 729 , 37 . . 39 2 2
18 34,029 19 9 199 4 , 4 1 , 0 d . 19 2187 , 248 | 249 2 2
23 41,839 43 7 139 4 , 4 0 , 0 b . 10 6561 , 693 . . 698 2 2
35 74,043 19 9 433 3 , 3 0 , 0 H . 4 2187 , 65 | 67 2 3
or 6561 , 714 . . 719 | 738 . . 743 2
39 82,327 7 19 619 3 , 3 0 , 0 b . 10 729 , 37 . . 39 2 2
42 83,817 9 67 139 5 , 4 0 , 1 b . 10 6561 , 693 . . 698 2 2
Table 10. Norm class groups and minimal transfer kernels for Graph II.2.
Table 10. Norm class groups and minimal transfer kernels for Graph II.2.
Base k 1 k 2
Ext B 1 B 5 B 6 B 7 B 2 B 7 B 8 B 9
NCG r qr qr 2 q r q qr qr 2
TK q q q r q r q q
ϰ 4 44 1 2 1 22
Table 11. Prototypes for Graph II.2.
Table 11. Prototypes for Graph II.2.
No.c q r p q v 3 , v 4 z 3 , z 4 Capitulation Type M 3 ( k )
16327 19 9 37 19 3 , 3 1 , 1 a . 3 * 81 , 7 2 = 2
8 27,873 19 9 163 19 4 , 4 1 , 1 b . 10 729 , 34 . . 36 2 2
10 29,197 43 7 97 43 4 , 4 0 , 1 b . 10 2187 , 253 2 3
14 41,629 19 313 7 19 3 , 3 0 , 0 b . 10 729 , 34 . . 36 2 2
23 56,547 61 103 9 61 3 , 3 0 , 0 d . 19 729 , 41 2 2
28 63,511 43 7 211 43 4 , 4 1 , 1 b . 10 729 , 37 . . 39 2 2
31 66,157 13 7 727 13 5 , 4 1 , 0 d . 19 6561 , 1989 2 2
207 389,329 19 661 31 19 3 , 3 0 , 0 H . 4 2187 , 65 | 67 2 3
or 6561 , 714 . . 719 | 738 . . 743 2
Table 12. Norm class groups and minimal transfer kernels for Graph III . 5 .
Table 12. Norm class groups and minimal transfer kernels for Graph III . 5 .
Base k 1 k 2 k 3 k 4
Ext B 1 B 5 B 6 B 7 B 2 B 7 B 8 B 9 B 3 B 5 B 9 B 10 B 4 B 6 B 8 B 10
NCG qr 2 q qr r qr r q qr 2 r q qr qr 2 r qr 2 q qr
TK qr 2 qr q r qr r qr 2 q qr 2 qr q r qr q qr 2 r
ϰ 1 3 2 412 4 3 4 3 2 1 4 3 2 1
Table 13. Prototypes for Graph III.5.
Table 13. Prototypes for Graph III.5.
No.c p q , r v * v v ˜ m , n m ˜ , n ˜ sCapitulation Type M 3 ( k )
1 14,049 7 223 , 9 122 2 , 1 2 , 1 11 a . 1 243 , 28 . . 30 4 = 2
2 17,073 9 271 , 7 222 0 , 1 0 , 1 11 a . 3 * 81 , 7 4 = 2
3 20,367 9 73 , 31 122 2 , 1 2 , 1 22 a . 2 , a . 1 243 , 27 , 243 , 28 . . 30 3 = 2
4 21,231 7 337 , 9 122 1 , 1 1 , 1 11 a . 2 , a . 3 243 , 27 2 , 243 , 25 2 = 2
13 42,399 7 673 , 9 333 0 , 1 1 , 0 12 b . 10 729 , 37 . . 39 4 2
16 48,447 7 769 , 9 433 0 , 1 0 , 1 11 b . 10 729 , 37 . . 39 4 2
39 100,503 13 859 , 9 333 1 , 0 1 , 1 21 b . 10 729 , 34 . . 36 4 2
67 145,593 7 2311 , 9 433 2 , 1 2 , 1 11 d . 23 , d . 25 2187 , 250 2 ,
2187 , 251 | 252 2 ,
2
128 256,669 37 991 , 7 653 1 , 1 2 , 1 21 G . 16 , G . 19 ( S 4 4 ) 2 , ( U 5 4 | V 6 4 ) 2 3
Table 14. Norm class groups and minimal transfer kernels for Graph III.6.
Table 14. Norm class groups and minimal transfer kernels for Graph III.6.
Base k 1 k 2 k 3 k 4
Ext B 1 B 5 B 6 B 7 B 2 B 7 B 8 B 9 B 3 B 5 B 9 B 10 B 4 B 6 B 8 B 10
NCG r q qr qr 2 r qr q qr 2 qr 2 q qr r qr qr 2 q r
TK qr 2 qr q r qr r qr 2 q qr 2 qr q r qr q qr 2 r
ϰ 4 3 2 1 2 1 4 3 1 3 2 41 3 2 4
Table 15. Prototypes for Graph III.6.
Table 15. Prototypes for Graph III.6.
No.c r p q v * v m , n v ˜ m ˜ , n ˜ Capitulation   Type M 3 ( k )
18541 13 73 9 12 1 , 2 2 1 , 2 a . 3 * 81 , 7 4 = 2
29373 7 13 103 12 1 , 1 2 1 , 1 a . 3 * 81 , 7 4 = 2
20 56,329 7 13 619 22 0 , 1 2 0 , 1 a . 3 * 81 , 7 4 = 2
29 78,169 7 13 859 33 1 , 0 3 1 , 1 d . 23 2187 , 250 2 2
d . 25 2187 , 251 | 252 2 2
34 102,277 19 7 769 43 0 , 1 3 0 , 1 b . 10 729 , 37 . . 39 4 2
52 142,519 13 577 19 22 1 , 0 2 1 , 0 b . 10 729 , 37 . . 39 4 2
54 142,947 7 2269 9 33 1 , 0 3 0 , 1 b . 10 2187 , 253 4 2
56 152,893 19 619 13 22 1 , 0 2 1 , 0 b . 10 729 , 34 . . 36 4 2
58 163,681 7 349 67 22 1 , 0 2 1 , 0 d . 23 729 , 42 2 2
d . 25 729 , 43 2 2
71 193,059 9 19 1129 22 1 , 0 2 1 , 0 G . 16 2187 , 69 2 2
G . 19 2187 , 71 2 2
75 199,171 37 769 7 43 1 , 0 3 1 , 0 b . 10 6561 , 693 . . 698〉4 3
Table 16. Norm class groups and minimal transfer kernels for Graph III.7.
Table 16. Norm class groups and minimal transfer kernels for Graph III.7.
Base k 1 k 2 k 3 k 4
Ext B 1 B 5 B 6 B 7 B 2 B 7 B 8 B 9 B 3 B 5 B 9 B 10 B 4 B 6 B 8 B 10
NCG pq 2 q p pq pq 2 pq q p pq 2 q p pq pq 2 p q pq
TK q p q q q q p q q p q q q q p q
ϰ 2 3 2 233 4 3 2 3 2 23 3 2 3
Table 17. Prototypes for Graph III.7.
Table 17. Prototypes for Graph III.7.
No.c q p r v * v m , n v ˜ m ˜ , n ˜ Capitulation Type M 3 ( k )
14599 9 73 7 12 1 , 2 2 1 , 2 a . 3 * 81 , 7 = 2
2 12,051 13 103 9 12 1 , 1 2 1 , 1 a . 3 * 81 , 7 = 2
6 31,707 9 271 13 22 1 , 0 2 1 , 0 a . 3 * 81 , 7 = 2
21 76,741 577 19 7 22 0 , 1 2 0 , 1 H . 4 2187 , 65 | 67 3
27 90,243 271 9 37 22 0 , 1 2 0 , 1 d . 19 729 , 41 2
13 61,243 673 7 13 33 0 , 1 3 1 , 0 b . 10 2187 , 253 2
17 69,979 769 7 13 43 0 , 1 3 0 , 1 d . 19 6561 , 676 | 677〉 3
25 86,821 79 157 7 43 1 , 1 3 1 , 2 b . 10 729 , 37 . . 39 2
Table 18. Norm class groups and minimal transfer kernels for Graph III.8.
Table 18. Norm class groups and minimal transfer kernels for Graph III.8.
Base k 1 k 2 k 3 k 4
Ext B 1 B 5 B 6 B 7 B 2 B 7 B 8 B 9 B 3 B 5 B 9 B 10 B 4 B 6 B 8 B 10
NCG pq q p pq 2 pq pq 2 q p pq q p pq 2 pq p q pq 2
TK p m q n p q p m ˜ q n ˜ p m q n p m ˜ q n ˜ p q p m ˜ q n ˜ p q p m q n p m ˜ q n ˜ q p p m q n
ϰ x 3 2 x ˜ y y ˜ 4 3 z ˜ 3 2 z w ˜ 3 2 w
Table 19. Prototypes for Graph III.8.
Table 19. Prototypes for Graph III.8.
No.c r p q r v * v m , n v ˜ m ˜ , n ˜ Capitulation Type M 3 ( k )
1 20293 13 7 223 13 12 2 , 1 b . 10 729 , 37 . . 39 2
2 41509 31 13 103 31 12 1 , 1 b . 10 729 , 37 . . 39 2
3 46341 19 9 271 19 22 0 , 1 b . 10 729 , 37 . . 39 2
5 52497 19 9 307 19 12 2 , 1 F . 11 2187 , 66 | 73 2
7 92911 13 7 1021 13 12 1 , 1 F . 11 2187 , 66 | 73 2
18 191007 19 9 1117 19 22 1 , 0 b . 10 729 , 37 . . 39 2
26 231469 43 7 769 43 43 0 , 1 3 0 , 1 H . 4 P 7 # 2 ; 34 | 35 3
40 387729 9 67 643 9 33 2 , 1 3 2 , 1 F . 11 P 7 # 2 ; 36 | 38 2
92 756499 43 73 241 43 33 0 , 1 3 1 , 1 F . 12 P 7 # 2 ; 43 | 46 | 51 | 53 2
F . 13 P 7 # 2 ; 41 | 47 | 50 | 52 3
93 758233 7 19 5701 7 33 1 , 1 3 1 , 1 F . 11 P 7 # 2 ; 36 | 38 2
101 806869 7 73 1579 7 53 1 , 1 5 1 , 1 F . 11 2
105 831001 67 79 157 67 43 1 , 1 3 2 , 1 d . 23 6561 , 678 3
d . 25 6561 , 679 | 680 3
102 945117 19 9 5527 19 33 1 , 0 3 1 , 1 F . 12 P 7 # 2 ; 43 | 46 | 51 | 53 2
F . 13 P 7 # 2 ; 41 | 47 | 50 | 52 3
162 1301287 31 13 3229 31 44 0 , 1 3 2 , 1 d . 23 2
d . 25 2
164 1305937 31 103 409 31 64 1 , 1 5 1 , 1 F . 11 2
183 1463917 13 7 16087 13 33 0 , 1 3 1 , 0 F . 7 P 7 # 2 ; 55 | 56 | 58 2
185 1483767 19 9 8677 19 33 2 , 1 3 0 , 1 F . 12 P 7 # 2 ; 43 | 46 | 51 | 53 2
F . 13 P 7 # 2 ; 41 | 47 | 50 | 52 2
253 2068587 19 9 12097 19 53 1 , 1 5 0 , 1 F . 12 2
F . 13 2
385 2991987 19 9 17497 19 33 1 , 0 3 2 , 1 F . 12 P 7 # 2 ; 43 | 46 | 51 | 53 2
F . 13 P 7 # 2 ; 41 | 47 | 50 | 52 2
468 3556699 97 37 991 97 65 1 , 1 3 2 , 1 d . 23 2
d . 25 2
651 4686019 109 13 3307 109 44 0 , 1 3 1 , 0 F . 7 P 7 # 2 ; 55 | 56 | 58 2
Table 20. Norm class groups and minimal transfer kernels for Graph III.9.
Table 20. Norm class groups and minimal transfer kernels for Graph III.9.
Base k 1 k 2 k 3 k 4
Ext B 1 B 5 B 6 B 7 B 2 B 7 B 8 B 9 B 3 B 5 B 9 B 10 B 4 B 6 B 8 B 10
NCG qr q r qr 2 qr 2 qr q r qr 2 q r qr qr r q qr 2
TK r r q r r r r q r r q r r q r r
ϰ 3 3 2 344 4 3 3 3 2 32 3 2 2
Table 21. Prototypes for Graph III.9.
Table 21. Prototypes for Graph III.9.
No.c r p q r v * v m , n v ˜ m ˜ , n ˜ Capitulation Type M 3 ( k )
1 16,471 13 181 7 13 12 1 , 1 2 1 , 1 a . 3 * 81 , 7 = 2
15 89,487 9 163 61 9 22 1 , 0 2 1 , 0 d . 19 729 , 41 2
19 109,291 7 13 1201 7 22 1 , 0 2 1 , 0 b . 10 729 , 34 . . 36 2
28 193,921 7 13 2131 7 22 1 , 0 2 1 , 0 b . 10 729 , 37 . . 39 2
31 197,239 7 1483 19 7 43 0 , 1 3 0 , 1 b . 10 729 , 37 . . 39 2
145 707,517 9 127 619 9 22 1 , 0 2 1 , 0 H . 4 2187 , 65 | 67 3
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Aouissi, S.; Mayer, D.C. A Group Theoretic Approach to Cyclic Cubic Fields. Mathematics 2024, 12, 126. https://0-doi-org.brum.beds.ac.uk/10.3390/math12010126

AMA Style

Aouissi S, Mayer DC. A Group Theoretic Approach to Cyclic Cubic Fields. Mathematics. 2024; 12(1):126. https://0-doi-org.brum.beds.ac.uk/10.3390/math12010126

Chicago/Turabian Style

Aouissi, Siham, and Daniel C. Mayer. 2024. "A Group Theoretic Approach to Cyclic Cubic Fields" Mathematics 12, no. 1: 126. https://0-doi-org.brum.beds.ac.uk/10.3390/math12010126

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop