Loi de réciprocité quadratique - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Exemples

Avec des nombres premiers

Par exemple, si p vaut 11 et q vaut 19, il est possible de ramener le calcul de \left(\frac{11}{19}\right) à celui de  -\left(\frac{19}{11}\right) , qui est égal à  -\left(\frac{8}{11}\right) (puisque 19\equiv 8\ (11) ). Pour aller plus loin, nous avons besoin de propriétés supplémentaires qui permettent de calculer  \left(\frac{2}{q}\right) et  \left(\frac{-1}{q}\right) explicitement, par exemple :

\left(\frac{-1}{q}\right) = (-1)^{\frac{q-1}{2}}

En utilisant cela, nous ramenons successivement le calcul de  -\left(\frac{8}{11}\right) à  -\left(\frac{-3}{11}\right) (car 8\equiv -3\ (11) ), puis à  -\left(\frac{11}{3}\right) et enfin à -\left(\frac{2}{3}\right) , ce qui termine le calcul, puisque 2 n'est pas résidu quadratique modulo 3. -\left(\frac{2}{3}\right)=-(-1)= 1 . Conclusion : Le résultat étant 1, on en déduit que 11 est résidu quadratique modulo 19. D'ailleurs, on le vérifie immédiatement : 7^2 =49=38+11 \equiv 11 \pmod{19}

Cas général

Déterminons si 219 est un carré modulo 383. Les propriétés du symbole de Legendre montrent que :

\left(\frac{219}{383}\right)= \left(\frac{3}{383}\right)\left(\frac{73}{383}\right)

Une première application de la loi de réciprocité quadratique montre que :

\left(\frac{219}{383}\right)= -\left(\frac{383}{3}\right)\left(\frac{383}{73}\right)

En appliquant encore la loi de réciprocité quadratique et les propriétés du symbole de Legendre, on obtient :

\left(\frac{219}{383}\right)=-\left(\frac{-1}{3}\right)\left(\frac{18}{73}\right) = -\left(\frac{-1}{3}\right) \left(\frac{2}{73}\right) \left(\frac{9}{73}\right) = \left(\frac{2}{73}\right)=(-1)^{\left(\frac{73^2-1}{8}\right)}=(-1)^{666}=1

Outil de démonstration

Si p est un nombre premier, 5 est-il un carré modulo p ? La loi de réciprocité quadratique nous permet d'affirmer que cela arrive lorsque p est lui-même un carré modulo 5, c'est-à-dire quand p\equiv \pm 1 \pmod{5}

Généralisations

Il existe des lois de réciprocité cubique, biquadratique (c'est-à-dire de degré 4) et ainsi de suite. Cependant la véritable généralisation de toutes ces lois, généralisation monumentale, est la théorie des corps de classes.

Le lemme de Gauss concerne les propriétés des résidus quadratiques et sert dans la démonstration établie par Gauss de la loi de réciprocité quadratique.

Page générée en 0.099 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise