For 128 of 149, i. e. 86 percent, of the investigated real quadratic base fields K with discriminant 0 < d < 10^{6} and elementary abelian bicyclic 3class group Syl_{3}Cl(K) of type (3,3) the tower of unramified 3class fields K < K_{1} < K_{2} ≤ … terminates at the second stage with K_{2}. 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 3class group G=Gal(K_{2}K) is a metabelian 3group of order G = 3^{n} and class cl(G) = m1 with an isomorphism invariant e = nm+2. e1 is the number of all bicyclic factors G_{i}/G_{i+1} in the descending central series of G. Among the 149 real quadratic fields K investigated, the second 3class 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 3class number 27. However, such a field has not been found up to now, and even 3class number 9 is very rare. In fact, among the 596 totally real cubic fields L involved, only 19 have 3class 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 3class 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 < 10^{7} 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 3class 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 

Navigation Center 
Back to Algebra 