For 128 of 149, i. e. 86 percent, of the investigated real quadratic base fields K
with discriminant 0 < d < 106 and elementary abelian bicyclic 3-class group Syl3Cl(K) of type (3,3)
the tower of unramified 3-class fields K < K1 < K2 ≤ … terminates at the second stage with K2.
More explicitly, these are the fields with capitulation types
a.2 (ground state), a.3*, a.3 (ground state), D.5, D.10.
The second 3-class group G=Gal(K2|K) is a metabelian 3-group of
order |G| = 3n and class cl(G) = m-1 with an isomorphism invariant e = n-m+2.
e-1 is the number of all bicyclic factors Gi/Gi+1 in the descending central series of G.
Among the 149 real quadratic fields K investigated, the second 3-class group G is of
Unfortunately, no fields of capitulation types d.19, d.23, d.25 appeared,
since their occurrence is dependent on an associated absolute cubic field with 3-class number 27.
However, such a field has not been found up to now, and even 3-class number 9 is very rare.
In fact, among the 596 totally real cubic fields L involved, only 19 have 3-class number 9.
They occur for the capitulation types
a.1, a.2 (excited state), a.3 (excited state), c.18, c.21, b.10 (twice), and E.9.
Other cases with 3-class number 9 would be the missing capitulation types
d.19, d.23, d.25, E.6, E.8, E.14, F.7 (twice), F.11 (twice), F.12 (twice), F.13 (twice), and G.16.
The lack of the completely unknown capitulation types d.19, d.23, d.25
and some other types, known for complex quadratic base fields, E.6, E.8, E.14, F.7, F.11, F.12, F.13, G.16,
caused us to extend the Real Capitulation Project to the range 0 < d < 107 of discriminants.
This extension was enabled by our new Top Down Capitulation Algorithm,
based on the discovery of a connection between the structure of certain 3-class groups and capitulation types,
and would have been definitely impossible by using our implementation of the Algorithm of Scholz and Taussky,
since it is difficult to automatize the various parts of the computation.
|Navigation Center||Back to Algebra|