Carrés de Z/qZ

Carrés de Z/qZ
Dans tout le texte, q est un nombre premier différent de 2. On note respectivement
2
)/(et /  ZZZZ qq
le groupe multiplicatif des classes non nulles modulo p et celui des carrés de ces classes.
1.a. Discuter, suivant dans Z/qZ, du nombre de solutions de l'équation
.
2
En déduire
le nombre d'éléments de
2
)/(  ZZ q
.
b. Montrer que appartient à
2
)/(  ZZ q
si et seulement si il vérifie
1
21
q
.
(On admettra qu'il existe au plus
21q
solutions à cette équation.)
2. Montrer que q est congru à 1 ou à -1 modulo 4.
b. Montrer l'équivalence entre les trois propriétés suivantes.
(i)
)4(1q
(ii)
.)/(1 2  ZZ q
(iii) Il existe un entier p tel que q divise
.1
2p
3. Montrer que, si q est somme de 2 carrés, il est congru à 1 modulo 4.
4. Montrer qu'il existe une infinité de nombres premiers congrus à -1 modulo 4.
(considérer
14 21 
n
qqq 
où
n
qqq ,,, 21 
est la liste des plus petits nombres premiers
congrus à -1 modulo 4.)
C
Co om mm me en nt ta ai ir re e
 La propriété admise vient de ce qu'un polynôme de degré k sur le corps Z/qZ admet au
plus k solutions.
 Cette partie est utilisée dans Fractions continues et sommes de 2 carrés (niveau 3). On
démontre (à l'aide de fractions continues) qu'un nombre premier congru à 1 modulo 4 est une
somme de 2 carrés. On en déduit la caractérisation des entiers somme de deux carrés et
l'existence d'une infinité de nombres premiers congrus à 1 modulo 4.
 Un problème de représentation à l'aide de carrés (de polynômes) est sous-jacent à Un
algorithme d'Abel (niveau 1).
S
So ol lu ut ti io on n
1.a. L'équation n'a pas de solution lorsque n'est pas un carré, elle en a une seule lorsque
est la classe nulle et deux (opposées) lorsque est un carré.
Par définition, l'application
2
2
)/(/
 ZZZZ qq
est surjective et chaque carré admet exactement deux antécédents. Cette classification des
éléments de
ZZ q/
montre que le nombre d'éléments de
2
)/(  ZZ q
est
21q
.
b. Les carrés non nuls forment un groupe fini (pour la multiplication des classes), l'ordre
d'un élément est un diviseur du nombre d'éléments du groupe (l'élément unité est la classe de
1).

Ainsi, tout carré non nul vérifie
1
21
q
et il y a autant de carrés que de solutions
possibles. L'ensemble des carrés et celui des solutions se confondent.
2.a. Evident pour tout nombre impair.
b. Remarquons d'abord l'équivalence immédiate entre (ii) et (iii). D'autre part,
,)/(1et pair est
21
),4(1 si 2 ZZ q
q
q
.)/(1et impair est
21
),4(1),4(1 si 2
ZZ q
q
qq
3. Comme
22 baq 
est impair, il est impossible que a et b soient simultanément pairs
ou impairs. En supposant
1+2=et 2 vbua 
, on obtient
1)(4 22  vvuq
.
4. Le nombre
14 21 
n
qqq 
est congru à -1 modulo 4, un de ses diviseurs premiers doit
l'être également (si tous étaient congrus à 1 leur produit le serait aussi). Ce diviseur ne peut
figurer sur la liste des qi qui est obligatoirement incomplète. Ainsi, l'ensemble des nombres
premiers congrus à -1 modulo 4 est infini.