Somme de Gauss

Modèle:Voir homonymes Modèle:Confusion En mathématiques, et plus précisément en arithmétique modulaire, une somme de Gauss est un nombre complexe dont la définition utilise les outils de l'analyse harmonique sur un groupe abélien fini sur le corps fini ℤ/pℤ où p désigne un nombre premier impair et ℤ l'ensemble des entiers relatifs.

Elles ont été introduites par le mathématicien Carl Friedrich Gauss dans ses Disquisitiones arithmeticae, parues en 1801.

Modèle:Refnec On peut citer par exemple une démonstration de la loi de réciprocité quadratique.

Définition

Dans cet article, p désigne un nombre premier impair, F_p le corps fini ℤ/pℤ et F_p* le groupe multiplicatif de ses éléments non nuls.

En termes de transformée de Fourier, on peut considérer l'application qui à χ associe G(χModèle:-1, ψ) comme la transformée de Fourier du prolongement de χ à F_p par l'égalité χ(0) = 0 et l'application qui à ψ associe G(χModèle:-1, ψ) comme la transformée de Fourier de la restriction de ψ à F_p*.

Propriétés

L'analyse harmonique permet de nombreux calculs sur les sommes de Gauss ; ce paragraphe propose quelques exemples.

• Si m est un entier premier à p, alors$G(\chi ,{\psi }^m)=\frac{1}{\chi (m)}G(\chi ,\psi ).$En effet, la définition d'une somme de Gauss implique :$G(\chi ,{\psi }^m)=\sum _{k\in {𝔽}_p^{*}}\chi (k)\psi (mk).$Par le changement de variable u = mk, on a donc bien :$G(\chi ,{\psi }^m)=\sum _{u\in {𝔽}_p^{*}}\chi (m{)}^{-1}\chi (u)\psi (u)=\frac{1}{\chi (m)}G(\chi ,\psi ).$
• Si les deux caractères χ et ψ sont non triviaux, alors$G(\chi ,\psi )G({\chi }^{-1},\psi )=\chi (-1)p.$En effet, la définition d'une somme de Gauss implique :$G(\chi ,\psi )G({\chi }^{-1},\psi )=\sum _{k,l\in {𝔽}_p^{*}}\chi (k)\psi (k)\chi (l{)}^{-1}\psi (l)=\sum _{k,l\in {𝔽}_p^{*}}\chi (k{l}^{-1})\psi (k+l).$Par le changement de variable u = klModèle:-1, on obtient :$G(\chi ,\psi )G({\chi }^{-1},\psi )=\sum _{u\in F_p^{*}}\chi (u)(-1+\sum _{l\in {𝔽}_p}\psi ((u+1)l)).$Or la somme des valeurs du caractère additif l ↦ ψ((u + 1)l) est nulle sauf lorsque ce caractère est trivial, c'est-à-dire lorsque u = –1. On en déduit :$G(\chi ,\psi )G({\chi }^{-1},\psi )=(-\sum _{u\in {𝔽}_p^{*}}\chi (u))+\chi (-1)p.$De même, la somme des valeurs du caractère multiplicatif non trivial Modèle:Math est nulle, ce qui termine la démonstration.

Cette seconde propriété possède le corollaire immédiat suivant :

Applications

Loi de réciprocité quadratique

Modèle:Article détaillé La loi s'exprime de la manière suivante si q est aussi un nombre premier impair, distinct de p :

$\left(\frac{p}{q}\right)\left(\frac{q}{p}\right)=(-1{)}^{\frac{(p-1)(q-1)}{4}}.$

Somme quadratique de Gauss

Plus généralement, Gauss a démontré en 1801 les égalités suivantes au signe près pour tout entier n > 0 :

$\sum _{k=0}^{n-1}\exp \left(\frac{2\pi \mathrm{i}{k}^2}{n}\right)=\{\begin{array}{cc}(1+\mathrm{i})\sqrt{n}& \mathrm{s}\mathrm{i}n\equiv 0mod4\\ \sqrt{n}& \mathrm{s}\mathrm{i}n\equiv 1mod4\\ 0& \mathrm{s}\mathrm{i}n\equiv 2mod4\\ \mathrm{i}\sqrt{n}& \mathrm{s}\mathrm{i}n\equiv 3mod4,\end{array}$

conjecturant alors que même les signes étaient exacts pour ce choix particulier ω = Modèle:Math, et ce n'est qu'au bout de quatre ans d'efforts incessants qu'il est parvenu à résoudre cette conjectureModèle:,Modèle:,.

Voir aussi

Bibliographie

• Modèle:Demazure1
• Modèle:Serre1
• André Warusfel, Structures algébriques finies, Hachette, 1971
• Gabriel Peyré, L'algèbre discrète de la transformée de Fourier, Éditions Ellipses, 2004 Modèle:ISBN

Articles connexes

• Somme d'Eisenstein
• Somme exponentielle
• Théorème de Stickelberger

Liens externes

• Lemme sur la somme de Gauss par C. Banderier de l'université Paris-XIII, 1998
• Analyse harmonique sur les groupes finis commutatifs par A. Bechata
• Modèle:Ouvrage