We determine all cyclic extensions $L$ of prime degree $\ell$ over a $\ell$-regular number field $K$ containing the $\ell$-roots of unity which are also $l$-regular. We classify these extensions according to the ramification index of the wild place $ℒ$ in $L/K$ and to the $\ell$-valuation of the relative class number $h_{L/K}$ (which is the quotient $h_L/h_K$ of the ordinary class numbers of $L$ and $K$). We study the case where the $\ell$ is odd prime, since the even case was studien by R. Berger. Our genus theory methods rely essentially...

We give exhaustive list of biquadratic fields $K=\mathbb{Q}(i,\sqrt{m})$ and $K=\mathbb{Q}(\sqrt{2},\sqrt{m})$ without $2$-exotic symbol, i.e. for which the $2$-rank of the Hilbert kernel (or wild kernel) is zero. Such $K=\mathbb{Q}(i,\sqrt{m})$ are logarithmic principals [J3]. We detail an exemple of this technical numerical exploration and quote the family of theories and results we utilize. The $2$-rank of tame, regular and wild kernel of $K$-theory are connected with local and global problem of embedding in a $Z_2$-extension. Global class field theory can describe the $2$-rank...

Soit $k$ un corps de nombres et soient $T$ et $S$ deux ensembles finis de places de $k$ ; on peut définir la tour de Hilbert de $k$, $T$-ramifiée modérée, $S$-décomposée. Ceci permet d’obtenir, par exemple, la notion de tour de Hilbert au sens classique et de tour de Hilbert au sens restreint. On donne alors d’une part, un critère de finitude de cette nouvelle tour, critère construit à partir d’un résultat d’Odlyzko, puis d’autre part deux critères de non-finitude, le premier étant une conséquence...

Let $K=k\left(\sqrt{-p\epsilon \sqrt{l}}\right)$ with $k=\mathbb{Q}\left(\sqrt{l}\right)$ where $l$ is a prime number such that $l=2$ or $l\equiv 5mod8$, $\epsilon$ the fundamental unit of $k$, $p$ a prime number such that $p\equiv 1mod4$ and ${\left(\frac{p}{l}\right)}_4=-1$, $K_2^{\left(1\right)}$ the Hilbert $2$-class field of $K$, $K_2^{\left(2\right)}$ the Hilbert $2$-class field of $K_2^{\left(1\right)}$ and $G=Gal(K_2^{\left(2\right)}/K)$ the Galois group of $K_2^{\left(2\right)}/K$. According to E. Brown and C. J. Parry [7] and [8], $C_{2,K}$, the Sylow $2$-subgroup of the ideal class group of $K$, is isomorphic to $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$, consequently $K_2^{\left(1\right)}/K$ contains three extensions $F_i/K$ $(i=1,2,3)$ and the tower of the Hilbert $2$-class field of $K$ terminates at either $K_2^{\left(1\right)}$ or $K_2^{\left(2\right)}$. In this...

Dans son article de 1971, essentiellement consacré aux extensions quaternioniennes de degré $8$, J. Martinet prouve, au passage, l’existence de bases normales pour les entiers des extensions modérément ramifiées de $\mathbb{Q}$ de groupe $D_4$. On en donne une construction en reprenant les méthodes de sa thèse.

Soient $p_1,p_2,...,p_n$ des nombres premiers distincts $\not\equiv -1\left(mod4\right)$, $d:=p_1{p}_2\cdots p_n$ et $k_n=\mathbf{Q}(\sqrt{p_1},\sqrt{p_2},...,\sqrt{p_n})$. On peut approcher le $2$-rang du groupe de classes des corps $k_n$ en étudiant celui du corps $k_m\left(\sqrt{d}\right)$ pour un entier $m\<n$. Dans cet article, on traite le cas où $m=2$ ou $3$. Comme application, on déduit que le rang du $2$-groupe de classes de $k_4$ est au moins égal à deux (on savait déjà grâce à un résultat de Fröhlich que le groupe de classes de $k_4$ est toujours d’ordre pair). On en déduit également la liste de tous les corps multiquadratiques $k_n$ ayant un $2$-groupe...

Soit $a$ un entier $\ge 3$. Pour $\alpha =(a+\sqrt{a^2-4})/2$ et $\beta =(a-\sqrt{a^2-4})/2$, nous considérons la suite de Lucas ${𝑢}_{𝑛}=({\alpha }^{𝑛}-{\beta }^{𝑛})/(\alpha -\beta )$. Nous montrons que, pour $a\ge 4,{𝑢}_{𝑛}$ n’est ni un carré, ni le double, ni le triple d’un carré, ni six fois un carré pour $n\>3$ sauf si $a=338$ et $n=4$.