Let G be some metabelian 2-group satisfying the condition G/G’ ≃ ℤ/2ℤ × ℤ/2ℤ × ℤ/2ℤ. In this paper, we construct all the subgroups of G of index 2 or 4, we give the abelianization types of these subgroups and we compute the kernel of the transfer map. Then we apply these results to study the capitulation problem for the 2-ideal classes of some fields k satisfying the condition $Gal(k{₂}^{\left(2\right)}/k)\simeq G$, where $k{₂}^{\left(2\right)}$ is the second Hilbert 2-class field of k.

We study Tate’s refinement for a conjecture of Gross on the values of abelian $L$-function at $s=0$ and formulate its generalization to arbitrary cyclic extensions. We prove that our generalized conjecture is true in the case of number fields. This in particular implies that Tate’s refinement is true for any number field.

In the $p^n$-th cyclotomic field ${\mathbb{Q}}_{p^n},p$ a prime number, $n\in \mathbb{N}$, the prime $p$ is totally ramified and the only ideal above $p$ is generated by ${\omega }_n={\zeta }_{p^n}-1$, with the primitive $p^n$-th root of unity ${\zeta }_{p^n}=e^{\frac{2\pi i}{p^n}}$. Moreover these numbers represent a norm coherent set, i.e. ${\mathbf{\text{N}}}_{{\mathbb{Q}}_{p^{n+1}}}/{\mathbb{Q}}_{p^n}\left({\omega }_{n+1}\right)={\omega }_n$. It is the aim of this article to establish a similar result for the ray class field $K_{{𝔭}^n}$ of conductor ${𝔭}^n$ over an imaginary quadratic number field $K$ where ${𝔭}^n$ is the power of a prime ideal in $K$. Therefore the exponential function has to be replaced by a suitable elliptic function....

It is well known by results of Golod and Shafarevich that the Hilbert $2$-class field tower of any real quadratic number field, in which the discriminant is not a sum of two squares and divisible by eight primes, is infinite. The aim of this article is to extend this result to any real abelian $2$-extension over the field of rational numbers. So using genus theory, units of biquadratic number fields and norm residue symbol, we prove that for every real abelian $2$-extension over $\mathbb{Q}$ in which eight primes...

Let $𝕜=\mathbb{Q}\left(\sqrt{2},\sqrt{d}\right)$ be an imaginary bicyclic biquadratic number field, where $d$ is an odd negative square-free integer and ${𝕜}_2^{\left(2\right)}$ its second Hilbert $2$-class field. Denote by $G=\mathrm{Gal}({𝕜}_2^{\left(2\right)}/𝕜)$ the Galois group of ${𝕜}_2^{\left(2\right)}/𝕜$. The purpose of this note is to investigate the Hilbert $2$-class field tower of $𝕜$ and then deduce the structure of $G$.

We study the capitulation of $2$-ideal classes of an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $𝕜=\mathbb{Q}(\sqrt{2pq},\mathrm{i})$, where $\mathrm{i}=\sqrt{-1}$ and $p\equiv -q\equiv 1(mod4)$ are different primes. For each of the three quadratic extensions $𝕂/𝕜$ inside the absolute genus field ${𝕜}^{(*)}$ of $𝕜$, we determine a fundamental system of units and then compute the capitulation kernel of $𝕂/𝕜$. The generators of the groups ${\mathrm{Am}}_s(𝕜/F)$ and $\mathrm{Am}(𝕜/F)$ are also determined from which we deduce that ${𝕜}^{(*)}$ is smaller than the relative genus field ${(𝕜/\mathbb{Q}\left(\mathrm{i}\right))}^{*}$. Then we prove that each...

From a paper by A. Angelakis and P. Stevenhagen on the determination of a family of imaginary quadratic fields $K$ having isomorphic absolute Abelian Galois groups $A_K$, we study any such issue for arbitrary number fields $K$. We show that this kind of property is probably not easily generalizable, apart from imaginary quadratic fields, because of some $p$-adic obstructions coming from the global units of $K$. By restriction to the $p$-Sylow subgroups of $A_K$ and assuming the Leopoldt conjecture we show that the...