We give an improvement of a result of J. Martinet on Stickelberger${}^{\prime }$s congruences for the absolute norms of relative discriminants of number fields, by using classical arguments of class field theory.

Suite aux travaux de R. Schoof et de H.W. Lenstra–R. Schoof, nous donnons une méthode permettant de trouver, pour tout $p$ premier ne divisant pas $[F:\mathbb{Q}]$, un système de générateurs du $p$-groupe des classes relatives du corps abélien imaginaire $F$, ceci avec la seule connaissance de nombres de Bernoulli $B_1({\psi }^{-1})$. Des exemples numériques sont donnés pour $p=3$ et $p=5$, dans le cadre des extensions cycliques de degré 2 et 4. Le premier exemple de $p$-groupe des classes possédant une $\chi$-composante non monogène (pour un caractère...

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

Soit $\mathbf{H}\left(K\right)$ le $\ell$-groupe des classes d’idéaux d’une extension $K/k$ cyclique de degré premier $\ell$ et soit ${\mathbf{H}}_i=\mathrm{Ker}(\sigma -1{)}^i$ ($\sigma$ générateur de $\mathrm{Gal}(K/k)$). Un procédé généralisant la formule de Chevalley (formule des classes “ambiges”) permet de déterminer ${\mathbf{H}}_{i+1}$ et l’ordre de ${\mathbf{H}}_{i+1}/{\mathbf{H}}_i$ à partir de ${\mathbf{H}}_i$. On obtient donc une méthode qui permet, d’une part, une détermination effective de la structure de $\mathbf{H}\left(K\right)$ et, d’autre part, une étude générale des problèmes de $\ell$-classes d’idéaux.

Soit $\mathbf{H}\left(K\right)$ le $\ell$-groupe des classes d’idéaux d’une extension $K/k$ cyclique de degré premier $\ell$ et soit ${\mathbf{H}}_i=\mathrm{Ker}(\sigma -1{)}^i$ ($\sigma$ générateur de $\mathrm{Gal}(K/k)$). Un procédé généralisant la formule de Chevalley (formule des classes “ambiges”) permet de déterminer ${\mathbf{H}}_{i+1}$ et l’ordre de ${\mathbf{H}}_{i+1}/{\mathbf{H}}_i$ à partir de ${\mathbf{H}}_i$. On obtient donc une méthode qui permet, d’une part, une détermination effective de la structure de $\mathbf{H}\left(K\right)$ et, d’autre part, une étude générale des problèmes de $\ell$-classes d’idéaux.

Soient $k$ le corps quadratique réel $\mathbf{Q}\left(\sqrt{d}\right)$ (respectivement le corps biquadratique $\mathbf{Q}(\sqrt{d},\sqrt{-3})$), $d$ un entier positif sans facteur carré, $K$ une extension cubique cyclique non ramifiée de $k$, diédrale sur $\mathbf{Q}$ totalement réelle, (respectivement diédrale sur $\mathbf{Q}\left(\sqrt{-3}\right)$.)On constate qu’on a deux structures possibles pour le groupe des unités $U_K$ de $K$, notées $alpha$ et $delta$.

Soient $p_1\equiv p_2\equiv 1(mod8)$ des nombres premiers tels que, $\left(\frac{p_1}{p_2}\right)=-1$ et $\left(\frac{2}{a+b}\right)=-1$, où $p_1{p}_2=a^2+b^2$. Soient $i=\sqrt{-1}$, $d=p_1{p}_2$, $𝕜=\mathbb{Q}(\sqrt{d},i)$, ${𝕜}_2^{\left(1\right)}$ le 2-corps de classes de Hilbert de $𝕜$ et ${𝕜}^{(*)}=\mathbb{Q}(\sqrt{p_1},\sqrt{p_2},i)$ le corps de genres de $𝕜$. La 2-partie $C_{𝕜,2}$ du groupe de classes de $𝕜$ est de type $(2,2,2)$, par suite ${𝕜}_2^{\left(1\right)}$ contient sept extensions quadratiques non ramifiées ${𝕂}_j/𝕜$ et sept extensions biquadratiques non ramifiées ${𝕃}_j/𝕜$. Dans ce papier on s’intéresse à déterminer ces quatorze extensions, le groupe $C_{𝕜,2}$ et à étudier la capitulation des 2-classes d’idéaux de $𝕜$ dans ces extensions.

1. Introduction. Soit L un corps de nombres de degré n sur le corps ℚ des nombres rationnels de discriminant $D=D_{L/\mathbb{Q}}$. Si l’entier D n’est pas un carré, on note d le discriminant du corps quadratique ℚ(√D), sinon on pose d=1. Soit p un nombre premier non-ramifié dans L de sorte que le symbole des restes quadratiques (D/p) soit non-nul. Un théorème déjà ancien dû à A. Pellet ([3, page 245]), L. Stickelberger et G. Voronoï montre que la parité du nombre g d’idéaux premiers de L au-dessus de p est déterminée...