Soit $C$ la courbe projective lisse et irréductible, définie sur $Q$, et dont un modèle affine est donné par $y^2=x^5-1$. On désigne par $\infty$ l’unique point de $C$ qui n’est pas contenu dans cette partie affine. Soit $J$ la jacobienne de $C$ et soit $\phi :C^2⟶J$ le morphisme associant à chaque couple $(\xi ,\eta )$ de points de $C$ la classe du diviseur $\left[\xi \right]+\left[\eta \right]-2\left[\infty \right]$ dans Pic${}_{0}C$. Soient $u,v,f$ les trois fonctions rationnelles sur $J$ définies par $$\begin{array}{cc}\hfill u\circ \phi (\xi ,\eta )& =x\left(\xi \right)+x\left(\eta \right),\hfill \\ \hfill v\circ \phi (\xi ,\eta )& =x\left(\xi \right)x\left(\eta \right),\hfill \\ \hfill f& =-u+v+1\hfill \end{array}$$ Le but de cet article est de montrer que pour tout point $P$ de $3$-division non nul...

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

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

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

Cet article a pour objectif de présenter un algorithme permettant de montrer, à l’aide d’un ordinateur, l’euclidianité pour la norme du sous-corps réel maximal $K$ du corps cyclotomique $\mathbb{Q}\left({\zeta }_{32}\right)$ où ${\zeta }_{32}=e^{i\pi /16}$, corps totalement réel de degré $8$ et de discriminant $2147483648$, et plus précisément de prouver que $M\left(K\right)=\frac{1}{2}$. La méthode utilisée permet par ailleurs de prouver que pour $K=\mathbb{Q}({\zeta }_{16}+{\zeta }_{16}^{-1})$, on a également $M\left(K\right)=\frac{1}{2}$ (conjecture de H. Cohn et J. Deutsch). Les résultats relatifs à ce cas sont exposés en fin d’article.