Niveau : 2 Orange
Les résidus quadratiques
1 Racine carrée dans Z/pZ(ppremier 6= 2)
Soit pun nombre premier impair et soit aun entier. Le fait que asoit un carré modulo pne dépend que
de la classe de amodulo p. Nous allons donc nous placer dans le corps Z/pZet étudier les nombres
qui sont des carrés non nuls (autrement dit les résidus quadratiques modulo p). Soit αun générateur
du groupe multiplicatif cyclique (Z/pZ)∗. Ainsi :
(Z/pZ)∗={1, α, α2,··· , αp−2}.
Dans un premier temps nous allons montrer que la moitié exactement des éléments de (Z/pZ)∗sont
des résidus quadratiques.
Théorème 1.1 Soit pun nombre premier impair. Un générateur αde (Z/pZ)∗n’est pas un résidu
quadratique. De plus dans (Z/pZ)∗
αp−1
2=−1.
Preuve. On sait d’après le petit théorème de Fermat que αp−1= 1. On en déduit que αp−1
2=±1.
Mais comme αest, par définition, d’ordre p−1, on a nécessairement αp−1
2=−1. Si αétait un carré
on aurait α=β2et donc on aurait αp−1
2=βp−1= 1, ce qui n’est pas.
Théorème 1.2 Soit pun nombre premier impair et soit αun générateur de (Z/pZ)∗. Dans (Z/pZ)∗
les résidus quadratiques sont les puissances paires de α. Ainsi la moitié des p−1éléments de (Z/pZ)∗
sont des résidus quadratiques.
Preuve. Il est clair qu’une puissance paire α2kde αadmet deux racines carrées ±αk. Si maintenant
on prend un nombre de la forme α2k+1 il ne peut pas être de la forme u2. Sinon on aurait α=u2
α2k,
c’est-à-dire que αserait un carré, ce qui n’est pas.
Définition 1.3 Soit pun nombre premier impair et soit aun entier. Nous définissons le symbole de
Legendre de apar :
a
p=
0si a est divisible par p
1si a est un résidu quadratique modulo p
−1si a n’est pas divisible par p et n’est pas un résidu quadratique
Remarque: Le symbole de Legendre de ane dépend que de la classe de amodulo p:
a
p=amod p
p.
1