Lemme de Gauss (théorie des nombres)

Le lemme de Gauss en théorie des nombres donne une condition nécessaire et suffisante pour qu'un entier soit un résidu quadratique modulo un nombre premier. Il a été introduit et démontré par Gauss dans ses preuves de la loi de réciprocité quadratique^[1]^,^[2] et est utilisé dans plusieurs des nombreuses preuves ultérieures de cette loi^[3].

Énoncé[modifier | modifier le code]

Soient $p$ un nombre premier impair et $a$ un entier non divisible par $p$ . Alors

\left({\frac {a}{p}}\right)=(-1)^{n}

,

où $\left({\frac {a}{p}}\right)$ est le symbole de Legendre et $n$ est défini de la façon suivante :

On considère les entiers $a,2a,3a,\dots ,{\frac {p-1}{2}}a$ et leurs plus petits résidus positifs ${\bmod {p}}$ .
Parmi ces $(p-1)/2$ entiers distincts compris entre $1$ et $p-1$ , $n$ est le nombre de ceux qui sont plus grands que $p/2$ .

ou encore, de façon équivalente :

$n$ est le nombre d'entiers négatifs parmi $r(a),r(2a),\ldots ,r\left({\frac {p-1}{2}}a\right)$ , en désignant par $r(k)$ , pour tout entier $k$ , l'unique entier de l'intervalle $\left]-p/2,p/2\right[$ congru à $k{\bmod {p}}$ .

Application[modifier | modifier le code]

La deuxième « loi complémentaire » de la loi de réciprocité quadratique se déduit du lemme de Gauss^[4].

Preuve[modifier | modifier le code]

Une preuve assez simple de ce lemme^[5] utilise le même principe que l'une des démonstrations du petit théorème de Fermat, en évaluant de deux façons le produit modulo p de ces (p – 1)/2 entiers.

Autre preuve, par la théorie du transfert[modifier | modifier le code]

De par sa définition, l'application qui à a associe (–1)ⁿ est un morphisme de transfert du groupe abélien G = (ℤ/pℤ)* dans le sous-groupe Q = {–1, +1}. D'après le théorème d'évaluation du transfert, on en déduit que l'image de a par ce morphisme est égale à a^m où m désigne l'indice de Q dans G, c'est-à-dire m = (p – 1)/2, ce qui conclut.

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu des articles intitulés en anglais « Gauss lemma » (voir la liste des auteurs) et « Gauss's lemma (number theory) » (voir la liste des auteurs).

↑ (la) C. F. Gauss, « Theorematis arithmetici demonstratio nova », Comment. Soc. regiae sci. Göttingen, XVI, 1808.
↑ (la) C. F. Gauss, « Theorematis fundamentalis in doctrina de residuis quadraticis demonstrationes et amplicationes novae », 1818.
↑ (en) Franz Lemmermeyer, Reciprocity Laws : from Euler to Eisenstein, Berlin/New York, Springer, 2000, 487 p. (ISBN 978-3-540-66957-9, lire en ligne), chap. 1.
↑ Voir par exemple (en) Alan Baker, A Concise Introduction to the Theory of Numbers, CUP, 1985 (lire en ligne), p. 29, repris dans le lien ci-dessous vers la leçon « Introduction à la théorie des nombres » sur Wikiversité.
↑ Voir par exemple (en) Tom M. Apostol, Introduction to Analytic Number Theory, Springer, 1976, 340 p. (ISBN 978-0-387-90163-3, lire en ligne), p. 182-183, repris dans le lien ci-dessous vers la leçon « Introduction à la théorie des nombres » sur Wikiversité.

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :

Lemme de Gauss et loi de réciprocité quadratique, sur Wikiversity

Lemme de Zolotarev

Arithmétique et théorie des nombres

[1] (la) C. F. Gauss, « Theorematis arithmetici demonstratio nova », Comment. Soc. regiae sci. Göttingen, XVI, 1808.

[2] (la) C. F. Gauss, « Theorematis fundamentalis in doctrina de residuis quadraticis demonstrationes et amplicationes novae », 1818.

[3] (en) Franz Lemmermeyer, Reciprocity Laws : from Euler to Eisenstein, Berlin/New York, Springer, 2000, 487 p. (ISBN 978-3-540-66957-9, lire en ligne), chap. 1.

[4] Voir par exemple (en) Alan Baker, A Concise Introduction to the Theory of Numbers, CUP, 1985 (lire en ligne), p. 29, repris dans le lien ci-dessous vers la leçon « Introduction à la théorie des nombres » sur Wikiversité.

[5] Voir par exemple (en) Tom M. Apostol, Introduction to Analytic Number Theory, Springer, 1976, 340 p. (ISBN 978-0-387-90163-3, lire en ligne), p. 182-183, repris dans le lien ci-dessous vers la leçon « Introduction à la théorie des nombres » sur Wikiversité.

[1]

[2]

[3]

[4]

[5]

v · m Travaux de Carl Friedrich Gauss
Algèbre	Lemme de Gauss Élimination de Gauss-Jordan Méthode de Gauss-Seidel Somme de Gauss Théorème de d'Alembert-Gauss
Analyse	Algorithme de Gauss-Newton Théorème de Gauss-Lucas Fonction gaussienne Intégrale de Gauss Méthodes de quadrature de Gauss
Théorie des nombres	Opérateur de Gauss-Kuzmin-Wirsing Constante de Gauss Lemme de Gauss Entier de Gauss Loi de réciprocité quadratique
Statistiques	Théorème de Gauss-Markov Fonction de Gauss
Géométrie	Formule de Gauss-Bonnet Équations de Gauss-Codazzi Courbure de Gauss
Physique	Théorème de Gauss gravitationnel Théorème de Gauss en électromagnétisme Faisceau gaussien Système d'unités Gaussiennes