The Steinitz class of a number field extension $K/k$ is an ideal class in the ring of integers ${𝒪}_k$ of $k$, which, together with the degree $[K:k]$ of the extension determines the ${𝒪}_k$-module structure of ${𝒪}_K$. We denote by ${\mathrm{R}}_t(k,G)$ the set of classes which are Steinitz classes of a tamely ramified $G$-extension of $k$. We will say that those classes are realizable for the group $G$; it is conjectured that the set of realizable classes is always a group.In this paper we will develop some of the ideas contained in [7] to obtain some...

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.