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

Soit $c\>1$, $p$ un nombre premier et $𝒜$ une partie de $\mathbb{Z}/p\mathbb{Z}$ de cardinal supérieur à $c\sqrt{p}$ telle que pour tout sous-ensemble non vide $ℬ$ de $𝒜$, on a ${\sum }_{b\in ℬ}b\ne 0$. On montre qu’il existe $s$ premier à $p$ tel que l’ensemble $s.𝒜$ est très concentré autour de l’origine et qu’il est presque entièrement composé d’éléments de partie fractionnaire positive. Plus précisément, on a $$\sum _{a\in 𝒜}∥\frac{sa}{p}∥\<1+O(p^{-1/4}lnp)\text{et}\sum _{\begin{array}{c}a\in 𝒜,\\ \{sa/p\}\ge 1/2\end{array}}∥\frac{sa}{p}∥=O(p^{-1/4}lnp).$$ On montre également que les termes d’erreurs ne peuvent être remplacés par $o\left(p^{-1/2}\right)$.

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 $f$ un revêtement ramifié de ${𝐏}_1$ défini sur $\overline{𝐐}$. Lorsqu’on s’intéresse aux propriétés de rationalité de $f$ sur les les corps de nombres, on peut soit exiger que la base soit ${𝐏}_1$, soit l’autoriser à être une courbe de genre $0$. Nous comparons ces deux points de vue pour les revêtements non ramifiés en dehors de $\left\{0,1,\infty \right\}$

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

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