p-Capitulation over Number Fields with p-Class Rank Two

Theoretical foundations of a new algorithm for determining the p-capitulation type ù(K) of a number field K with p-class rank ?=2 are presented. Since ù(K) alone is insufficient for identifying the second p-class group G=Gal(Fp2K∣K) of K, complementary techniques are deve- loped for finding the nilpotency class and coclass of . An implementation of the complete algorithm in the computational algebra system Magma is employed for calculating the Artin pattern AP(K)=(τ (K),ù(K)) of all 34631 real quadratic fields K=Q(√d) with discriminants 0d<108 and 3-class group of type (3, 3). The results admit extensive statistics of the second 3-class groups G=Gal(F32K∣K) and the 3-class field tower groups G=Gal(F3∞K∣K).

Criteria for Three-Stage Towers of <i>p</i>-Class Fields

Let p be a prime and K be a number field with non-trivial p-class group ClpK. A crucial step in identifying the Galois group G∞p of the maximal unramified pro-p extension of K is to determine its two-stage approximation M=G2pk, that is the second derived quotient M&simeq;G/Gn. The family τ1K of abelian type invariants of the p-class groups ClpL of all unramified cyclic extensions L/K of degree p is called the index- abelianization data (IPAD) of K. It is able to specify a finite batch of contestants for the second p-class group M of K. In this paper we introduce two different kinds of generalized IPADs for obtaining more sophisticated results. The multi-layered IPAD (τ1Kτ(2)K) includes data on unramified abelian extensions L/K of degree p2 and enables sharper bounds for the order of M in the case Clpk&simeq;(p,p,p), where current im-plementations of the p-group generation algorithm fail to produce explicit contestants for M , due to memory limitations. The iterated IPAD of second order τ(2)K contains information on non-abelian unramified extensions L/K of degree p2, or even p3, and admits the identification of the p-class tower group G for various infinite series of quadratic fields K=Q(√d) with ClpK&simeq;(p,p) possessing a p-class field tower of exact length lpK=3 as a striking novelty.

Deep Transfers of p-Class Tower Groups

Let p be a prime. For any finite p-group G, the deep transfers T H,G ' : H / H ' → G ' / G " from the maximal subgroups H of index (G:H) = p in G to the derived subgroup G ' are introduced as an innovative tool for identifying G uniquely by means of the family of kernels ùd(G) =(ker(T H,G ')) (G: H) = p. For all finite 3-groups G of coclass cc(G) = 1, the family ùd(G) is determined explicitly. The results are applied to the Galois groups G =Gal(F3 (∞)/ F) of the Hilbert 3-class towers of all real quadratic fields F = Q(√d) with fundamental discriminants d > 1, 3-class group Cl3(F) □ C3 × C3, and total 3-principalization in each of their four unramified cyclic cubic extensions E/F. A systematic statistical evaluation is given for the complete range 1 d 7, and a few exceptional cases are pointed out for 1 d 8.

Periodic Sequences of p-Class Tower Groups

Recent examples of periodic bifurcations in descendant trees of finite p-groups with ?are used to show that the possible p-class tower groups G of certain multiquadratic fields K with p- class group of type (2,2,2) , resp. (3,3), form periodic sequences in the descendant tree of the elementary Abelian root , resp. . The particular vertex of the periodic sequence which occurs as the p-class tower group G of an assigned field K is determined uniquely by the p-class number of a quadratic, resp. cubic, auxiliary field k, associated unambiguously to K. Consequently, the hard problem of identifying the p-class tower group G is reduced to an easy computation of low degree arithmetical invariants.

Successive Approximation of p-Class Towers

Let F be a number field and p be a prime. In the successive approximation theorem, we prove that, for each integer n ≥ 1, finitely many candidates for the Galois group of the nth stage of the p-class tower over F are determined by abelian type invariants of p-class groups C1pE of unramified extensions E/F with degree [E : F] = pn-1. Illustrated by the most extensive numerical results available currently, the transfer kernels (TE, F) of the p-class extensions TE, F : C1pF → C1pE from F to unramified cyclic degree-p extensions E/F are shown to be capable of narrowing down the number of contestants significantly. By determining the isomorphism type of the maximal subgroups S G of all 3-groups G with coclass cc(G) = 1, and establishing a general theorem on the connection between the p-class towers of a number field F and of an unramified abelian p-extension E/F, we are able to provide a theoretical proof of the realization of certain 3-groups S with maximal class by 3-tower groups of dihedral fields E with degree 6, which could not be realized up to now.

Index-<i>p</i>Abelianization Data of <i>p</i>-Class Tower Groups

Given a fixed prime number p, the multiplet of abelian type invariants of the p-class groups of all unramified cyclic degree p extensions of a number field K is called its IPAD (index-p abeliani- zation data). These invariants have proved to be a valuable information for determining the Galois group of the second Hilbert p-class field and the p-capitulation type of K. For p=3 and a number field K with elementary p-class group of rank two, all possible IPADs are given in the complete form of several infinite sequences. Iterated IPADs of second order are used to identify the group of the maximal unramified pro-p extension of K.