Sumatori de Gauss

En matemàtiques, i més precisament en aritmètica modular, el sumatori de Gauss és un nombre complex.

El sumatori de Gauss fa servir les eines de l'anàlisi harmònica sobre un grup abelià finit sobre el cos finit Z/pZ on p designa un nombre prevaler senar i Z el conjunt dels enters.

Va ser introduït pel matemàtic Carl Friedrich Gauß (1777 - 1855) que el va fer servir en els seus Disquisitiones arithmeticae, aparegudes el 1801.

Es fan servir per establir la teoria dels polinomis ciclotòmics i tenen nombroses aplicacions. Es pot citar per exemple una demostració de la llei de reciprocitat quadràtica.

Definició

En aquest article, p designa un nombre primera senar, F_p el Cos finit isomorf a Z/pZ, F_p^* el seu grup multiplicatiu (és a dir el mateix conjunt excepte 0, amb l'estructura de grup donada per la multiplicació) i ω designa una arrel primitiva p-èssima de la unitat, el caràcter ψ_m designa el que, a 1_F associa ω^m.

• Sigui ψ un caràcter del grup additiu (F_p, +) i χ un caràcter del grup multiplicatiu (F_p^*,.), llavors el sumatori de Gauss associat a χ i ψ és el nombre complex, aquí notat G(χ, ψ) definit per:

$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}$

Per motius de simplicitat, χ i ψ també es consideren com funcions definides sobre Z l'anell dels enters, amb la convenció següent:

$\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 no \in \mathbb Z \quad \chi(np)=0\;\text{et}\;\psi(np)=\psi(\bar 0)=1$

en Termes de transformada de Fourier, es pot considerar l'aplicació que a χ associa $\scriptstyle {G(\chi, \bar \psi)}$ com la transformada de Fourier del prolongament de χ a F_p per la igualtat χ(0) = 0 al grup additiu del cos i l'aplicació que a ψ associa $\scriptstyle {G(\bar \chi, \psi)}$ com la transformada de Fourier de la restricció de ψ a F_p^* en el grup multiplicatiu del cos.

Propietats

L'anàlisi harmònica permet nombrosos càlculs sobre els sumatoris de Gauss, aquest paràgraf proposa alguns exemples.

• Si m és un enter primer amb p, llavors es verifica la igualtat següent:

$\forall no \in \mathbb Z \quad G(\chi, \psi_{nm})=\overline{\chi(m)} G(\chi,\psi_n) \;$

Aquí Z designa el conjunt dels naturals i si z és un nombre complex $\scriptstyle \bar z$ designa el seu conjugat.

• Si χ ' ψ són dos caràcters diferents del caràcter constant igual a u, llavors es verifica la igualtat següent:

$G(\chi, \psi).G(\bar \chi, \psi)=\chi(- 1)p \;$

Aquesta propietat compleix el corol·lari següent:

• Si μ designa el caràcter multiplicatiu igual a 1 sobre els quadrats de F_p^* i -1 si no, llavors es verifica la igualtat següent:

$G(\mu, \psi_1)^2=\Big ( \frac {-1}{p} \Big ) p\;$

En aquest article, (-1/p) designa el símbol de Legendre.

Domostracions 

.

• Si m és un enter primer amb p, llavors es verifica la igualtat següent:

$\forall n \in \mathbb Z \quad G(\chi, \psi_{nm})=\overline{\chi(m)} G(\chi,\psi_n) \;$

En efecte, la definició d'un sumatori de Gauss implica les igualtats següents:

$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}\;$

Utilitzem el canvi de variable següent u = mk, s'obté:

$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) \;$

El que clou la demostració.

• Si χ i ψ són dos caràcters diferents del caràcter constant igual a u, llavors es verifica la igualtat següent:

$G(\chi, \psi).G(\bar \chi, \psi)=\chi(- 1)p \;$

En efecte, la definició d'un sumatori de Gauss implica les igualtats següents:

$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) \;$

Aquí, λ_l designa l'enter comprès entre u i p - 1 tal que l.λ_l és congruent a u mòdul p. Utilitzem el canvi de variable seguint u = k.λ_l, s'obté:

$G(\chi, \psi).G(\bar\chi, \psi)=\sum_{u=1}^{p-1} \chi (u)\sum_{l=1}^{p-1}\psi(ul) \psi (l)$

S'observa que l'aplicació que a la classe de l associa el valor del caràcter ψ per a la classe de ul és un caràcter del grup additiu F_p. Si u és diferent de la unitat, aquest caràcter és diferent de ψ i per tant és ortogonal ja que dos caràcters diferents d'un grup finit són ortogonals (cf caràcter d'un grup finit). Se'n dedueix:

$\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 \;$

Se'n dedueix, limitant el sumatori a p - 1, les igualtats següents:

$\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 \;$

El que demostra la igualtat següent:

$G(\chi, \psi).G(\bar \chi, \psi)=\sum_{u = 1}^{p-2} -\chi (u) + (p-1)\chi(-1)$

Igualment, el caràcter multiplicatiu χ és ortogonal al caràcter constant igual a 1, en conseqüència:

$\sum_{u = 1}^{p-1} \chi (u)= 0 \quad \text{et} \quad \sum_{u = 1}^{p-2} -\chi (u)=\chi (-1)$

El que que demostra la igualtat següent i acaba la demostració:

$G(\chi, \psi).G(\bar \chi, \psi)=\chi(-1)p \;$

• 'Si μ designa el caràcter multiplicatiu igual a 1 sobre els quadrats de F_p^* i -1 si no, llavors la es verifica igualtat següent:

No s'ha pogut entendre (error de lèxic): G(\mu, \psi_1)^2=\Big ( \frac {-1}{p} \Big ) pàg. \;

Com que μ és igual al seu conjugat, la proposició precedent, demostra que:

No s'ha pogut entendre (error de lèxic): G(\mu, \psi_1)^2=G(\mu, \psi_1).G(\bar \mu, \psi_1)= \mu(-1) pàg. =\Big ( \frac {-1}{p} \Big ) pàg. \;

 

Aplicacions

Suma quadràtica de Gauss

L'exemple històric, publicat per Gauss el 1801 és el següent:

• Si τ_p és wl sumatori definit a la línia següent, llavors τ_p² és igual a (-1/p).p.

$\tau_p=\sum_{k=1}^p exp(\frac {2 \pi i k^2}p)\quad llavors \quad \tau_p^2 =\Big ( \frac {-1}{p} \Big ) p\;$

Demostració 

Sigui H el subgrup del grup multiplicatiu F_p^* compost dels residus quadràtics de F_p^*. Sigui P₁ el sumatori dels caràcters de ψ₁ sobre H i P₂ el sumatori dels caràcters de ₁ sobre el complementari de H en F_p^*. Llavors es verifica la igualtat següent: $P_1 + P_2 + 1 = \sum_{\bar k \in \mathbb F_p} \psi_1 (\bar k) \;$

Ara Bé ψ₁ és un caràcter additiu diferent del caràcter constant sobre F_p, és per tant ortogonal, se'n dedueix:

$\sum_{\bar k \in \mathbb F_p} \psi_1 (\bar k) = 0 \quad i \quad -P_2 = P_1 + 1 \;$

El valor G(μ, ψ₁) de l'última proposició del paràgraf precedent s'expressa de la manera següent:

$G(\mu, \psi_1) = P_1 - P_2 = 1 + 2 P_1\;$

Finalment, l'aplicació de F_p^* en H que a la classe de x associa la classe de x² és una aplicació exhaustiva tal que tota imatge admet exactament dos antecedents, en conseqüència:

$\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) \;$ L'última proposició del paràgraf precedent acaba la demostració.

 

Llei de reciprocitat quadràtica

La llei s'expressa de la manera següent si q és un nombre primera senar diferent de p:

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

Es demostra amb l'ajuda del sumatori quadràtic de Gauss i de les propietats de les sumes.

Demostració 

Es considera l'anell dels enters algebraics Z[ω]. Conté τ_p, llavors es calcula τ_p^q mòdul q en Z[ω]. $\tau_p^q=\Big (\sum_{\bar k \in \mathbb F_p^*} \mu(\bar k) \psi_1(\bar k)\Big)^q \;$

El binomi de Newton, i els divisors dels coeficients binomials mostren que:

$\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 \;$

La primera proposició descrita en les propietats dels sumatoris de Gauss mostra que:

$\tau_p^q \equiv G(\mu,\psi_q) \equiv \mu(q)G(\mu,\psi_1) \equiv \mu(q)\tau_p \pmod q \;$

Les propietats del símbol de Legendre mostren també que:

$\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 \;$

se'n dedueix la igualtat:

$\mu(q)\tau_p \equiv (-1)^{\frac{(p-1)(q-1)}{4}}p^{\frac {q-1}{2}}\tau_p \pmod q \;$

Multiplicant per _p els dos termes de la igualtat i dividint per p, s'obté:

$\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 \;$

S'observa llavors que la igualtat precedent és un producte de factors iguals a 1 o -1, la igualtat precedent és per tant també una igualtat en Z/qZ i també en Z, se'n dedueix:

$\left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{\frac{(p-1)(q-1)}{4}}$ Amb el que s'acaba la demostració.

 

Notes i referencies

Enllaços externs

• (francès) Lemme sur la somme de Gauss par C. Banderier de l'Université de Paris XIII 1998
• (francès) Analyse harmonique sur les groupes finis commutatifs par A. Bechata
• (francès) Mathématiques discrètes de la transformée de Fourier C. Bachoc Université de Bordeaux I
• (francès) 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

Referencies

• Michel Demazure Cours d'algèbre. Primalité, divisibilité, codes Cassini 1997
• Serre, Jean-Pierre. Cours d'arithmétique (en francès). 
• A. Warusfel Structures algébriques finies Hachette 1971
• G. Peyré L'algèbre discrète de la transformée de Fourier Ellipses Marketing 2004