Related papers: The Computation of Gal$(k^\infty/k)$ for some Comp…

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 article we classify the complex quadratic number fields k with 2-class group of type (2,2,2) whose Hilbert 2-class fields have a 2-class group of rank 2, and then determine the length of their 2-class field towers.

We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2,2,2) whose Hilbert 2-class fields are finite.

In this article we continue the investigation of the length of the narrow $2$-class field tower of real quadratic number fields $\mathrm{k}$ whose discriminants are not a sum of two squares and for which their $2$-class groups are…

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…

We compute the Galois group of the maximal 2-ramified and complexified pro-2-extension of any 2-rational number field.

In this paper, we study the length of the $2$-class field towers and the structure of the Galois groups $\mathrm{Gal}(\mathcal{L}(K_n)/K_n)$ of the maximal unramified $2$-extensions of the layers $K_n$ of the cyclotomic…

We determine precisely when the length of the narrow 2-class field tower is $2$ for most of those real quadratic number fields whose discriminant is not a sum of two squares and for which their 2-class groups are elementary of order $4$.

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…

Let $p_1 \equiv p_2 \equiv5\pmod8$ be different primes. Put $i=\sqrt{-1}$ and $d=2p_1p_2$, then the bicyclic biquadratic field $k=Q(\sqrt{d}, \sqrt{-1})$ has an elementary abelian 2-class group of rank $3$. In this paper we determine the…

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 determine some properties of the narrow 2-class field tower of those real quadratic number fields whose discriminants are not a sum of two squares and for which their 2-class groups are elementary of order $4$. Here in Part I, we…

We consider the Galois group $G_2(K)$ of the maximal unramified $2$-extension of $K$ where $K/\mathbb{Q}$ is cyclic of degree $3$. We also consider the group $G^+_2(K)$ where ramification is allowed at infinity. In the spirit of the…

In this paper, we investigate the unit groups, the $2$-class groups, the $2$-class field towers and the structures of the second $2$-class groups of some multiquadratic number fields of degree $8$ and $16$.

This paper studies Galois extensions over real quadratic number fields or cyclotomic number fields ramified only at one prime. In both cases, the ray class groups are computed, and they give restrictions on the finite groups that can occur…

We classify all complex quadratic number fields with 2-class group of type (2,2^m) whose Hilbert 2-class fields have class groups of 2-rank equal to 2. These fields all have 2-class field tower of length 2. We still don't know examples of…

We compute the Galois group of the maximal 2-ramified pro-2-extension of a 2-rational number field

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 absolute Galois group Gal$(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be presented as a highly computable object, under the notion of type-2 Turing computation. We formalize such a presentation…

Let $K$ be an imaginary quadratic field. For an order $\mathcal{O}$ in $K$ and a positive integer $N$, let $K_{\mathcal{O},\,N}$ be the ray class field of $\mathcal{O}$ modulo $N\mathcal{O}$. We deal with various subjects related to…