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

Let $p\equiv 1(mod8)$ and $q\equiv 3(mod8)$ be two prime integers and let $\ell \notin \{-1,p,q\}$ be a positive odd square-free integer. Assuming that the fundamental unit of $\mathbb{Q}\left(\sqrt{2p}\right)$ has a negative norm, we investigate the unit group of the fields $\mathbb{Q}(\sqrt{2},\sqrt{p},\sqrt{q},\sqrt{-\ell })$.

A number field $K$, with ring of integers ${𝒪}_K$, is said to be a Pólya field if the ${𝒪}_K$-algebra formed by the integer-valued polynomials on ${𝒪}_K$ admits a regular basis. In a first part, we focus on fields with degree less than six which are Pólya fields. It is known that a field $K$ is a Pólya field if certain characteristic ideals are principal. Analogously to the classical embedding problem, we consider the embedding of $K$ in a Pólya field. We give a positive answer to this embedding problem by showing that...

A number field $K$, with ring of integers ${𝒪}_K$, is said to be a Pólya field when the ${𝒪}_K$-algebra formed by the integer-valued polynomials on ${𝒪}_K$ admits a regular basis. It is known that such fields are characterized by the fact that some characteristic ideals are principal. Analogously to the classical embedding problem in a number field with class number one, when $K$ is not a Pólya field, we are interested in the embedding of $K$ in a Pólya field. We study here two notions which can be considered as measures...