<page> <title>Somme de Gauss</title> <id>209993</id> <revision> <id>29224297</id> <timestamp>2008-05-03T11:33:34Z</timestamp> <contributor> <username>Alecs.bot</username> <id>265428</id> </contributor> <minor /> <comment>robot Ajoute: [[zh:高斯和]]</comment> <text xml:space="preserve">En [[mathématiques]], et plus précisément en [[arithmétique modulaire]], la '''somme de Gauss''' est un [[nombre complexe]]. La '''Somme de Gauss''' utilise les outils de l'[[analyse harmonique sur un groupe abélien fini]] sur le [[corps fini]] [[Anneau Z/nZ|''Z''/p''Z'']] où ''p'' désigne un [[nombre premier]] impair et ''Z'' l'ensemble des [[entier relatif|entiers relatifs]]. Elles sont introduites par le mathématicien [[Carl Friedrich Gauss]] <small>([[1777 en science|1777]] - [[1855 en science|1855]])</small> qui les utilise dans ses ''[[Disquisitiones arithmeticae]]'', parues en [[1801 en science|1801]]. Elles sont utilisées pour établir la théorie des [[polynôme cyclotomique|polynômes cylotomiques]] et possèdent de nombreuses applications. 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''<sub>p</sub> le [[corps fini]] isomorphe à ''Z''/p''Z'', ''F''<sub>p</sub><sup>*</sup> son groupe multiplicatif (c'est-à -dire le même ensemble sauf 0, avec la structure de [[Groupe (mathématiques)|groupe]] donnée par la multiplication) et ω désigne une [[Racine de l'unité|racine primitive ''p''-ième de l'unité]], le caractère ψ<sub>m</sub> désigne celui qui, à 1<sub>F</sub> associe ω<sup>m</sup>. :* Soit ψ un [[caractère d'un groupe fini|caractère]] du [[groupe abélien fini|groupe additif]] (''F''<sub>p</sub>, +) et χ un caractère du groupe multiplicatif (''F''<sub>p</sub><sup>*</sup>, .), alors la '''somme de Gauss associée à χ et ψ''' est le nombre complexe, ici noté ''G''(χ, ψ) et défini par : <center><math>G(\chi ,\psi)=\sum_{\bar x \in F_p^*} \chi(x).\psi(x) \quad \text{et}\quad G(\chi ,\psi_n)= \sum_{k=1}^{p-1} \chi (k) \omega^{nk}</math></center> Pour une raison de simplicité, χ et ψ sont aussi considérés comme des fonctions définies sur ''Z'' l'anneau des entiers, avec la convention suivante : <center><math>\forall \bar x \in \mathbb F_p^*,\;\forall x\in \bar x \quad \chi(x) = \chi (\bar x)\;\text{et}\;\psi(x)=\psi(\bar x)\quad ; \quad \forall n \in \mathbb Z \quad \chi(np)=0\;\text{et}\;\psi(np)=\psi(\bar 0)=1</math></center> En terme de [[transformée de Fourier]], on peut considérer l'application qui à χ associe <math>\scriptstyle {G(\chi, \bar \psi)}</math> comme la transformée de Fourier du prolongement de χ à ''F''<sub>p</sub> par l'égalité χ(0) = 0 dans le groupe additif du corps et l'application qui à ψ associe <math>\scriptstyle {G(\bar \chi, \psi)}</math> comme la transformée de Fourier de la restriction de ψ à ''F''<sub>p</sub><sup>*</sup> dans le groupe multiplicatif du corps. ==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 [[nombres premiers entre eux|premier]] avec ''p'', alors l'égalité suivante est vérifiée :'' <center><math> \forall n \in \mathbb Z \quad G(\chi, \psi_{nm})=\overline{\chi(m)} G(\chi,\psi_n) \;</math></center> Ici ''Z'' désigne l'ensemble des [[entier naturel|entiers naturels]] et si ''z'' est un nombre complexe <math>\scriptstyle \bar z</math> désigne son [[conjugué]]. :* ''Si χ et ψ sont deux caractères différents du caractère constant égal à ''un'', alors l'égalité suivante est vérifiée :'' <center><math>G(\chi, \psi).G(\bar \chi, \psi)=\chi(- 1)p \;</math></center> Cette propriété possède le corollaire suivant : :* ''Si μ désigne le caractère multiplicatif égal à 1 sur les carrés de ''F''<sub>p</sub><sup>*</sup> et -1 sinon, alors l'égalité suivante est vérifiée :'' <center><math>G(\mu, \psi_1)^2=\Big ( \frac {-1}{p} \Big ) p\;</math></center> Dans cet article, (-1/''p'') désigne le [[symbole de Legendre]]. {{boîte déroulante|align=left|titre=Démonstrations|contenu= :* '''Si ''m'' est un entier premier avec ''p'', alors l'égalité suivante est vérifiée :''' <center><math> \forall n \in \mathbb Z \quad G(\chi, \psi_{nm})=\overline{\chi(m)} G(\chi,\psi_n) \;</math></center> En effet, la définition d'une somme de Gauss implique les égalités suivantes : <center><math> G(\chi, \psi_{nm})= \sum_{k=1}^{p-1} \chi (k) \omega^{nmk} = \sum_{k=1}^{p-1} \chi(m)^{-1}\chi (mk) \omega^{nmk}\;</math></center> Utilisons le changement de variable suivant ''u'' = ''mk'', on obtient : <center><math> G(\chi, \psi_{nm})= \sum_{u=1}^{p-1} \chi(m)^{-1}.\chi (u) \omega^{nu}=\chi (m^{-1})\sum_{u=1}^{p-1} \chi (u) \omega^{nu}=\overline{\chi(m)} G(\chi,\psi_n) \;</math></center> Ce qui termine la démonstration. :* '''Si χ et ψ sont deux caractères différents du caractère constant égal à ''un'', alors l'égalité suivante est vérifiée :''' <center><math>G(\chi, \psi).G(\bar \chi, \psi)=\chi(- 1)p \;</math></center> En effet, la définition d'une somme de Gauss implique les égalités suivantes : <center><math>G(\chi, \psi).G(\bar \chi, \psi)=\sum_{k=1}^{p-1} \chi (k) \psi(k).\sum_{l=1}^{p-1} \overline{\chi (l)} \psi(l) = \sum_{k,l \in [1, p-1]} \chi(k\lambda_l) \psi(k)\psi(l) \;</math></center> Ici, λ<sub>l</sub> désigne l'entier compris entre ''un'' et ''p'' - 1 tel que l.λ<sub>l</sub> est congru à ''un'' modulo ''p''. Utilisons le changement de variable suivant ''u'' = ''k''.λ<sub>l</sub>, on obtient : <center><math>G(\chi, \psi).G(\bar\chi, \psi)=\sum_{u=1}^{p-1} \chi (u)\sum_{l=1}^{p-1}\psi(ul) \psi (l) </math></center> On remarque que l'application qui à la classe de ''l'' associe la valeur du caractère ψ pour la classe de ''ul'' est un caractère du groupe additif ''F''<sub>p</sup>. Si ''u'' est différent de l'unité, ce caractère est différent de ψ et donc lui est orthogonal car deux caractères distincts d'un groupe fini sont orthogonaux ''(cf [[caractère d'un groupe fini]])''. On en déduit : <center><math>\text{Si} \quad u \ne p-1 \quad \sum_{l = 1}^p \psi(ul) \psi (l) = 0 \quad \text{sinon} \quad \sum_{l = 1}^p \psi(-l) \psi (l) =p \;</math></center> On en déduit, en limitant la somme à ''p'' - 1, les égalités suivantes : <center><math>\text{Si} \quad u \ne p-1 \quad \sum_{l = 1}^{p-1} \psi(ul) \psi (l) = -1 \quad \text{sinon} \quad \sum_{l = 1}^{p-1} \psi(-l) \psi (l) =p-1 \;</math></center> Ce qui démontre l'égalité suivante : <center><math>G(\chi, \psi).G(\bar \chi, \psi)=\sum_{u = 1}^{p-2} -\chi (u) + (p-1)\chi(-1)</math></center> De même, le caractère multiplicatif χ est orthogonal au caractère constant égal à 1, en conséquence : <center><math>\sum_{u = 1}^{p-1} \chi (u)= 0 \quad \text{et} \quad \sum_{u = 1}^{p-2} -\chi (u)=\chi (-1)</math></center> Ce qui démontre l'égalité suivante et termine la démonstration : <center><math>G(\chi, \psi).G(\bar \chi, \psi)=\chi(-1)p \;</math></center> :* '''Si μ désigne le caractère multiplicatif égal à 1 sur les carrés de ''F''<sub>p</sub><sup>*</sup> et -1 sinon, alors l'égalité suivante est vérifiée :''' <center><math>G(\mu, \psi_1)^2=\Big ( \frac {-1}{p} \Big ) p \;</math></center> Comme μ est égal à son conjugué, la proposition précédente, montre que : <center><math>G(\mu, \psi_1)^2=G(\mu, \psi_1).G(\bar \mu, \psi_1)= \mu(-1) p =\Big ( \frac {-1}{p} \Big ) p \;</math></center> }} == Applications == === Somme quadratique de Gauss === L'exemple historique, publié par Gauss en 1801 est le suivant : :* ''Si τ<sub>p</sup> est la somme définie à la ligne suivante, alors τ<sub>p</sup><sup>2</sup> est égal à (-1/''p'').''p''.'' <center><math>\tau_p=\sum_{k=1}^p exp(\frac {2 \pi i k^2}p)\quad alors \quad \tau_p^2 =\Big ( \frac {-1}{p} \Big ) p\;</math></center> {{boîte déroulante|align=left|titre=Démonstration|contenu= Soit ''H'' le sous-groupe du groupe multiplicatif ''F''<sub>p</sub><sup>*</sup> composé des [[résidu quadratique|résidus quadratiques]] de ''F''<sub>p</sub><sup>*</sup>. Soit ''P''<sub>1</sub> la somme des caractères de ψ<sub>1</sub> sur ''H'' et ''P''<sub>2</sub> la somme des caractères de ψ<sub>1</sub> sur le complémentaire de ''H'' dans ''F''<sub>p</sub><sup>*</sup>. L'égalité suivante est alors vérifiée : <center><math>P_1 + P_2 + 1 = \sum_{\bar k \in \mathbb F_p} \psi_1 (\bar k) \; </math></center> Or ψ<sub>1</sub> est un caractère additif différent du caractère constant sur ''F''<sub>p</sub>, il lui est donc orthogonal, on en déduit : <center><math>\sum_{\bar k \in \mathbb F_p} \psi_1 (\bar k) = 0 \quad et \quad -P_2 = P_1 + 1 \; </math></center> La valeur ''G''(μ, ψ<sub>1</sub>) de la dernière proposition du paragraphe précédent s'exprime de la manière suivante : <center><math> G(\mu, \psi_1) = P_1 - P_2 = 1 + 2 P_1\; </math></center> Enfin, l'application de ''F''<sub>p</sub><sup>*</sup> dans ''H'' qui à la classe de ''x'' associe la classe de ''x''<sup>2</sup> est une application surjective telle que toute image admet exactement deux antécédents, en conséquence : <center><math>\tau_p = \sum_{k=1}^p exp(\frac {2 \pi i k^2}p) = 1 + \sum_{k= 1}^{p -1} \omega^{k^2} = 1 + \sum_{\bar k \in \mathbb F_p^*} \psi (\bar k^2) = 1 + 2 \sum_{\bar h \in H} \psi (\bar h) = 1 + 2 P_1 = G(\mu, \psi_1) \; </math></center> La dernière proposition du paragraphe précédent termine la démonstration. }} === Loi de réciprocité quadratique === {{Article détaillé|Loi de réciprocité quadratique}} La loi s'exprime de la manière suivante si ''q'' est aussi un nombre premier impair distinct de ''p'' : <center><math> \left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{\frac{(p-1)(q-1)}{4}}</math></center> Elle se démontre à l'aide de la somme quadratique de Gauss et des propriétés des sommes. {{boîte déroulante|align=left|titre=Démonstration|contenu= Considérons l'anneau des [[entier algébrique|entiers algébriques]] ''Z''[ω]. Il contient τ<sub>p</sub>, calculons alors τ<sub>p</sub><sup>q</sup> [[Arithmétique modulaire|modulo]] ''q'' dans ''Z''[ω]. <center><math>\tau_p^q=\Big (\sum_{\bar k \in \mathbb F_p^*} \mu(\bar k) \psi_1(\bar k)\Big)^q \; </math></center> La [[formule du binôme de Newton]], et les diviseurs des [[coefficient binomial|coefficients binomiaux]] montrent que : <center><math>\tau_p^q \equiv \sum_{\bar k \in \mathbb F_p^*} \mu(\bar k)^q \psi_1(\bar k)^q \equiv \sum_{\bar k \in \mathbb F_p^*} \mu(\bar k) \psi_q(\bar k) \equiv G(\mu,\psi_q) \pmod q \; </math></center> La première proposition décrite dans les propriétés des sommes de Gauss montre que : <center><math>\tau_p^q \equiv G(\mu,\psi_q) \equiv \mu(q)G(\mu,\psi_1) \equiv \mu(q)\tau_p \pmod q \; </math></center> Les propriétés du symbole de Legendre montre aussi que : <center><math>\tau_p^q = (\tau_p^2)^{\frac {q-1}{2}}\tau_p = \left( \left( \frac {-1}{p} \right).p \right)^{\frac {q-1}{2}}\tau_p = \left( (-1)^{\frac {p-1}{2}}p\right)^{\frac {q-1}{2}}\tau_p = (-1)^{\frac{(p-1)(q-1)}{4}}p^{\frac {q-1}{2}}\tau_p \; </math></center> On en déduit l'égalité : <center><math>\mu(q)\tau_p \equiv (-1)^{\frac{(p-1)(q-1)}{4}}p^{\frac {q-1}{2}}\tau_p \pmod q \; </math></center> En multipliant par τ<sub>p</sub> les deux termes de l'égalité et en divisant par ''p'', on obtient : <center><math>\left( \frac qp \right) \equiv (-1)^{\frac{(p-1)(q-1)}{4}}p^{\frac {q-1}{2}} \equiv (-1)^{\frac{(p-1)(q-1)}{4}}\left( \frac pq \right) \pmod q \; </math></center> On remarque alors que l'égalité précédente est un produit de facteurs égaux à 1 ou -1, l'égalité précédente est donc aussi une égalité dans ''Z''/q''Z'' et aussi dans ''Z'', on en déduit : <center><math> \left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{\frac{(p-1)(q-1)}{4}}</math></center> Ce qui termine la démonstration. }} ==Notes et références== ===Liens externes=== * {{fr}} [http://www-lipn.univ-paris13.fr/~banderier/Recipro/node27.html Lemme sur la somme de Gauss] par C. Banderier de l'Université de Paris XIII 1998 * {{fr}} [http://abdellah.bechata.free.fr/telechargement/harmonique/finis_commutatifs/pdf/fourier_groupe_fini.pdf Analyse harmonique sur les groupes finis commutatifs] par A. Bechata * {{fr}} [http://www.ufr-mi.u-bordeaux.fr/CSI/Cours/mathdis.pdf Mathématiques discrètes de la transformée de Fourier] C. Bachoc Université de Bordeaux I * {{fr}} [http://perso.univ-rennes1.fr/laurent.moret-bailly/docpedag/polys/tano04.pdf Cours de maîtrise de mathématiques : Théorie algébrique des nombres] par B. Edixhoven et L. Moret-Bailly de l'Université de Rennes 1 2004 ===Références=== * Michel Demazure ''Cours d'algèbre. Primalité, divisibilité, codes'' Cassini 1997 * {{Serre1}} * A. Warusfel ''Structures algébriques finies'' Hachette 1971 * G. Peyré ''L'algèbre discrète de la transformée de Fourier'' Ellipses Marketing 2004 {{portail mathématiques}} [[Catégorie:Analyse harmonique discrète]] [[Catégorie:Caractère de Dirichlet]] [[en:Gauss sum]] [[hu:Gauss-összeg]] [[zh:高斯和]]</text> </revision> </page>