Symbole de Legendre
En théorie des nombres, le symbole de Legendre est une fonction de deux variables entières à valeurs dans {–1, 0, 1}, qui caractérise les résidus quadratiques. Il a été introduit par Adrien-Marie Legendre<ref>A. M. Legendre, Essai sur la théorie des nombres, 1798, Modèle:P..</ref>, au cours de ses efforts pour démontrer la loi de réciprocité quadratique.
Définition
Modèle:Énoncé Il ne dépend donc que de la classe de Modèle:Math modulo Modèle:Mvar.
Le cas particulier Modèle:Math est inclus dans cette définition mais sans intérêt : <math>\left(\frac a2\right)</math> vaut 0 si Modèle:Mvar est pair et 1 sinon.
Propriétés du symbole de Legendre
Critère d'Euler
Modèle:Article détaillé Si Modèle:Mvar est un nombre premier différent de 2 alors, pour tout entier Modèle:Mvar :
Multiplicativité
L'application <math>a\mapsto\left(\frac ap\right)</math> est complètement multiplicative (c'est une conséquence immédiate du critère d'Euler).
Lemme de Gauss
Modèle:Article détaillé Soient Modèle:Mvar un nombre premier impair et Modèle:Mvar un entier non divisible par Modèle:Mvar. Alors
- <math>\left(\frac ap\right) = (-1)^n</math>,
où Modèle:Mvar est défini de la façon suivante :
Loi de réciprocité quadratique
- Si Modèle:Mvar est un autre nombre premier impair alors <math>\left(\frac qp\right) = \left(\frac pq\right)(-1)^{\frac{(p-1)(q-1)}4}.</math>
- <math>\left(\frac{-1}p\right)=(-1)^{\frac{p-1}2}\equiv p\mod4.</math>
- <math>\left(\frac2p\right)=(-1)^{\tfrac{p^2-1}8}=
\begin{cases}~~1\text{ si }p\equiv\pm1\mod8\\-1\text{ si }p \equiv\pm3\mod8.\end{cases}</math>
Généralisation du symbole de Legendre
Le symbole de Jacobi est une généralisation du symbole de Legendre. Avec le symbole de Legendre <math>\left(\frac ab\right)</math>, l'entier <math>b</math> est nécessairement premier ; en revanche, le symbole de Jacobi permet de considérer le cas où <math>b</math> est un nombre composé.
Analyse harmonique sur (ℤ/pℤ)*
Modèle:Article détaillé La multiplicativité complète du symbole de Legendre Modèle:Supra montre qu'il définit, pour p fixé, un morphisme de (ℤ/pℤ)* dans {–1, 1} ; c'est donc un caractère de Dirichlet. Cette remarque rend possible l'utilisation des outils de l'analyse harmonique sur un groupe fini. Ces outils sont à la source de nombreuses démonstrations en arithmétique. On peut citer par exemple le calcul des sommes ou des périodes de Gauss, utilisées dans l'une des démonstrations de la loi de réciprocité quadratique.
