Related papers: Recent progress in determining p-class field tower…

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…

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…

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…

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…

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. 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 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…

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…

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…

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…

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…

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\) abelianization data). These…

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)\)…

We investigate class field towers of number fields obtained as fixed fields of modular representations of the absolute Galois group of the rational numbers. First, for each $k\in\{12,16,18,20,22,26\}$, we give explicit rational primes $\l$…

We consider Hopf Galois structures on a separable field extension $L/K$ of degree $p^n$, for $p$ an odd prime number, $n\geq 3$. For $p > n$, we prove that $L/K$ has at most one abelian type of Hopf Galois structures. For a nonabelian group…

Let $p$ be a prime and let $F$ be a number field. Consider a Galois extension $K/F$ with Galois group $H\rtimes \Delta$ where $H\cong \mathbb{Z}_p$ or $\mathbb{Z}/p^d\mathbb{Z}$, and $\Delta$ is an arbitrary Galois group. The subfields…

Cohen and Lenstra have given a heuristic which, for a fixed odd prime $p$, leads to many interesting predictions about the distribution of $p$-class groups of imaginary quadratic fields. We extend the Cohen-Lenstra heuristic to a…

All current techniques for showing that a number field has an infinite p-class field tower depend on one of various forms of the Golod-Shafarevich inequality. Such techniques can also be used to restrict the types of p-groups which can…

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…