Related papers: Deep transfers of p-class tower groups

The p-class tower $F_p^\infty(k)$ of a number field k is its maximal unramified pro-p extension. It is considered to be known when the p-tower group, that is the Galois group $G:=Gal(F_p^\infty(k)/k)$, can be identified by an explicit…

For a fixed prime p, the p-class tower F(p,infinity,K) of a number field K is considered to be known if a pro-p presentation of the Galois group H = Gal( F(p,infinity,K)/K ) is given. In the last few years, it turned out that the Artin…

Explicit expressions for the transfers \(V_i\) from a metabelian p-group G of coclass cc(G)=1 to its maximal normal subgroups \(M_i\) \((1\le i\le p+1)\) are derived by means of relations for generators. The expressions for the exceptional…

Let F be a number field and p be a prime. In the Successive Approximation Theorem, we prove that, for each positive integer n, finitely many candidates for the Galois group G(p,n,F) of the n-th stage F(p,n) of the p-class tower…

For a prime \(p\ge 2\) and a number field K with p-class group of type (p,p) it is shown that the class, coclass, and further invariants of the metabelian Galois group \(G=Gal(F_p^2(K) | K)\) of the second Hilbert p-class field \(F_p^2(K)\)…

For each odd prime p>=5, there exist finite p-groups G with derived quotient G/D(G)=C(p)xC(p) and nearly constant transfer kernel type k(G)=(1,2,...,2) having two fixed points. It is proved that, for p=7, this type k(G) with the simplest…

The isomorphism type of the Galois group G of finite 3-class field towers of quadratic number fields with 3-class group of type (9,9) is determined by means of Artin patterns which contain information on the transfer of 3-classes to…

The $p$-group generation algorithm from computational group theory is used to obtain information about large quotients of the pro-2 group $G = \text{Gal} (k^{nr,2}/k)$ for $k = \mathbb{Q}(\sqrt{d})$ with $d = -445, -1015, -1595, -2379$. In…

In this work, we show that given a finite p-group G, a number field K having a trivial p-class group Cl K , and a finite set of primes S of K, there exists a finite extension F/K such that the S-split p-Hilbert class field tower L S p (F )…

Let p be a prime and K be a number field with non-trivial p-class group Cl(p,K). A crucial step in identifying the Galois group G=G(p,K) of the maximal unramified pro-p extension of K is to determine its two-stage approximation M=G(p,2,K),…

Theoretical foundations of a new algorithm for determining the p-capitulation type kappa(K) of a number field K with p-class rank rho=2 are presented. Since kappa(K) alone is insufficient for identifying the second p-class group…

With K=Q((3812377)^(1/2)) we give the first example of an algebraic number field possessing a 5-class tower of exact length L(5,K)=3. The rigorous proof is conducted by means of the p-group generation algorithm, showing the existence of a…

The $p$-group generation algorithm is used to verify that the Hilbert $3$-class field tower has length $3$ for certain imaginary quadratic fields $K$ with $3$-class group $\mathrm{Cl}_3(K) \cong [3,3]$. Our results provide the first…

The isomorphism type of the Galois group of the 2-class field tower of quadratic number fields having a 2-class group with abelian type invariants (4,4) is determined by means of information on the transfer of 2-classes to unramified…

Infinitely many large Schur sigma-groups G with logarithmic order lo(G)=19+e, non-elementary bicyclic commutator quotient G/G' ~ C(3^e) x C(3), e >= 2, elevated rank distribution rho(G)=(3,3,3;3), punctured transfer kernel type kappa(G) ~…

For quadratic fields \(k=\mathbb{Q}(\sqrt{d})\) with discriminant \(d\), \(3\)-class group \(\mathrm{Cl}_3(k)\simeq (\mathbb{Z}/3\mathbb{Z})^2\), and four \textit{simple} \(3\)-principalization types \(\varkappa(k)\in\lbrace…

Cyclic number fields of odd prime degree are constructed as ray class fields over the rational number field. They are collected in multiplets sharing a common conductor and discriminant. The algorithms are implemented in Magma and applied…

Let p$\ge$2 be a given prime number. We prove, for any number field kappa and any integer e$\ge$1, the p-rank $\epsilon$-conjecture, on the p-class groups Cl\_F, for the family F\_kappa^p^e of towers F/kappa built as successive degree p…

Let $p$ be an odd prime. For a number field $K$, we let $K_\infty$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\mathrm{Gal}(K_\infty/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian…

Recent examples of periodic bifurcations in descendant trees of finite p-groups with p in {2,3} 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),…