Related papers: p-Tower Groups over Quadratic Imaginary Number Fie…
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…
To extend Iwasawa's classical theorem from ${\mathbb Z}_p$-towers to ${\mathbb Z}_p^d$-towers, Greenberg conjectured that the exponent of $p$ in the $n$-th class number in a ${\mathbb Z}_p^d$-tower of a global field $K$ ramified at finitely…
The structure of the Galois group of the maximal unramified p-extension of an imaginary quadratic field is restricted in various ways. In this paper we construct a family of finite 3-groups satisfying these restrictions. We prove several…
We introduce a new construction of towers of algebraic curves over finite fields and provide a simple example of an optimal tower.
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…
We prove an asymptotic formula for class numbers of totlally imaginary quartic number fields, ie for number fields of degree 4 over Q with only complex embeddings. After previous work for real quadratic fields (Sarnak) and complex cubic…
Inspired by the Odlyzko root discriminant and Golod--Shafarevich $p$-group bounds, Martinet (1978) asked whether an imaginary quadratic number field $K/\mathbb{Q}$ must always have an infinite Hilbert $2$-class field tower when the class…
We give effective bounds for the class number of any algebraic function field of genus $g$ defined over a finite field. These bounds depend on the possibly partial information on the number of places on each degree $\leq g$. Such bounds are…
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$…
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…
We present an improved algorithm for tabulating class groups of imaginary quadratic fields of bounded discriminant. Our method uses classical class number formulas involving theta-series to compute the group orders unconditionally for all…
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$.
We describe Greenberg's pseudo-null conjecture, and prove a result describing conditions under which the pseudo-null conjecture for a number field $K$ implies the conjecture for finite extensions of $K$. We then apply the result to the…
Let $p$ be an odd prime number. We study growth patterns associated with finitely ramified Galois groups considered over the various number fields varying in a $\mathbb{Z}_p$-tower. These Galois groups can be considered as non-commutative…
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.
For any odd prime $p,$ we construct an infinite family of pairs of imaginary quadratic fields $\mathbb{Q}(\sqrt{d}),\mathbb{Q}(\sqrt{d+1})$ whose class numbers are both divisible by $p.$ One of our theorems settles Iizuka's conjecture for…
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$.
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…
Let $n>1$ be an odd integer. We prove that there are infinitely many imaginary quadratic fields of the form $\mathbb{Q}(\sqrt{x^2-2y^n})$ whose ideal class group has an element of order $n$. This family gives a counter example to a…
We determine the Galois group of the 2-class field tower for two particular families of imaginary quadratic number fields $k$ with $2$-class field tower of length $2$.