All articles published by MDPI are made immediately available worldwide under an open access license. No special
permission is required to reuse all or part of the article published by MDPI, including figures and tables. For
articles published under an open access Creative Common CC BY license, any part of the article may be reused without
permission provided that the original article is clearly cited. For more information, please refer to
https://www.mdpi.com/openaccess.
Feature papers represent the most advanced research with significant potential for high impact in the field. A Feature
Paper should be a substantial original Article that involves several techniques or approaches, provides an outlook for
future research directions and describes possible research applications.
Feature papers are submitted upon individual invitation or recommendation by the scientific editors and must receive
positive feedback from the reviewers.
Editor’s Choice articles are based on recommendations by the scientific editors of MDPI journals from around the world.
Editors select a small number of articles recently published in the journal that they believe will be particularly
interesting to readers, or important in the respective research area. The aim is to provide a snapshot of some of the
most exciting work published in the various research areas of the journal.
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.
Let be a quartet of cyclic cubic number fields sharing a common conductor divisible by exactly three prime(power)s, . For those components of the quartet whose 3-class group is elementary bicyclic, the automorphism group of the maximal metabelian unramified 3-extension of is determined by conditions for cubic residue symbols between and for ambiguous principal ideals in subfields of the common absolute 3-genus field of all . With the aid of the relation rank , it is decided whether coincides with the Galois group of the maximal unramified pro-3-extension of .
Let k be a cyclic cubic number field, that is, an abelian extension of the rational number field with degree and some positive integer conductor (see Section 2.1). In 1973, Georges Gras [1] determined the rank of the 3-class group in dependence on the number t of prime(power) divisors of c and on the cubic residue symbols for . For mutual cubic residues, , we write , otherwise .
It turned out that for , and if and . So, in the former case, the maximal unramified pro-3-extension of k is the base field k itself, and in the latter case, it is the Hilbert 3-class field of k, in fact, , since iff is elementary cyclic. If and , then , is bicyclic, but may be non-elementary (singular).
In 1995, Ayadi [2] proved that there are only two possibilities for the Galois group of the 3-class field tower of k with length , when , , and is elementary bicyclic (regular), namely, in the notation of [3], either is abelian or is the extra special 3-group with exponent 9.
The impact of t and on the tower group and its metabelianization , i.e., the group of the second Hilbert 3-class field of k, is shown in Table 1.
However, according to Gras [1], is also possible for , and according to Ayadi [2], iff is elementary bicyclic, when .
For this situation, , , , , the present article identifies the Galois group in dependence on the cubic residue symbols between . The crucial techniques are based on the lucky coincidence that the four unramified cyclic extensions of degree , , can always be found among the 13 bicyclic bicubic subfields of the absolute 3-genus-field 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 or , it is decided whether coincides with the tower group or not.
The examination of cyclic cubic fields k with and elementary tricyclic is reserved for a future paper, since among the 13 unramified cyclic extensions of degree , , only 4 are bicyclic bicubic, and the remaining 9 arise in three triplets of pairwise isomorphic non-Galois nonic fields. Similarly, non-elementary for and 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 in the last row of Table 1, partially also the “?” for the group , provided that 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 , let k be a cyclic number field of degree ℓ, that is, is a Galois extension of degree with absolute automorphism group . According to the Theorem of Kronecker, Weber and Hilbert on abelian extensions of the rational number field , the conductor c of k is the smallest positive integer such that is contained in the cyclotomic field , where denotes a primitive c-th root of unity, more precisely, in the ℓ-ray class field moduloc of , denoted by , which lies in the maximal real subfield of .
Theorem1.
Theconductorof a cyclic field of odd prime degree ℓ has the shape , where and the are pairwise distinct prime numbers , for . Thediscriminantof is the perfect -th power , and the number of rational primes which are (totally) ramified in k is given by
In the last case, we formally put . The number of non-isomorphic cyclic number fields of degree ℓ, sharing the common conductor c, is given by themultiplicity formula
For the construction of all cyclic number fields of degree ℓ with ascending conductors 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 of pairwise non-isomorphic fields sharing the common conductor c with multiplicity in dependence on the number 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 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 denotes the rank of the 3-class group . In formulas concerning principal factors (Section 3.2), the prime power conductor must be replaced by 3.
3.1. Rank of 3-Class Groups
Since the rank of the 3-class group of a cyclic cubic field k depends on the mutual cubic residue conditions between the prime(power) divisors of the conductor c, Gras [1] (pp. 21–22) has introduced directed graphs with t vertices whose directed edges 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.
Definition1.
Let be a fixed primitive third root of unity. For each pair with , the value of the cubic residue symbol is determined uniquely by the integer . Let a directed edge be defined if and only if , that is, is a cubic residue modulo (and thus, ). Thecombined cubic residue symbol
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 in the sense of Gras, and the set of all isolated vertices. For , we additionally need the invariant in order to distinguish two subcases of the case with three isolated vertices.
Theorem2
(Rank Distribution, G. Gras, 1973, [1] (Prop. VI.5, pp. 21–22)).Let k be a cyclic cubic field of conductor with . We indicate mutual cubic residues simply by writing instead of .
If , then , k forms a singlet, , and .
If , then , k is member of a doublet , and there arise two possibilities.
1.
, if
2.
, if
If , then , k is member of a quartet , and there arise five cases.
1.
, calledCategory , if
with pairwise distinct.
2.
, calledCategory , if
with pairwise distinct.
3.
, calledCategory , if
with pairwise distinct.
4.
, calledCategory , if
with pairwise distinct.
5.
, calledCategory , if
Proof.
See [1] (Prp. VI.5, pp. 21–22). Multiplicities are taken from Theorem 1. □
Remark1.
Ayadi introduced categories in [2] (pp. 45–47). He investigated the cases , Formula (5); and , Formulas (6)–(8), in Theorem 2. For , 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 didnotstudy the fields with 3-class rank , . 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 , we also write briefly , and for the prime(power)s dividing the conductor .
Graph 1 of Category with symbol and
Graph 1 of Category with symbol are the only two situations without any trivial cubic residue conditions between .
We show the impact of the -invariant.
Lemma 1.
Consider three cubic residue symbols for products of two primes, , , with respect to triviality, i.e., being equal to 1.
If , then zero or two of the symbols are trivial.
If , then one or three of the symbols are trivial.
Proof.
For each of the two triplets and of exponents in Definition 1, there are combinatorial possibilities. The product of the components is if zero or two components are negative, and it is if one or three components are negative.
For Graph with , triplets with equal product must be combined. Consequently, for each choice of a fixed first triplet, one of the four admissible second triplets (namely ) produces no trivial symbol, and three of the second triplets produce two trivial symbols each.
For Graph with , triplets with distinct products must be combined. Consequently, for each choice of a fixed first triplet, one of the four admissible second triplets (namely ) 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 , increases with the number t of prime factors of the conductor c. According to Hilbert’s Theorem 93, the number is given by
However, the number of primitive ambiguousprincipalideals of k is a fixed invariant of all cyclic cubic fields, regardless of the number t.
Theorem3.
The number of ambiguous principal ideals of any cyclic cubic field k is given by
Proof.
The well-known theorem on the Herbrand quotient of the unit group of k as a Galois module over the group , which can be expressed by abstract cohomology groups , can also be stated more ostensively as , since the unit norm index is given by . Here, are the relative units. □
Consequently, if we speak about a non-trivial primitive ambiguous principal ideal of k, then we either mean or , where . The norms of these two elements are divisors of the square of the conductor c of k, where must be replaced by 3 if . When with square-free coprime integers , then . It follows that both norms are cube-free integers.
Definition2.
The minimum of the two norms of non-trivial primitive ambiguous principal ideals of a cyclic cubic field k is called theprincipal factor(of the discriminant ) of the field k, denoted by , that is,
Ayadi [2,9] (Rem. 2.6, p. 18) speaks about the Parry constant or Parry invariant of k, and Derhem [10] calls with , , the Kummer resolvent of k, when as a -module is generated by 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).
Theorem4
(Principal factor criterion, Ayadi, 1995, [2] (Thm. 3.3, p. 37)).Let c be a conductor divisible by two primes, , such that for both cyclic cubic fields , , with conductor c. Denote by the number of prime divisors of the norm of a non-trivial primitive ambiguous principal ideal , i.e., a principal factor, of any of the two fields . Then, , and the second 3-class group of both fields is given by
The length of the Hilbert 3-class field tower is with if , and with if . In both cases, .
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 for is due to Scholz and Taussky [12] (pp. 209–210). It was misprinted as 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 and , 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 (Section 4.1) of a cyclic cubic number field k. Then we show that the bicyclic bicubic subfields constitute unramified cyclic cubic relative extensions of a cyclic cubic number field k with . Finally, using the unramified cyclic cubic relative extensions 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 .
4.1. The Absolute 3-Genus Field
The absolute 3-genus field of a cyclic cubic field k is the maximal unramified 3-extension with the abelian absolute Galois group . If the conductor of has t prime divisors, then is the compositum of the multiplet of all cyclic cubic fields sharing the common conductor c, where , according to the multiplicity Formula (2). The absolute Galois group is the elementary abelian 3-group . In particular, if , , then is the cyclic cubic field itself, and if , , then is a bicyclic bicubic field with conductor c and discriminant
In 1990, Parry [4] investigated the arithmetic of a general bicyclic bicubic field with conductor , , and four cyclic cubic subfields . In particular, he determined the class number relation in terms of the index I of subfield units of B.
Theorem5.
Let be the -matrix ofinteger exponents in the following representation of Theprincipal factors , for . Then:
1.
The Galois group is elementary bicyclic.
2.
The index of the subgroup generated by the unit groups , , in the unit group is bounded by , .
3.
Theclass numberof B satisfies the followingrelation:
where I denotes the abovementionedindex of subfield unitsof B.
4.
if and only if , i.e., , and arenotmutual cubic residues, i.e., the graph of is either Graph 1 or Graph 2. If , then .
5.
In dependence on the rank of the matrix M, theindexI takes the following values:
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 [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 implies . □
Corollary1.
Let and B be a bicyclic bicubic field with conductor such that there areno mutual cubic residuesamong . Then:
1.
For all , .
2.
For all , , where , , and , are the two components of the quartet which are contained in .
Proof.
By (22), the first statement is valid, since for the six subfields k with . By (23), the second statement holds, since for the three subfields k with . □
For a cyclic cubic field k with , , the 3-class numbers of the 3-genus field , which is bicyclic bicubic, and of its four cyclic cubic subfields can be summarized as follows.
Theorem6.
Let be the genus field of the two cyclic cubic fields and with conductor . Denote the 3-valuations of the class numbers , , , , of , , , , , respectively, by , , , , . Then, , and
Proof.
According to Theorem 2, we generally have , , if , and , if . Now, the claim is a consequence of Formula (16), which yields
The combination of [4] (Thm. 9, p. 497 and Cor. 1, p. 498) shows that if and only if , and implies , whence necessarily . However, if , then is equivalent with , according to [9] (Thm. 4.1, p. 472). □
Remark2.
For , we have . The smallest occurrences of are the conductors (“Eau de Cologne”,singularwith ) and (super-singularwith ) both with , for .
For a cyclic cubic field k with and conductor , the 3-genus field contains 13 bicyclic bicubic subfields. Three of them are the sub-genus fields , , of the cyclic cubic fields with conductors , , , respectively. In the numerical tables of [8], we always start with the leading three sub-genus fields , , separated by a semicolon from the trailing ten remaining bicyclic bicubic subfields, when we give a family of invariants for these 13 subfields ,
4.2. Capitulation Kernels
We recall the connection between the size of the capitulation kernel and the unit norm index of an unramified cyclic cubic extension of a cyclic cubic field k. Here, , , denotes the extension homomorphism or transfer of 3-classes from k to E.
Theorem7.
The order of the 3-capitulation kernel ortransfer kernelof is given by
Proof.
According to the Herbrand Theorem on the cohomology of the unit group as a Galois module with respect to , we have the relation , since when is unramified of odd prime degree and . The cyclic cubic base field k has the signature and torsion-free Dirichlet unit rank . Thus, there are three possibilities for the unit norm index . □
Remark3.
When k is a cyclic cubic field with 3-class group of elementary tricyclic type , viewed as a vector space of dimension 3 over the finite field , then if and only if is alinefor some , if and only if is aplanefor some , and if and only if is theentire vector spaceover . Details are reserved for a future paper. Our algorithms for the determination of the capitulation kernels for of type and have been presented in [8] (Alg. 8–9, pp. 26–30).
In our theorems on cyclic cubic fields with belonging to the various graphs of each category, we shall frequently find particular statements which relate several similar capitulation types.
Definition3.
Let G be a 3-group with generator rank and elementary bicyclic commutator quotient . By , we denote the transfers from G to the four maximal normal subgroups , . Then, the set of all ordered transfer kernel types with is endowed with a partial order relation by . The order is strict, , when and .
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 (total). As usual, we abbreviate if , and if , for fixed . So, ⟺ . The arithmetical application of this group theoretic Definition 3 is given in the following definition.
Definition4.
Let K be an algebraic number field with the elementary bicyclic 3-class goup . Then, K has four unramified cyclic cubic relative extensions , , and corresponding class extension homomorphisms . Let be the Galois group of the second Hilbert 3-class field of K, that is, the maximal metabelian unramified 3-extension of K. Then, is called theminimal transfer kernel type(mTKT) of K, if , for any other possible capitulation type .
4.3. Capitulation Targets
The precise constitution of the lattice of all subfields of the absolute 3-genus field of a cyclic cubic field with and conductor is as follows.
Theorem8.
The genus field of k contains 13 cyclic cubic fields:
The composita and satisfy theskew balance of degrees
with and , or vice versa.
Alert:Always in the sequel, thenormalization is assumed.
The genus field of k contains 13 bicyclic bicubic fields:
provided that are normalized. The conductor of is , the conductor of is , the conductor of is , and the conductor of is .
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 should be defined as in Formula (23) (short form without ).
Corollary2.
Thecapitulation targets, i.e., the unramified cyclic cubic relative extensions of , , , and , respectively, among the absolutely bicyclic bicubic subfields of the 3-genus field are ; ; ; and , respectively.
In particular, is common to both and , is common to and , is common to and , is common to and , is common to and , and is common to and .
Proof.
This follows immediately from Theorem 8, Formulas (22) and (23). □
Proposition1.
If there exists such that , then , for all , and , for all .
The 3-class number of , , satisfies thetamecondition if and only if for each cyclic cubic subfield k of the Hilbert 3-class field of k coincides with the genus field of k. Otherwise, thewildcondition holds.
If there exists such that , then , for all .
Proof.
The condition is trivial for the subfields k with , since is satisfied anyway. However, the subfields k with must have the 3-class number , in particular, the prime divisors of the conductor are not mutual cubic residues, and the subfields k with must have the 3-class number , that is, they cannot have the 3-class rank . For details, see [2] (pp. 47–48, i.p. Prop. 4.5). □
Let and , be one of the four cyclic cubic number fields sharing the common conductor , and suppose , , is one of the ten bicyclic bicubic subfields of the absolute 3-genus field of such that is an unramified cyclic extension of degree 3. We denote by the unit group of , by the subgroup generated by all subfield units, by the rank of the principal factor matrix of , and by the right upper triangular -matrix such that (in the sense of exponentiation), for a suitable torsion-free basis of and a canonical basis of , 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 for the matrix rank of corresponds to the maximal unit norm index , associated with a total transfer kernel of . Since he does not give a proof, we summarize all related issues in a lemma.
Lemma2.
The following statements are equivalent, row by row:
Proof.
According to Theorem 5, ⟺, and ⟺.
Now, implies , , ,
but implies , , .
Finally, Theorem 7 on the Herbrand quotient of shows the cardinality of the transfer kernel, . □
Proposition2.
Let ℓ be an odd prime, and suppose that is a bicyclic field of degree , 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., and , then the extension ideals coincide.
Proof.
If the decomposition invariants of p in B are , resp. , resp. , then those of and in B must be identical , resp. , resp. , and unique prime decomposition enforces . □
Corollary3.
Let and , , . Then, the followingcapitulation lawsfor ideal classes hold independently of the combined cubic residue symbol .
1.
capitulates in , for , and in , for .
2.
capitulates in , for , and in , for .
3.
capitulates in , for , and in , for .
Proof.
We show that capitulates in . Everything else is proved in the same way, always using Proposition 2 with . The bicyclic bicubic field is a compositum of the cyclic cubic fields and . Since the conductor of is p, the principal factor is determined uniquely, and is totally ramified, whence with is necessarily a principal ideal. Since the conductor of is , the prime is also totally ramified, and Proposition 2 asserts that , which is the principal ideal . Thus, the class capitulates in . □
Proposition3.
If but , then , , andtwo principal factorsare given by , .
Proof.
If , then p splits in , , and , according to Georges Gras [1]. The Hilbert 3-class field of with coincides with the absolute 3-genus field of the doublet with and .
Since the conductor of is , is ramified in , but is unramified over , and the decomposition invariants of p in are , those of in are , i.e., splits completely in ,
By the decomposition law of the Hilbert 3-class field, is principal with . Therefore, the unique principal factor of is . The same reasoning is true for . □
Proposition4.
Let , such that .
If and , thenthe principal factorof is .
Proof.
Since , the Hilbert 3-class field of with coincides with the absolute 3-genus field of the quartet with and .
Since the conductor of is , is ramified in , but is unramified over .
If is universally repelling, then p splits in and in , and the decomposition invariants of p in are ; those of in are , i.e., splits completely in ; and the decomposition law of the Hilbert 3-class field implies that is principal with . Therefore, the unique principal factor of is . □
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 which qualify metabelian groups as second 3-class groups and non-metabelian groups as 3-class field tower groups 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 [16] (p. 27), where and , respectively, denote the first layer of the transfer target type (TTT) and the transfer kernel type (TKT), respectively. Additionally, we give the top layer of the TTT, which consists of the abelian quotient invariants of the commutator subgroup , corresponding to the 3-class group of the first Hilbert 3-class field of k. The nuclear rank is responsible for the search complexity. The p-multiplicator rank of a group G is precisely its relation rank , which decides whether G is admissible as , according to the Shafarevich Theorem [16,17]. In the case of cyclic cubic fields k, it is limited by the Shafarevich bound , where denotes the generator rank of G, which coincides with the 3-class rank of k, is the torsion-free Dirichlet unit rank of the field k with signature , and indicates the absence of a (complex) primitive third root of unity in the totally real field k. Finally, denotes the parent of , that is the quotient by the last non-trivial lower central with .
Theorem9.
Let k be a cyclic cubic number field with elementary bicyclic 3-class group . Denote by the second 3-class group of k, and by the 3-class field tower group of k. Then, the Artin pattern of k identifies the groups and , and determines the length of the 3-class field tower of k, according to the followingdeterministic laws. (See the associated descendant tree in [8] (Fig. 6.1, p. 44).)
1.
If , (type ), then and .
2.
If , (type ), then .
3.
If , (type ), then .
4.
If , (type ), then .
5.
If , (type ), then .
6.
If , (type ), then .
7.
If , (type ), then .
Except for the abelian tower in item (1), the tower is metabelian with .
Proof.
Generally, a cyclic cubic field k has the signature and the torsion-free unit rank , does not contain primitive third roots of unity, and thus possesses the maximal admissible relation rank for the group , when its 3-class rank, i.e., the generator rank of , is . Consequently, in the case of .
For item (1), we have , whence . We always identify groups according to [3,18].
For item (2) to item (7), the group is of maximal class (coclass ), and thus coincides with , whence .
In each case, the Artin pattern identifies uniquely, and the relation ranks are , , , , , , , each of them less than 4. □
Corollary4.
Under the assumptions of Theorem 9, the abelian-type invariants of the 3-class group of the first Hilbert 3-class field of k are required for the unambiguous identification of the following groups: and , respectively. (See the associated descendant tree in [8] (Fig. 6.2, p. 45).)
If , , , then
If , , , then
Proof.
The Artin pattern of k alone is not able to identify the groups and unambiguously. Ascione [19] uses the notation , , , . □
In Table 2, we begin with metabelian groups of generator rank . The Shafarevich bound [16] (Thm. 5.1, p. 28) is given by . For order 6561 see [20].
Capital letters for are due to Ascione [19]. For the metabelian groups with non-trivial cover [16] (p. 30), we need non-metabelian groups in the cover, which are given in Table 3, where we begin with groups of generator rank . For , we refer to a forthcoming paper. Instead of the parent , we give the metabelianization .
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 sharing the conductor . In the present article, we restrict ourselves to 3 and 2 components, respectively, with elementary bicyclic 3-class group , for Category and Category , respectively, and we postpone elementary tricyclic to a future paper. All computations for examples were performed with Magma [6,21,22].
Definition5.
According to the 3-class numbers , a quartet of cyclic cubic fields with common conductor belonging to Category or is called
In a regular, singular, and super-singular quartet, respectively, there occur 3-class groups , , and , respectively, for some .
6.1. Category I, Graph 1
Let be a quartet of cyclic cubic number fields sharing the common conductor , belonging to Graph 1 of Category with combined cubic residue symbol .
Since there are no trivial cubic residue symbols among the three prime(power) divisors of the conductor , the principal factors of the subfields with of the absolute genus field must be divisible by both relevant primes [2] (Prop. 3.2, p. 26), and we can use the general approach
with , identifying , since it is easier to manage: .
Lemma3.
The product is negative (that is, either one or three among are negative) if and only if the compositum satisfies the normalization :
Proof.
By Theorem 8, the fields L and satisfy a skew balance of their degrees in the product .
Suppose . Then, we produce a contradiction by the assumption that and . We define the compositum of degree 9. Then, K contains one of the fields , , and either or . In the former case, would have degree 27. So, , and we calculate the following sub-determinants of the principal factor matrices and , with respect to the fields with only (ignoring the field with ):
.
However, implies , and thus rank 3 of and . By (17), this gives indices of subfield units and . At least one among L and K, say X, does not contain the critical field with , whence it is tame with , in contradiction to , by Proposition 1. Thus, we must have .
With nearly identical arguments, it is easy to show that implies . □
Lemma4.
(3-class ranks of components for .)Without loss of generality, precisely three components, , , , of the quartet have elementary bicyclic 3-class groups , , whereas the single remaining component, , has the 3-class rank . In dependence on thedecisive principal factorsin Formula (27), the principal factors of are
Thetamecondition with is satisfied for .
A furtherdecisive principal factor and the associated invariant counter admit several conclusions forwildranks:
Proof.
According to [2] (Prop. 4.4, pp. 43–44), the required condition to distinguish the unique component with the 3-class rank in the quartet is the set of decomposition invariants simultaneously for in the bicyclic bicubic field , that is,
p splits in , and thus also in for ;
q splits in , and thus also in for ;
r splits in , and thus also in for .
Then, exactly the six fields , , , , , do not contain , and satisfy the tame relation with ranks for , by Proposition 1.
This fact can be exploited for each tame bicyclic bicubic field , by calculating the rank with row operations on the associated principal factor matrix and drawing conclusions for the exponents in the approach , :
, , .
For , leads to decisive pivot elements and in the last column; for , leads to and in the last column; and for , leads to and in the middle column.
So, implies , , , , , . Or, in combined form, , , . This yields (29).
Additionally, we use the remaining three tame ranks for
, , .
For , leads to the decisive pivot elements , in the last column; for , leads to , in the last column; and for , leads to , in the last column. So, implies , , , since the other pivot elements vanish a priori, , i.e., , because and in Lemma 3. The congruences follow already from those for .
For each wild bicyclic bicubic field , , the rank is now calculated with row operations on the associated principal factor matrix :
, , , .
For , leads to the decisive pivot element , since . So, implies . For , leads to , in the last column. So, iff either or modulo 3. For , leads to , . So, iff either or . For , leads to , in the middle column. So, iff either or . For each of these three ranks, the second condition can never be satisfied.
Since at most one of the exponents may vanish, the new congruences immediately lead to (30). For instance, ⇒ , ⇒ ; but also implies , , , and thus . Conversely, suppose . If , then , and implies , and thus the contradiction . □
Proposition5
(Sub-triplet with 3-rank two for ).For fixed , let be the prime ideals of over , that is, , , ; then, the 3-class group of is generated by any two among the non-trivial classes , that is,
The unramified cyclic cubic relative extensions of are among the absolutely bicyclic bicubic subfields , , of the common genus field of the four components of the quartet . The unique , , has the norm class group , and potentialfixed-pointtransfer kernel
The unique , , has the norm class group , and potentialfixed-pointtransfer kernel
The unique , , has norm class group , and the potentialfixed-pointtransfer kernel
The remaining , , more precisely, for , for , and for , have norm class group and a hidden or explicittranspositiontransfer kernel, with respect to the corresponding μ.
Proof.
As mentioned in the proof of Lemma 4, q splits in , r splits in , and p splits in , where , according to (29), independently of .
Now, we use Corollary 3 and Proposition 2.
Since is principal in , capitulates in and .
Since is principal in , capitulates in and .
Since is principal in , capitulates in and . □
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 , with transposition in boldface font. This essential new perspective admits progress beyond Ayadi’s work [2].
Theorem10
(Second 3-class group for ).Let be a quartet of cyclic cubic number fields sharing the common conductor belonging to Graph 1 of Category , that is, . Without loss of generality, suppose that , for , and .
Then theminimal transfer kernel type(mTKT) of , , is , type , and other possible capitulation types in ascending partial order are , type , , type , , type , and , type .
In order to identify the second 3-class group , , let theprincipal factorof be , and define . In theregularsituation where is elementary tricyclic, we have
where . In the(super-)singularsituation where and is non-elementary tricyclic, we have
With the exception of the last three rows, the 3-class field tower has the group , , since . For the last three rows, the tower length is [16]. (See the associated descendant tree in [8] (Fig. 6.4, p. 63)).
Proof.
In the non-uniform regular situations, we have , for the tame bicyclic bicubic fields . Now, we use Lemmas 2 and 4.
If , then all tame indices of subfield units are minimal, and the ranks of wild bicyclic bicubic fields are for , but non-uniform indices two times , i.e., , and one time , i.e., , corresponding to total capitulation twice and non-fixed-point capitulation once (due to a hidden transposition). According to Theorem 9, the common , and Corollary 4, the Artin pattern and determines three possible groups , and , uniquely leads to .
If , then tame indices of subfield units are non-uniform, two times , for , and one time , for , the latter corresponding to fixed-point capitulation twice, over , and non-fixed-point capitulation once, over . So, , since the ranks of wild bicyclic bicubic fields are with uniform index for , corresponding to a total capitulation. The Artin pattern , uniquely determines the group , and , uniquely leads to .
In the uniform singular situation with TKT , , , the ATIs decide about the group: uniquely identifies , leads to , and in the super-singular situation, leads to . In contrast, for TKT , , , the ATIs lead to .
The regular groups are of maximal class, which guarantees length of the tower. The annihilator ideal of is , which enforces , according to Scholz and Taussky [23]. The (super-)singular groups and have non-metabelian descendants. Although they satisfy the bound for the relation rank, a tower with three stages could only be excluded by means of computationally expensive invariants of second order. □
Corollary5.
(Non-uniformity of the sub-triplet for .)Only two components of the sub-triplet with 3-rank two share a common capitulation type , common abelian-type invariants , and a common second 3-class group . The invariants of the third component differin theregularsituation ; however, theyagreein the(super-)singularsituation . Here, .
Proof.
This is an immediate consequence of Theorem 10. □
Example1.
Examples 1–9 are supplemented by [8] (Tbl. 6.4–6.21, pp. 49–67). The prototypes for Graph , that is, the minimal conductors for each scenario in Theorem 10, are as follows.
There areregularcases: with symbol and, non-uniformly, , (Corollary 4); with symbol and, non-uniformly, , . For 38 examples see [8] (Tbl. 6.18–6.19, pp. 64–65).
Further,singularcases: with symbol and ; with symbol and ; and, withconsiderable statistic delay, there occurred with ordinal number 189, symbol and .
Andsuper-singularcases: with symbol and ; with symbol and .
In Table 5, we summarize the prototypes of graph . The data comprise ordinal number No.; conductor c of k; combined cubic residue symbol ; regularity or (super-)singularity expressed by 3-valuation of class number of critical field ; critical exponents in principal factor and in , , ; capitulation type of k; second 3-class group of k; and length of 3-class field tower of k.
We put for abbreviation.
6.2. Category I, Graph 2
Let be a quartet of cyclic cubic number fields sharing the common conductor , belonging to Graph 2 of Category with combined cubic residue symbol .
Lemma5.
(3-class ranks of components for .)Under the normalizing assumptions that q splits in and r splits in , precisely the three components , , of the quartet have the elementary bicyclic 3-class group , , of rank 2, whereas the remaining component has the 3-class rank . Thus, thetamecondition , , is satisfied for the bicyclic bicubic fields with .
Proof.
p is universally repelling . Since , p splits in . Since , p splits in . Thus, p also splits in and . By the normalizing assumptions that q splits in and r splits in , the primes share the common decomposition type in the bicyclic bicubic field , which implies that , according to [2] (Prop. 4.4, pp. 43–44). Finally, none among , , , , , contains . □
Proposition6.
(Sub-triplet with 3-rank two for.)For fixed , let be the prime ideals of over , that is, , , , then the 3-class group of is generated by the non-trivial classes , that is,
The unramified cyclic cubic relative extensions of are among the absolutely bicyclic bicubic fields , .
In terms ofdecisive principal factors , , and , , the ranks of principal factor matrices ofwildbicyclic bicubic fields are
The field has the norm class group , and the transfer kernel
The field has the norm class group , and the transfer kernel
The field , which contains and , has the norm class group , for , and the possiblefixed-pointtransfer kernel
The field , which contains and , has the norm class group , for , and the possiblefixed-pointtransfer kernel
The remaining two , , more precisely, for , for , and for , have the norm class group or . Among them, the tame extensions with either or , , have thepartialtransfer kernel
of order 3, giving rise to either a transposition or a fixed point.
Proof.
Since , two principal factors are ; and since , two further principal factors are , by Proposition 3. Since p is universally repelling , three further principal factors are for , by Proposition 4.
Thus, is trivial, and the non-trivial classes generate .
Since q splits in , it also splits in , .
Since r splits in , it also splits in , .
Since the tame condition is satisfied for , the rank of the corresponding principal factor matrix must be . This can also be verified directly and has no further consequences.
We propose the principal factors and , with . For each wild bicyclic bicubic field , , the rank is now calculated with row operations on the associated principal factor matrices :
, , .
For , leads to the decisive pivot element in the last column. So, iff modulo 3. For , leads to z. So, iff . For , leads to y in the middle column. So, iff .
Since is principal in , capitulates in and , and since is principal in , capitulates in and , by Corollary 3.
Since is principal in , capitulates in , , and since is principal in , capitulates in , , and , by Proposition 2.
In each case, the minimal subfield unit index for corresponds to the maximal unit norm index , associated with a total transfer kernel , by Lemma 2.
The minimal unit norm index , associated with the partial transfer kernel , for , corresponds to the tame maximal subfield unit index , giving rise to type invariants . □
Using Corollary 2, Proposition 6 and parts of its proof are now summarized in Table 6 for the minimal transfer kernel type (mTKT) and , with transposition in boldface font.
Theorem11
(Second 3-class group for ).To identify the second 3-class group , , let the principal factors of , , and , respectively, be , , , and , , respectively, and additionally assume the regular situation where .
Then, theminimal transfer kernel type(mTKT) of , , and other possible capitulation types in ascending partial order , ending in two non-comparable types, are , type , , type , , type , , type , and the second 3-class group is
where . Only for the leading three rows, the 3-class field tower has certainly the group and length , otherwise length cannot be excluded although .
Proof.
Let .
The first scenario, , , and modulo 3 is equivalent to , since , , , for the wild , and , for the tame , whereas the distinguished tame have . This gives rise to the Artin pattern of either , , for , (twice with fixed point), characteristic for , or , , for (only once with a non-fixed point, due to a hidden transposition), characteristic for .
The other two scenarios share , and thus also , independently of n, which implies , , for , and , for the tame , producing two fixed points at and .
The second scenario with is supplemented by , , for , and total capitulation, , for . This gives rise to , , characteristic for with annihilator ideal in the sense of Scholz and Taussky [23].
The third scenario with is supplemented by , , for and partial non-fixed-point capitulation. This gives rise to , , characteristic for with non-metabelian descendants. Here, the hidden transposition becomes explicit, between either , or , or , . □
Corollary6
(Non-uniformity of the sub-triplet for ).The components of the sub-triplet with 3-rank two share a common capitulation type , common abelian-type invariants , and a common second 3-class group , for , only if , . For , , , however, only two fields and share common invariants, whereas has different and different .
Proof.
This follows immediately from Theorem 11, whereas Table 6 with the minimal transfer kernel type only shows the uniform situation, which can become non-uniform by superposition with total transfer kernels, when . □
Example2.
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 .
Some areregular: with symbol and, non-uniformly, once but twice ; with symbol and uniformly three times ; and with symbol and .
Others aresingular: with symbol and ; and with symbol and .
The groups of order with the transfer kernel type have non-metabelian extensions.
In Table 7, we summarize the prototypes of Graph in the same way as in Table 5, except that two critical exponents in the principal factor and n in are sufficient.
6.3. Category II, Graph 1
Let be a quartet of cyclic cubic number fields sharing the common conductor , belonging to Graph 1 of Category with combined cubic residue symbol .
Lemma6
(3-class ranks of components for ).Under the normalizing assumption that q splits in , precisely the two components and of the quartet have the elementary bicyclic 3-class group of rank 2, whereas the other two components have the 3-class rank . Thus, the tame condition , , is only satisfied for the bicyclic bicubic fields with .
Proof.
Since , p splits in . Since , r splits in , and also splits in . By the normalizing assumption that q splits in , it also splits in and . The primes share the common decomposition type in the bicyclic bicubic field , which implies that , according to ([2] Prop. 4.4, pp. 43–44). Finally, only , , do not contain , . □
Proposition7
(Sub-doublet with 3-rank two for ).For fixed , let be the prime ideals of over , that is, , , , then the 3-class group of is generated by the non-trivial classes , that is,
The unramified cyclic cubic relative extensions of are among the absolutely bicyclic bicubic fields , . The unique , , which only contains , has the norm class group , the transfer kernel
and the 3-class group , generated by the classes of the prime ideals of over . The unique , which contains and , has the norm class group , thecyclictransfer kernel
of order 3, and theelementary tricyclic
3-class group , generated by the classes of the prime ideals of over . The remaining two , , more precisely, for , and for , have the norm class group or , and the transfer kernel
In terms ofdecisive principal factors for , the ranks of principal factor matrices , , ofwildbicyclic bicubic fields are
Proof.
Since , two principal factors are ; since , two further principal factors are , both by Proposition 3.
Since the tame condition is satisfied for , the rank of the corresponding principal factor matrix must be . We propose principal factors , for all , and , with .
For each bicyclic bicubic field , the rank is calculated with row operations on the associated principal factor matrices :
, , .
For , leads to the decisive pivot element in the middle column, and similarly, for , leads to . So, enforces , i.e., , . However, for , leads to and . So, enforces and modulo 3, i.e., .
For every wild bicyclic bicubic field , , the rank is calculated by row operations on the matrices , using :
, , .
For , leads to the decisive pivot element in the middle column; similarly, for , leads to ; and similarly, for , leads to . So, iff iff . Next, we consider:
, , .
For , leads to the decisive pivot element in the middle column; similarly, for , leads to ; and similarly, for , leads to . So, iff iff .
By Lemma 2, the minimal subfield unit index for corresponds to the maximal unit norm index , associated with a total transfer kernel .
Since q splits in , it also splits in , , .
Since r splits in , it also splits in , .
Since is principal in , , , capitulates in , , , , , ; since is principal in , capitulates in (Proposition 2). This gives a transposition, either or .
The minimal unit norm index , associated with the partial transfer kernel , corresponds to the maximal subfield unit index , giving rise to the elementary tricyclic type invariants . □
Using Corollary 2, Proposition 7 and parts of its proof are now summarized in Table 8 with transposition in bold font.
Theorem12
(Second 3-class group for ).Let be a quartet of cyclic cubic number fields sharing the common conductor , belonging to Graph 1 of Category with the combined cubic residue symbol . Without loss of generality, suppose that q splits in , and thus, , and .
Then, theminimal transfer kernel type(mTKT) of , is , type , and the other possible capitulation types in ascending order are , type , , type , and , type .
To identify the second 3-class group , , let thedecisive principal factorsof , be , and additionally, assume theregular situationwhere both are elementary tricyclic. Then,
where . Only in the leading row has the 3-class field tower warranted the group , with length . Otherwise, although the relation rank is always admissible, the tower length cannot be excluded.
Proof.
We give the proof for with unramified cyclic cubic extensions (the proof for with unramified cyclic cubic extensions is similar). We know that the tame ranks are , and thus , in particular, , whence certainly . Further, the wild ranks are iff , and iff .
In the regular situation where the 3-class groups of and are elementary tricyclic, tight bounds arise for the abelian quotient invariants of the group :
The first scenario, , is equivalent to , , , , , that is, and consequently, , since is unique with this .
The other three scenarios share , and an explicit transposition between and , giving rise to , and common , .
The second scenario with is supplemented by
, , giving rise to , , characteristic for (Corollary 4).
The third scenario with is supplemented by
, , giving rise to , , characteristic for .
The fourth scenario with is supplemented by
, , giving rise to , , characteristic for either or with coclass . If , then tower length must be . For this minimal capitulation type H.4, , all transfer kernels are cyclic of order 3, and the minimal unit norm indices correspond to maximal subfield unit indices. □
Corollary7
(Uniformity of the sub-doublet for ).The components of the sub-doublet with 3-rank two share a common capitulation type , common abelian-type invariants , and a common second 3-class group .
Proof.
This is an immediate consequence of Theorem 12 and Table 8. □
Example3.
For 47 examples see [8] (Tbl. 6.14–6.15, pp. 60–61). Prototypes for Graph , i.e., minimal conductors for each scenario in Theorem 12, have been detected for all .
There areregularcases: with symbol and ; with symbol and ; with symbol and (Corollary 4); with symbol and either with or with ; and with symbol and (Corollary 4).
We also havesingularcases: with symbol and (Corollary 4); with symbol and ; with symbol and .
Finally, there is thesuper-singular with symbol and .
With the exception of , all groups have non-metabelian descendants and extensions.
In Table 9, we summarize the prototypes of Graph in the same manner as in Table 5, except that regularity or (super-)singularity is expressed by 3-valuations of class numbers of critical fields , , and critical exponents are in principal factors , .
6.4. Category II, Graph 2
Let be a quartet of cyclic cubic number fields sharing the common conductor , belonging to Graph 2 of Category with combined cubic residue symbol .
Lemma7
(3-class ranks of components for ).Under the normalizing assumption that r splits in , precisely the two components and of the quartet have the elementary bicyclic 3-class group of rank 2, whereas the other two components have the 3-class rank . Thus, the tame condition , , is only satisfied for the bicyclic bicubic fields with .
Proof.
Since , p splits in . Since , q splits in , and also splits in . By the normalizing assumption that r splits in , it also splits in and . The primes share the common decomposition type in the bicyclic bicubic field , which implies that , according to [2] (Prop. 4.4, pp. 43–44). Finally, only , , do not contain , . □
Proposition8
(Sub-doublet with 3-rank two for ).For fixed , let be the prime ideals of over , that is, , , ; then, the principal factor of is , with , and the 3-class group of is
The unramified cyclic cubic relative extensions of are among the absolutely bicyclic bicubic fields , . The unique , , which only contains , has the norm class group , the transfer kernel
and the 3-class group , generated by the classes of the prime ideals of over . The unique , which contains and , has norm class group , thecyclictransfer kernel
of order 3, andelementary tricyclic
3-class group , generated by the classes of the prime ideals of over . The remaining two , , more precisely, for , and for , have the norm class group or , and the transfer kernel
In terms ofdecisive principal factors for , the ranks of principal factor matrices , , ofwildbicyclic bicubic fields are
Proof.
Since , two principal factors are ; since , two further principal factors are ; since , two further principal factors are , each by Proposition 3. Since is universally repelling, we have , by Proposition 4.
Thus is a principal ideal with trivial class , for , whereas the classes are non-trivial. We propose for .
Since the tame condition is satisfied for , the rank of the corresponding principal factor matrix must be . Due to the principal factors , this also follows by direct calculation, but has no further consequences. For every wild bicyclic bicubic field , , the rank is calculated with row operations on the associated principal factor matrices :
, , .
For , leads to the decisive pivot element in the last column; similarly, for , leads to ; and similarly, for , leads to . So, iff iff . Next, we consider:
, , .
For , leads to the decisive pivot element in the last column; similarly, for , leads to ; and similarly, for , leads to . So, iff iff .
By Lemma 2, the minimal subfield unit index for corresponds to the maximal unit norm index , associated to a total transfer kernel .
As mentioned in the proof of Lemma 7 already:
Since r splits in , it also splits in , , i.e., .
Since q splits in , it also splits in , i.e., .
Since is principal in , , , capitulates in , , , , , ; since is principal in , capitulates in (Proposition 2). This gives a transposition, either or .
The minimal unit norm index , associated with the partial transfer kernel , corresponds to the maximal subfield unit index , giving rise to the elementary tricyclic-type invariants . □
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.
Theorem13
(Second 3-class group for ).Let be a quartet of cyclic cubic number fields sharing the common conductor , belonging to Graph 2 of Category with combined cubic residue symbol . Without loss of generality, suppose that r splits in , and thus, , and .
Then, theminimal transfer kernel type(mTKT) of , , is , type , and the other possible capitulation types in ascending order are , type , , type , and , type .
To identify the second 3-class group , , let the decisiveprincipal factorsof , , be , and additionally, assume theregularsituation where both are elementary tricyclic. Then,
where . Only in the leading row has the 3-class field tower warranted the group , with length . Otherwise, even if the relation rank is admissible, the tower length cannot be excluded.
Proof.
We give the proof for with unramified cyclic cubic extensions (the proof for with unramified cyclic cubic extensions is similar). We know that the tame ranks are , and thus , in particular, , whence certainly . Further, the wild ranks are iff , and iff .
In the regular situation where the 3-class groups of and are elementary tricyclic, tight bounds arise for the abelian quotient invariants of the group :
The first scenario, , , is equivalent to , , , , , that is, and consequently , since is unique with this .
The other three scenarios share , and an explicit transposition between and , giving rise to , and common , .
The second scenario with is supplemented by , , giving rise to , , characteristic for (Corollary 4).
The third scenario with is supplemented by , , giving rise to , , characteristic for .
The fourth scenario with is supplemented by , , giving rise to , , characteristic for or with coclass . If , then . □
Corollary8
(Uniformity of the sub-doublet for ).The components of the sub-doublet with 3-rank two share a common capitulation type , common abelian-type invariants , and a common second 3-class group .
Proof.
This follows immediately from Theorem 13 and Table 10. □
Example4.
For 45 examples see [8] (Tbl. 6.16–6.17, pp. 61–62). Prototypes for Graph , i.e., minimal conductors for each scenario in Theorem 13 have been found for each .
There areregularcases: with symbol and ; with symbol and (Corollary 4); with symbol and ; and, withconsiderable statistic delay, with ordinal number 207, symbol and either with or with .
Further, there aresingularcases: with symbol and (Corollary 4); with symbol and ; and with symbol and (Corollary 4).
Finally, there is thesuper-singular with symbol and .
With exception of , all groups have non-metabelian descendants and extensions.
In Table 11, we summarize the prototypes of Graph in the same way as in Table 5, except that regularity or (super-)singularity is expressed by 3-valuations of class numbers of critical fields , , and critical exponents are in principal factors , .
7. Category III, Graphs 1–4
Let the combined cubic residue symbol of three prime(power)s dividing the conductor be either or or or . The symbol does not contain any mutual cubic residues. We verify a conjecture in [8] (Cnj. 1, p. 48).
Theorem14.
A cyclic cubic field k with conductor , divisible by exactly three prime(power)s , has an abelian 3-class field tower with group , , , if and only if the primes form one of the four Graphs 1–4 of Category .
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 and , there is at least one component of the quartet with 3-class rank , and that for all Graphs 5–9 of Category , two primes are mutual cubic residues, according to Theorem 2. In contrast, precisely for Graphs 1–4 of Category , the symbol does not contain any mutual cubic residues, and all four components have the 3-class rank and the elementary bicyclic 3-class group , whence these are the only cases where all bicyclic bicubic fields , , satisfy the tame relation with the matrix rank . This is equivalent with abelian-type invariants for all . By the strategy of pattern recognition [15], this enforces the abelian group , which is the unique 3-group G with and abelian-quotient invariants . □
In this section, the combined cubic residue symbol of three prime(power)s dividing the conductor contains a unique pair of mutual cubic residues.
Consequently, the decisive principal factors
must be assumed with variable exponents in , such that and . Concerning 3-class groups of cyclic cubic subfields with , an elementary cyclic group is warranted for . For the critical fields , however, we must distinguish the regular situation in terms of the sub-genus field with partial conductor , which divides , where and equality is warranted, as opposed to the singular situation and the super-singular situation , where usually, .
For doublets with conductor and a non-elementary bicyclic 3-class group, a distinction arises from the 3-valuation of the class number of the 3-genus field :
Definition6.
A quartet with conductor and its sub-doublet of cyclic cubic fields with common partial conductor is called
Let be the quartet of cyclic cubic number fields sharing the common discriminant with conductor , divisible by exactly three primes (one among them may be the prime power ), and belonging to one of the Graphs 5–9 of Category . According to Theorem 2, and thus , for .
Due to these facts, the class number relation for implies that there are precisely four tame bicyclic bicubic fields, , , , , satisfying , for each , and so we must have the matrix ranks with indices .
In contrast, each of the six wild bicyclic bicubic fields, , , , , , , with , either contains or . The class number relation (16) implies
Summarized, in dependence on the index of subfield units and the rank ,
with in the regular situation, and in the singular or super-singular situation. Formula (50) supplements Corollary 1 in the case .
Lemma8
(3-class ranks of components).All four components , , of the quartet have elementary bicyclic 3-class group . The condition , , is satisfied for , 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 with neither contain nor . □
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 is assumed to be .
Since there are no trivial cubic residue symbols among the three prime(power) divisors of the conductor , except with overall assumption (48), the principal factors of the subfields with of the absolute genus field must be divisible by both relevant primes, and we can use the general approach
with , identifying , since it is easier to manage: .
Lemma9.
In dependence on thedecisive principal factorsin Formula (51), theprincipal factorsof the quartet sharing the common conductor with Graph are given by
Proof.
We implement the general approach (51). From the ranks for , there arise constraints for the exponents in the proposal , , with the aid of principal factor matrices. For these tame bicyclic bicubic fields , , the rank is calculated with row operations on the associated matrix :
, , , .
For , leads to the decisive pivot elements and in the last column; similarly, for , leads to and ; similarly, for , leads to and ; and similarly, for , leads to and . So, implies , , , , and consequently (52). □
Proposition9
(Quartet with 3-rank two for ).Let be a quartet with common conductor , whose combined cubic residue symbol belongs to Graph 5 of Category . Then, the ranks of principal factor matrices of tame bicyclic bicubic fields are for . In terms of exponents of primes in four variable principal factors, , , from (48), and , , from (51), the ranks of principal factor matrices of wild bicyclic bicubic fields are given by
Proof.
Up to this point, the parameters have not come into play yet. They decide about the rank of the associated principal factor matrices of the wild bicyclic bicubic fields , . Hence, we perform row operations on these matrices:
, , .
For , leads to the decisive pivot element in the last column; similarly, for , leads to ; and similarly, for , leads to in the middle column. So, iff , by viewing the pivot elements modulo 3. Next, we consider:
, , .
For , leads to ; similarly, for , leads to ; and similarly, for , leads to in the middle column. So, iff . □
In Ayadi’s thesis [2] (p. 80), only the special case is elaborated. As mentioned above already, the condition is warranted in the regular situation . 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:
Theorem15
(Second 3-class groups for ).There are several minimal transfer kernel types (mTKT) of , , and other possible capitulation types in ascending order , either , type ; , type , or , type ; , type , ending in , type ; , type or , or , type ; and the maximal , type .
In terms of the counter , ofmaximal indices of subfield units for all ten bicyclic bicubic fields with conductor , the second 3-class groups are given in the following way as uniform or non-uniform quartets, with the abbreviation :
The leading six rows concern theregularsituation . In particular, the condition for is equivalent to the extra special group , whereas is abelian for all other pairs . The trailing rows concern the(super-)singularsituation with . With exception of the trailing rows, the 3-class field tower has length and group .
Proof.
Let be the prime ideals of over .
Since p splits in , it also splits in and .
Since q splits in , it also splits in and . By Corollary 3,
since is principal ideal in , the class capitulates in and ;
since is principal ideal in , the class capitulates in and .
Since is principal ideal in , the class capitulates in , , and , by Proposition 2. Since and , generates the same subgroup as in , .
Since is a principal ideal in , the class capitulates in , , and , by Proposition 2. Since and , generates the same subgroup as in , .
The 3-class group of is always . It contains the norm class groups of as subgroups of index 3: is always generated by for , due to the above-mentioned splitting of q. See also Table 12.
We recall that equality is warranted for the regular situation , and there is an equivalence involving the counter in Theorem 4: iff iff (either or ) iff . Let .
implies wild ranks and , for , but , , for , according to Formula (50), and tame indices for all . The uniform minimal indices of subgroup units correspond to maximal norm unit indices and thus to total capitulations whenever is a subfield for , . According to Theorem 9 and Corollary 4, the resulting abelian-type invariants and transfer kernel type , that, is the Artin pattern , identify three possible groups, , since must be cancelled due to the wrong second layer .
An exception arises for , which causes non-uniformity with , , as opposed to the remaining . (Everything else is like .) Thus, , and here, we have a fixed-point capitulation, . The corresponding abelian-type invariants and transfer kernel type uniquely identify the group for . The remaining three groups are .
For and , the relations and imply , , for all wild bicyclic bicubic fields , . For , we have , but for , the maximal index is attained and enables an elementary tricyclic 3-class group generated by the prime ideals lying over . Here, we have a non-fixed-point capitulation . The transposition is hidden by total capitulation in and with the norm class group generated by . The abelian-type invariants and the transfer kernel type uniquely identify the group for .
implies and thus wild indices , for . We also have tame indices for . However, we have and the remaining wild indices , for , according to Formula (50). There arises a fixed-point capitulation, and, non-uniformly, a non-fixed-point capitulation, for with norm class groups also generated by . The corresponding abelian-type invariants and transfer kernel types and , respectively, uniquely identify the two groups and the remaining two groups , respectively.
For and the simplest singular or super-singular situation with , implies , , for all wild , and uniformly, for all tame . The latter correspond to the elementary tricyclic 3-class groups generated by the prime ideals lying over for , and generated by the prime ideals lying over for . Here, we have a non-fixed-point capitulation for , and for . The transposition is not hidden by total capitulation and characteristic for uniform transfer kernel type . According to Theorem 9 and Corollary 4, the abelian-type invariants , and the transfer kernel type , identify six possible groups .
For , only three wild indices , , for are not maximal. The TKTs are not uniform, , type , twice and , type , twice.
For , all tame and wild indices are maximal for , which implies non-uniform minimal TKTs , type , twice and , type , twice. □
Corollary9
(Non-uniformity of the quartet for ).For , only a sub-triplet of the quartet shares a common capitulation type , abelian-type invariants , and second 3-class group . The invariants of the fourth component differ. For , only two pairs of components of the quartet share a common capitulation type , and second 3-class group , whereas the abelian-type invariants are uniform. However, the four components agree in all situations with even .
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.
Example5.
The prototypes for Graph , i.e., the cases in the Theorem 15 are fourregularsituations, with and ; with and ; with and ; with and ; and thesingularsituation with and . Here, we have distinct , but . There is also asuper-singularprototype with and , phenomenologically completely identical with the singular prototype, except that . Withconsiderable statistic delay, there also appear super-singular prototypes . For 37 examples see [8] (Tbl. 6.7, p. 52).
In Table 13, we summarize the prototypes of graph . The data comprise ordinal number No.; conductor c of k; combined cubic residue symbol ; regularity or (super-)singularity expressed by 3-valuation of class number of absolute 3-genus field ; 3-valuation and , respectively, of the class number of critical fields and , respectively; critical exponents in principal factor , in , ℓ in , and s in , respectively; capitulation type of k, second 3-class group of k; and length of 3-class field tower of k. For abbreviation, we put the following:
, , , ,
, , .
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 be .
Proposition10
(Quartet with 3-rank two for ).For fixed , let be the prime ideals of over , that is, , , , then the principal factor of is , and the 3-class group of is,
The unramified cyclic cubic relative extensions of are among the absolutely bicyclic bicubic fields , . Thetameextensions with are with , since they neither contain nor . For each μ, there are two tame extensions , with the following properties. The first, with , has the norm class group with , thecyclictransfer kernel
of order 3, and theelementary tricyclic
3-class group , generated by the classes of the prime ideals of over , , . The second, with , has the norm class group , transfer kernel
and the 3-class group , generated by the classes of the prime ideals of over . The pair forms a hidden or actualtranspositionof the transfer kernel type . The remaining two , , , have the norm class group or , and the transfer kernel
providing the option of either two possiblefixed pointsor a furthertranspositionin the transfer kernel type . In terms of n and in and , the ranks of thewildextensions are
Proof.
By Proposition 3, principal factors are , since . Further, by Proposition 4, , for all , since p is universally repelling . Since is a principal ideal, its class is trivial, whereas the classes are non-trivial.
Assume the principal factors and . The parameters , proposed for all Graphs 5–9 of Category , decide about the rank of the associated principal factor matrices of the wild bicyclic bicubic fields , . As usual, we perform row operations on these matrices:
, , .
For , leads to the decisive pivot element in the last column; similarly, for , leads to ; and similarly, for , leads to n in the middle column. So, iff , by viewing the pivot elements modulo 3. Next:
, , .
For , leads to ; similarly, for , leads to ; and similarly, for , leads to in the middle column. So, iff .
In the regular case , where , the condition , that is, , is certainly satisfied when or equivalently , according to Theorem 4. However, when or equivalently , then we may either have and still , or , , with completely different consequence . In the singular and super-singular cases, both pairs of parameters, and , or more precisely, only n and , 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.
Theorem16
(Second 3-class group for ).To identify the second 3-class group , , let the principal factor of and , respectively, be and , respectively, and additionally, assume the regular situation where both are elementary bicyclic, whence .
Then there are severalminimal transfer kernel types(mTKT) of , , and other possible capitulation types in ascending order , ending in the mandatory , type , either , type , , type , , type , or , type , , type , and again , type .
In theregularsituation, the second 3-class group is
where . Only in the first case, the 3-class field tower has certainly the group and length , otherwise cannot be excluded, even if .
In thesingularsituation, the second 3-class group is
In thesuper-singularsituation, no statement is possible, since the order of may increase unboundedly.
Proof.
In the regular situation , exponents and of principal factors and are equal. Let be the number of primes dividing . According to the proof of Proposition 10, ranks and indices of subfield units for wild extensions are given by , iff , for , and , iff , for , in particular, certainly for .
This implies 3-class numbers and 3-class groups , for , whenever , i.e., , a remarkable distinction of the prime q against the primes . We point out that this can occur not only for , but also for , provided that , , and not , .
Indices of tame extensions with and are non-uniform: corresponding to a unique elementary tricyclic , we must have for with the norm class group either or , but corresponding to the remaining bicyclic , the index takes the minimal value for with the norm class group . Thus and the resulting Artin pattern uniquely identifies the group of maximal class.
Now, we come to , whence necessarily . Then, and for the wild extensions . Indices of tame extensions now become uniform, corresponding to a pair of elementary tricyclic , which enforces for , i.e., . The number of maximal unit indices decides about the group : If , then for all : , , and , according to the laws for 3-groups of coclass [25] (pp. 289–292). The Artin pattern identifies the possible groups . If , then for , but for . The Artin pattern together with , , according to Table 14, identifies the possible groups of coclass 2. If , then for all : , , and . The Artin pattern together with , , according to Table 14, identifies the possible groups of coclass 3. □
Corollary10
(Non-uniformity of the quartet for ).Only for , the components of the quartet, all with 3-rank two, share a common capitulation type , common abelian-type invariants , and a common second 3-class group , for . For , the quartet splits into two sub-doublets, and thus becomes non-uniform.
Proof.
This is an immediate consequence of Theorem 16 and Table 14. □
Example6.
For 31 examples see [8] (Tbl. 6.4, p. 49). Prototypes for Graph , that is, minimal conductors for each scenario in Theorem 16, are the following.
There are theregularcases with symbol , ; with symbol , ; with symbol , , all uniformly with , in contrast to with symbol , , and uniform ; with symbol , , and uniform ; with symbol , , and non-uniform ; with symbol , , and non-uniform with two distinct minimal transfer kernel types.
Further, thesingularcases with symbol , , , and non-uniform ; with symbol , , , and uniform .
Finally, thesuper-singularcases with symbol , , and uniform ; with symbol , , and uniform .
In Table 15, we summarize the prototypes of Graph in the same way as in Table 13.
8.3. Category III, Graph 7
Let be a quartet of cyclic cubic number fields sharing the common conductor , belonging to Graph 7 of Category with combined cubic residue symbol .
Proposition11
(Quartet with 3-rank two for ).For fixed , let be the prime ideals of over , that is, , , . Under the normalizing assumption , , the principal factors of are
and the 3-class group of is
The unramified cyclic cubic relative extensions of are among the absolutely bicyclic bicubic fields , . Thetameextensions with are with , since they neither contain nor . For each μ, there are two tame extensions , with the following properties. The first, with , has the norm class group , the transfer kernel
and the 3-class group , generated by the classes of the prime ideals of over . The second, with , has the norm class group , thecyclictransfer kernel
of order 3, and theelementary tricyclic
3-class group , generated by the classes of the prime ideals of over . The pair forms a hidden or actualtranspositionof the transfer kernel type . The remaining two , , , have the norm class group or , and the transfer kernel
providing the option of two possiblerepetitionsin the transfer kernel type .
In terms of n and in and , the ranks of thewildextensions are
Proof.
By Proposition 3, the symbol implies principal factors .
We assume principal factors , for , and , .
We generally have the tame matrix ranks , and draw conclusions by explicit calculations. For these bicyclic bicubic fields , , the rank is calculated with row operations on the associated principal factor matrices :
, , , .
For , leads to the decisive pivot elements and ; similarly, for , leads to and ; similarly, for , leads to and ; and similarly, for , leads to and . So, implies , , , and implies , , , i.e., and .
A consequence of these principal factors is the coincidence of the subgroups of generated by the classes and in , . By Corollary 3,
since is principal ideal in , the class capitulates in and ;
since is principal ideal in , the class capitulates in and ;
since is principal ideal in , the class , and thus , capitulates in and .
Moreover, since is principal ideal in and , the class , and thus , also capitulates in , , , , , and , by Proposition 2.
The parameters , proposed for all Graphs 5–9 of Category , decide about the rank of the associated principal factor matrices of the wild bicyclic bicubic fields , . As usual, we perform row operations on these matrices:
, , .
For , leads to the decisive pivot element m in the first column; similarly, for , leads to m; and similarly, for , leads to m in the first column. So, iff . Next, we consider:
, , .
For , leads to ; similarly, for , leads to ; and similarly, for , leads to in the first column. So, iff .
Since r splits in , it also splits in , .
Since q splits in , it also splits in , .
Since p splits in , it also splits in , . □
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.
Theorem17
(Second 3-class group for ).Let be a quartet of cyclic cubic number fields sharing the common conductor , belonging to Graph 7 of Category with combined cubic residue symbol .
Then, theminimal transfer kernel type(mTKT) of , , is , type , and the other possible capitulation types in ascending order are , type ; , type ; and , type .
To identify the second 3-class group , , let thedecisive principal factorsbe , , and additionally, assume theregular situationwhere both are elementary bicyclic, whence . Then,
where . Only in the leading row has the 3-class field tower warranted the group , with length . Otherwise, the tower length cannot be excluded, even if .
In(super-)singular situations, the group must be of coclass , and capitulation of type is impossible.
Proof.
We know that the tame ranks are , and thus , in particular, , whence certainly . Further, the wild ranks are iff , and iff .
In the regular situation where the 3-class groups of and are elementary bicyclic, tight bounds arise for the abelian-quotient invariants of the group :
The first scenario, , is equivalent to , with wild ranks , for , , for , and tame ranks , for , , for , that is and consequently , since is unique with this .
The other three scenarios share , and an explicit transposition between , ; , , and , ; and , , respectively, giving rise to , and common , for , implying .
The second scenario with is supplemented by , , for . , , for , giving rise to , , characteristic for (Cor. 4).
The third scenario with is supplemented by , , for , but still , , for , giving rise to , , characteristic for .
The fourth scenario with is supplemented by , , for , , , for , giving rise to , , characteristic for either or with coclass . If , then the tower length must be . For this minimal capitulation type H.4, , 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 and are non-elementary bicyclic, and even in the simplest case, , , we have , , for , , , for , which prohibits the occurrence of abelian-type invariants , required for 3-groups of coclass (maximal class). □
Corollary11
(Uniformity of the quartet for ).The components of the quartet, all with 3-rank two, share a common capitulation type , common abelian-type invariants , and a common second 3-class group , for .
Proof.
This is a consequence of Theorem 17 and Table 16. □
Example7.
For 34 examples see [8] (Tbl. 6.5, p. 50). We have found prototypes for Graph in the form of minimal conductors for each scenario in Theorem 17 as follows. There areregularcases: with symbol , , and ; with symbol , , and ; with symbol , , and of elevated coclass 3; and with symbol , , and . There is also asingularcase with symbol , , and ; andsuper-singularcases with symbol , , and of elevated coclass 3; and with symbol , , and .
In Table 17, we summarize the prototypes of Graph in the same way as in Table 13.
8.4. Category III, Graph 8
Let be a quartet of cyclic cubic number fields belonging to Graph 8 of Category with the combined cubic residue symbol of three prime(power)s dividing the conductor .
Proposition12
(Quartet with 3-rank two for ).For fixed , let be the prime ideals of over , that is, , , ; then, the principal factor of is , and the 3-class group of is
The unramified cyclic cubic relative extensions of are among the absolutely bicyclic bicubic fields , . Thewildranks for are , independently of . For each μ, there are two tame extensions , with the following properties.
The first, , has the norm class group , thecyclictransfer kernel
of order 3, and theelementary tricyclic
3-class group , generated by the classes of the prime ideals of over .
The second, , has the norm class group ,cyclictransfer kernel
of order 3, andelementary tricyclic
3-class group , generated by the classes of the prime ideals of over .
The pair forms amandatory transpositionof the transfer kernel type . The remaining two , , , have the norm class group or , necessarily anon-elementary bicyclic
3-class group of order and , respectively, and the transfer kernels
respectively, providing the option of a possiblefixed pointin the transfer kernel type .
Proof.
Since , there are two principal factors . Since , there are two further principal factors . Since is universally repelling, we also have four other principal factors , for all according to [2] (Prop. 4.6, p. 49). Since is a principal ideal, its class is trivial, whereas the classes are non-trivial and generate .
There are four tame bicyclic bicubic fields, , , , , satisfying , for . Consequently, we must have the indices , and thus the matrix ranks .
On the other hand, there are six wild bicyclic bicubic fields, , , , , , , with .
For these bicyclic bicubic fields , , the rank is calculated with row operations on the associated principal factor matrices :
, , , .
For and , immediately leads to rank , since , and similarly, for , leads to rank .
For , and , immediately leads to rank , since , and similarly, for , leads to rank .
So, Graph 8 of Category III is the unique situation where , for all , without any conditions, and thus, , for , and , for , where , and , .
In each case, the minimal subfield unit index corresponds to the maximal unit norm index , associated with a total transfer kernel , whenever , .
According to Theorem 8, the unramified cyclic cubic relative extensions of among the absolutely bicyclic bicubic subfields of the 3-genus field are , for , , for , , for , and , for .
Since p splits in , it also splits in and .
Since is principal in , capitulates in and .
For , the minimal unit norm index , associated to the partial transfer kernel , corresponds to the maximal subfield unit index , giving rise to the characteristic abelian-type invariants generated by the classes of the prime ideals of over . The field , which contains , has the norm class group .
Since q splits in , it also splits in and .
Since is principal in , capitulates in and .
For , the minimal unit norm index , associated to the partial transfer kernel , corresponds to the maximal subfield unit index , giving rise to the characteristic abelian-type invariants generated by the classes of the prime ideals of over . The field , which contains , has the norm class group .
Since is principal in , capitulates in , , and .
Since is principal in , capitulates in , , and .
The remaining two , , more precisely, for , and for , and for , and for , have the norm class group or , and the minimal transfer kernels and , 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) and the transfer kernel (TK) , also in the symbolic form with place holders , for each collection of four unramified cyclic cubic relative extensions , , of each base field , , of the quartet.
Theorem18
(Second 3-class group for ).Let be the quartet of cyclic cubic number fields sharing the common conductor , belonging to Graph 8 of Category with combined cubic residue symbol .
To identify the second 3-class group , , let theprincipal factorof and , respectively, be and , respectively, and additionally, assume theregularsituation where both are elementary bicyclic, whence .
Then, there are severalminimal transfer kernel types(mTKT) of , , and the other possible capitulation types in ascending order , ending in the mandatory , type :
either , type , , type , for , or , type , , type , or , type , for , and the second 3-class group is
where and is the number of prime divisors of . In any case, the 3-class field tower may have a group bigger than although . Further, is the unique graph where the second 3-class group cannot be of maximal class.
Since the group order cannot be specified in the(super-)singularsituation, only the capitulation type can be given. Additionally, the number of prime divisors of is used, and two cases are separated.
If , then , and all four types , , coincide:
If , then the number of coinciding types must be indicated by formal exponents:
Proof.
We normalize the transpositions in Table 18 by the following convention: , taking the leading type of three equivalent types.
Since the transfer kernels for the tame extensions with are partial, the corresponding indices of subfield units must be maximal, whence necessarily . The associated 3-class numbers are consistent with the occurrence of two elementary tricyclic 3-class groups , connected with a transposition in the capitulation type , according to Proposition 12.
In the proof of this proposition, it was also derived that due to , the 3-class numbers of the wild extensions are given by , for , and , for , where , and , .
It follows that the maximal class is prohibited for two reasons: firstly, by the Artin pattern , ; and secondly, by the bipolarization of an order of at least 27, which implies that and are bicyclic equal to or bigger [25] (pp. 289–292).
In fact, even is very restricted, because the candidates for must be descendants of the group . The other two groups with two or three components in the abelian-type invariants are discouraged, since , for does not contain a transposition, and in , for , the transposition in is not associated with two elementary tricyclic components of .
If , then the Artin pattern , identifies one of the six groups , since is forbidden by Corollary 4.
If , then generally , with bipolarization consisting of copolarization , i.e., coclass 2, and polarization , i.e., class 4. Now, if , then the capitulation type contains a repetition, which identifies the group . On the other hand, if , then the capitulation type either contains a fixed point, which gives , or neither contains a repetition nor a fixed point, which gives .
If , then generally , but a finer distinction is provided by . If , then the capitulation type contains two repetitions and becomes nearly constant, which identifies the groups of coclass 3. However, if , then a fixed point and its repetition occurs in the capitulation type , which leads to the groups .
Concerning the (super-)singular situation, two cases are distinguished. If , then , i.e., implies two identical repetitions in , , but , i.e., , produces a single fixed point in , . These two minimal transfer kernel types for both expand to for . All three cases are uniform. If were possible, then would lead to type , , and would either imply type , , or , . The latter case would be non-uniform, but does not seem to occur at all.
If , then nevertheless, is possible, and then implies two distinct repetitions in , , uniformly, whereas leads to either two fixed points in , or a second transposition in , . These permutation types would be non-uniform in two sub-doublets, but they are obviously forbidden, for an unknown reason. Finally, admits several distinct realizations with identical result: it always leads to a repetition, and additionally either to a fixed point in , , or a non-fixed point in , , non-uniformly in two sub-doublets. □
Corollary12
(Non-uniformity of the quartet for ).If , in particular always in the regular situation, the components of the quartet, all with 3-rank two, uniformly share a common capitulation type , common abelian-type invariants , and a common second 3-class group , for . Otherwise, the invariants may be non-uniform, divided in two sub-doublets.
Proof.
In the regular case, we must have . All TKTs are either equivalent to F.11, with a mandatory fixed point, if , or to H.4, if , according to Table 18. The potential non-uniformity was proved in Theorem 18. □
In Table 19, we summarize the prototypes of Graph in the same way as in Table 13. The group with multifurcation of order four is abbreviated by . See the table and tree diagram [24] (Section 11, pp. 96–100, Tbl. 1, Fig. 5).
Example8.
Since 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 theregularcase, they have been found for , but not for . There are someregularprototypes: with symbol , , and ; with symbol , , and ; with symbol , , and . Furthermore, there is asuper-singularprototype with symbol , type , and , , with , 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 be a quartet of cyclic cubic number fields sharing the common conductor , belonging to Graph 9 of Category with combined cubic residue symbol .
Proposition13.
(Quartet with 3-rank two for.)For fixed , let be the prime ideals of over , that is, , , , then theprincipal factorof is , and the 3-class group of is
In terms of n and in and , the ranks of thewildextensions are
Proof.
By Proposition 3, the principal factors are , since ; and , since . Further, by Proposition 4, , for all , since p is universally repelling . Since is a principal ideal, its class is trivial, whereas the classes are non-trivial. By Corollary 3,
since is principal ideal in , the class capitulates in and ;
since is principal ideal in , the class capitulates in and .
However, since is principal ideal in and , the class also capitulates in , , , , , and .
For the wild bicyclic bicubic fields , , the rank is calculated with row operations on the associated principal factor matrices :
, , , .
For and , leads to the decisive pivot element n in the middle column, for , also leads to n. So, rank iff .
For and , leads to the decisive pivot element in the middle column; for , also leads to . So, rank iff . □
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.
Theorem19
(Second 3-class group for ).To identify the second 3-class group , , let the principal factor of and , respectively, be and , respectively, and additionally, assume the regular situation where both are elementary bicyclic, whence .
Then, theminimal transfer kernel type(mTKT) of , , and other possible capitulation types in ascending order , ending in the mandatory , type , are , type , , type , , type , and the second 3-class group is
where . Only in the first case does the 3-class field tower certainly have the group and length , otherwise cannot be excluded, even if .
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 of subfield units and, accordingly, by Lemma 2, shrinking transfer kernels , with , .
1.
For the maximal TKT, , called in conjunction with ATI , we must have , and by (75) wild ranks and indices for all , causing 8 (because 7 is used twice over and and 10 is used twice over and ) minimal 3-class numbers , by (50), and ATI , characteristic for a group of coclass , i.e., maximal class, namely . However, the elementary tricyclic component of the ATI requires tame indices for , and thus for each (because 5 is used twice over and and 8 is used twice over and ).
2.
Next, one of the total TK shrinks to a transposition, , , which requires a group of coclass , implying, firstly, tame indices also for , and thus for each (because 6 is used twice over and and 9 is used twice over and ), and, secondly, (from now on) necessarily both , implying wild ranks indices for all , here , 3-class numbers , and thus ATI , leading to , in view of Corollary 4.
3.
Now another total TK shrinks to a repetition, , ; the first three wild indices for become maximal , causing and 4 (because 10 is used twice over and ) maximal new 3-class numbers
, and thus ATI , uniquely identifying .
4.
Finally, for the minimal TKT, , , the remaining three wild indices for become maximal , causing and 4 (because 7 is used twice over and ) maximal new 3-class numbers , and thus ATI , enforcing a group of coclass namely .
□
Corollary13
(Uniformity of the quartet for ).The components of the quartet, all with 3-rank two, share a common capitulation type , common abelian-type invariants , and a common second 3-class group , for .
Proof.
This follows immediately from Theorem 19. □
Example9.
For 15 examples see [8] (Tbl. 6.6, p. 51). Prototypes for Graph are the minimal conductors for each scenario in Theorem 19. They have been found for all .
There areregularcases: with symbol , , and ; with symbol , , and ; with symbol , , and ; with symbol , , and ; and, withextreme statistic delay, with ordinal number 145, symbol , , and with .
Only onesuper-singularcase for : It is with symbol , , and . Astonishingly, there is no bigger order and coclass of , due to .
In Table 21, we summarize the prototypes of Graph 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 of a cyclic cubic number field k with the conductor divisible by three prime(power)s and the elementary bicyclic 3-class group depends on arithmetical invariants of other cyclic cubic auxiliary fields, associated with k. The field k is component of a quartet of cyclic cubic fields sharing the common conductor c. The graph , which is combined by the cubic residue symbols decides whether one, or two, or no component(s) of the quartet have a 3-class group of rank , and accordingly, the conductor is called Category , or , or . For Category , the order of the 3-class group of the unique component with is crucial. For Category , the orders of both 3-class groups of the two components with exert an impact. For Category , the behavior is uniform with abelian , if does not contain mutual cubic residues (Graphs 1–4), otherwise there is exactly one pair of mutual cubic residues (Graphs 5–9), and the auxiliary fields with decisive 3-class groups are the two subfields and of the absolute genus field of k, having the partial conductor . 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 . Explicit numerical investigations indicate that there is no upper bound for the orders of the 3-class groups ; and ; and and , 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 , , constitute the capitulation targets of the cyclic cubic fields , . The introduction of important new concepts, the minimal and maximal capitulation type (mTKT), and , permitted recognition of common patterns for several Graphs, partially in distinct Categories.
The four Graphs , , , share the same ordered sequence of TKTs, , called , , , , although the proofs and details are quite different. In terms of splitting prime ideals , , all these TKTs contain a crucial transposition, due to elementary tricyclic 3-class groups , , and twisted capitulation kernels , , which restricts the group to descendants of (except , where a total transfer kernel hides the transposition).
Similarly, the two graphs , admit another characteristic ordered sequence of TKTs, , called , , , , , with two fixed points, which restrict the group to descendants of (except , , , , where total transfer kernels partially or completely hide the fixed points).
A remarkable outsider is Graph with a veritable wealth of exotic capitulation types, but restricted to the unusual maximal TKT , , forced by mandatory transposition.
Due to the lack of cubic residue conditions between the prime divisors of the conductor , two Graphs , admit the absolute maximum of all TKTs (non-abelian!).
It might be worth one’s while to point out that a glance at in Table 2 and Table 3 reveals that the commutator subgroup of all encountered second 3-class groups and 3-class tower groups , respectively, has the order and , respectively, which means that the class number of the Hilbert 3-class field is divisible by 9, for all cyclic cubic fields k, with the exception of , the regular cases for , and the Graphs of Category for .
For Category and , we expect a rather rigid impact of the groups for on the groups for , 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 in Corollary 4.
Conflicts of Interest
The authors declare no conflict of interest.
References
Gras, G. Sur les ℓ-classes d’idéaux dans les extensions cycliques relatives de degré premier ℓ. Ann. Inst. Fourier1973, 23, 4. [Google Scholar] [CrossRef]
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]
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]
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).
Fieker, C. Computing class fields via the Artin map. Math. Comp.2001, 70, 235. [Google Scholar] [CrossRef]
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).
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]
Mayer, D.; Aouissi, S. Group theoretic Approach To Cyclic Cubic Fileds. arXiv2023, arXiv:2310.07349. [Google Scholar]
Barrucand, P.; Cohn, H. Remarks on principal factors in a relative cubic field. J. Number Theory1971, 3, 226–239. [Google Scholar] [CrossRef]
Taussky, O. Über eine Verschärfung des Hauptidealsatzes für algebraische Zahlkörper. J. Reine Angew. Math.1932, 168, 193–210. [Google Scholar] [CrossRef]
Taussky-Todd, O. Arnold Scholz zum Gedächtnis. Math. Nachrichten1952, 7, 379–386. [Google Scholar] [CrossRef]
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/DCM@ICMA2020Casablanca.pdf (accessed on 10 October 2023).
Mayer, D.C. New number fields with known p-class tower. Tatra Mt. Math. Pub.2015, 64, 21–57. [Google Scholar] [CrossRef]
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]
Gamble, G.; Nickel, W.; O’Brien, E.A. ANU p-Quotient—p-Quotient and p-Group Generation Algorithms; Magma: Sydney, Australia, 2006. [Google Scholar]
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]
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).
Bosma, W.; Cannon, J.; Playoust, C. The Magma algebra system. I. The user language. J. Symb. Comput.1997, 24, 235–265. [Google Scholar] [CrossRef]
Bosma, W.; Cannon, J.; Fieker, C.; Steel, A. (Eds.) Handbook of Magma Functions, 2.28 ed.; University of Sydney: Sydney, Australia, 2023. [Google Scholar]
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]
Mayer, D.C. Co-periodicity isomorphisms between forests of finite p-groups. Adv. Pure Math.2018, 8, 77–140. [Google Scholar] [CrossRef]
Mayer, D.C. Index-p abelianization data of p-class tower groups. Adv. Pure Math.2015, 5, 286–313. [Google Scholar] [CrossRef]
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 on and , .
Table 1.
Known and unknown impact of t and on and , .
t
Conditions
, elem.
or
, non-elem.
unknown
unknown
?
?
Table 2.
Invariants of metabelian 3-groups with .
Table 2.
Invariants of metabelian 3-groups with .
cc
Type
1
a.1
0
3
3
—
1
a.1
1
2
4
1
A.1
1
0
2
1
a.3
11
0
3
1
a.3
11
0
3
1
a.1
11
1
4
1
a.2
11
0
3
1
a.3
21
0
3
1
a.2
21
0
3
1
a.1
21
0
3
2
b.10
111
2
4
2
b.10
1111
2
5
2
b.10
1111
1
4
2
b.10
211
2
5
2
b.10
211
1
4
2
b.10
211
2
5
2
d.19
211
1
4
2
d.23
211
0
3
2
d.25
211
0
3
2
d.19
221
0
4
2
d.23
221
0
4
2
d.25
221
0
4
2
b.10
221
1
5
2
d.19
321
0
4
2
c.21
111
1
3
2
G.16
211
1
3
2
c.21
211
2
4
2
G.16
221
1
4
2
c.21
221
1
4
3
b.10
2111
4
6
3
H.4
2111
3
5
3
F.11
2111
2
4
3
G.16
2111
2
4
3
G.19
2111
2
4
3
d.19
2211
0
5
3
d.23
2211
0
5
3
d.25
2211
0
5
3
b.10
2211
0
5
4
H.4
2221
1
5
Table 3.
Invariants of non-metabelian 3-groups with .
Table 3.
Invariants of non-metabelian 3-groups with .
cc
Type
2
d.19
211
0
3
2
c.21
211
0
3
3
G.16
221
1
3
301|305〉
Table 4.
Norm class groups and minimal transfer kernels with for Graph I.1.
Table 4.
Norm class groups and minimal transfer kernels with for Graph I.1.
Base
Ext
NCG
TK
3
4
3
4
3
4
Table 5.
Prototypes for Graph I.1.
Table 5.
Prototypes for Graph I.1.
No.
c
v
Capitulation Type
1
4977
3
3
3
10
4
14
4
27
5
189
4
198
6
Table 6.
Norm class groups and minimal transfer kernels with for Graph I.2.
Table 6.
Norm class groups and minimal transfer kernels with for Graph I.2.
Base
Ext
NCG
TK
3
4
3
4
3
4
Table 7.
Prototypes for Graph I.2.
Table 7.
Prototypes for Graph I.2.
No.
c
v
Capitulation Type
1
7657
4
2
8001
3
12
3
27
4
33
3
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
Ext
NCG
TK
4
4
3
3
Table 9.
Prototypes for Graph II.1.
Table 9.
Prototypes for Graph II.1.
No.
c
Capitulation Type
1
3913
9
11
15
18
23
35
or
39
42
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
Ext
NCG
TK
4
4
2
2
Table 11.
Prototypes for Graph II.2.
Table 11.
Prototypes for Graph II.2.
No.
c
Capitulation Type
1
6327
8
10
14
23
28
31
207
or
Table 12.
Norm class groups and minimal transfer kernels for Graph .
Table 12.
Norm class groups and minimal transfer kernels for Graph .
Base
Ext
NCG
TK
1
4
1
2
Table 13.
Prototypes for Graph III.5.
Table 13.
Prototypes for Graph III.5.
No.
c
v
ℓ
s
Capitulation Type
1
1
2
2
1
1
2
2
2
2
1
1
3
1
2
2
2
2
4
1
2
2
1
1
13
3
3
3
1
2
16
4
3
3
1
1
39
3
3
3
2
1
67
4
3
3
1
1
128
6
5
3
2
1
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
Ext
NCG
TK
1
4
1
4
Table 15.
Prototypes for Graph III.6.
Table 15.
Prototypes for Graph III.6.
No.
c
v
Capitulation Type
1
8541
1
2
2
2
9373
1
2
2
20
2
2
2
29
3
3
3
34
4
3
3
52
2
2
2
54
3
3
3
56
2
2
2
58
2
2
2
71
2
2
2
75
4
3
3
698〉4
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
Ext
NCG
TK
2
2
3
3
2
2
3
3
Table 17.
Prototypes for Graph III.7.
Table 17.
Prototypes for Graph III.7.
No.
c
v
Capitulation Type
1
4599
1
2
2
2
1
2
2
6
2
2
2
21
2
2
2
27
2
2
2
13
3
3
3
17
4
3
3
677〉
25
4
3
3
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
Ext
NCG
TK
x
y
z
w
Table 19.
Prototypes for Graph III.8.
Table 19.
Prototypes for Graph III.8.
No.
c
v
Capitulation Type
1
1
2
2
1
2
3
2
2
5
1
2
7
1
2
18
2
2
26
4
3
3
40
3
3
3
92
3
3
3
93
3
3
3
101
5
3
5
105
4
3
3
102
3
3
3
162
4
4
3
164
6
4
5
183
3
3
3
185
3
3
3
253
5
3
5
385
3
3
3
468
6
5
3
651
4
4
3
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
Ext
NCG
TK
3
3
4
4
3
3
2
2
Table 21.
Prototypes for Graph III.9.
Table 21.
Prototypes for Graph III.9.
No.
c
v
Capitulation Type
1
1
2
2
15
2
2
2
19
2
2
2
28
2
2
2
31
4
3
3
145
2
2
2
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.
Aouissi, S.; Mayer, D.C.
A Group Theoretic Approach to Cyclic Cubic Fields. Mathematics2024, 12, 126.
https://doi.org/10.3390/math12010126
AMA Style
Aouissi S, Mayer DC.
A Group Theoretic Approach to Cyclic Cubic Fields. Mathematics. 2024; 12(1):126.
https://doi.org/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://doi.org/10.3390/math12010126
APA Style
Aouissi, S., & Mayer, D. C.
(2024). A Group Theoretic Approach to Cyclic Cubic Fields. Mathematics, 12(1), 126.
https://doi.org/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
No
No
Article Access Statistics
For more information on the journal statistics, click here.
Multiple requests from the same IP address are counted as one view.
Aouissi, S.; Mayer, D.C.
A Group Theoretic Approach to Cyclic Cubic Fields. Mathematics2024, 12, 126.
https://doi.org/10.3390/math12010126
AMA Style
Aouissi S, Mayer DC.
A Group Theoretic Approach to Cyclic Cubic Fields. Mathematics. 2024; 12(1):126.
https://doi.org/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://doi.org/10.3390/math12010126
APA Style
Aouissi, S., & Mayer, D. C.
(2024). A Group Theoretic Approach to Cyclic Cubic Fields. Mathematics, 12(1), 126.
https://doi.org/10.3390/math12010126
Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.