În matematică , suma Gauss este înțeleasă ca un anumit fel de sume finite de rădăcini din unitate , de regulă, scrise sub forma
Aici suma este preluată peste toate elementele r ale unui inel comutativ finit R , ψ( r ) este homomorfismul grupului aditiv R + în cercul unitar , iar χ( r ) este homomorfismul grupului de unități R × în cercul unitar extins cu 0. Sumele Gauss sunt analoge cu funcțiile Gamma pentru cazul câmpurilor finite .
Aceste sume apar adesea în teoria numerelor , în special în ecuațiile funcționale ale funcțiilor L Dirichlet .
Carl Friedrich Gauss a folosit proprietățile sumelor pentru a rezolva unele probleme din teoria numerelor, în special le-a aplicat într-una dintre dovezile legii pătratice a reciprocității . Inițial, sumele Gauss au fost înțelese ca sume Gauss pătratice , pentru care R este câmpul de reziduuri modulo p și χ este simbolul Legendre . Pentru acest caz, Gauss a arătat că G (χ) = p 1/2 sau ip 1/2 atunci când p este congruent cu 1 sau 3 modulo 4, respectiv.
O formă alternativă de scriere a sumei Gauss:
Teoria generală a sumelor Gauss a fost dezvoltată la începutul secolului al XIX-lea folosind sumele Jacobi și factorizările lor prime în câmpuri circulare .
Semnificația sumelor Gauss pentru teoria numerelor a fost dezvăluită abia în anii 1920. În acest moment, Hermann Weyl a aplicat sume trigonometrice mai generale pentru studiul distribuțiilor uniforme , numite mai târziu sume Weyl. În același timp, I. M. Vinogradov a folosit sume Gauss pentru a obține o estimare superioară pentru cel mai puțin patratic nerezidu modulo p. Sumele Gauss fac posibilă stabilirea unei legături între două obiecte importante ale teoriei numerelor: caracterele multiplicative și aditive. Sumele Gauss pătratice sunt strâns legate de teoria funcțiilor θ .
Valoarea absolută a sumelor Gauss este de obicei găsită folosind teorema lui Plancherel pentru grupuri finite . În cazul în care R este un câmp de p elemente și χ este netrivial, valoarea absolută este egală cu p 1/2 . Calcularea valorii exacte a sumelor totale Gauss nu este o sarcină ușoară.
Suma Gauss pentru caracterul Dirichlet modulo N
Dacă χ este primitiv atunci
și, în special, nu este egal cu zero. Mai general, dacă N 0 este un conductor al unui caracter χ și χ 0 este un caracter Dirichlet primitiv modulo N 0 care induce χ, atunci
unde μ este funcția Möbius .
Rezultă din aceasta că G (χ) este diferit de zero dacă și numai dacă N / N 0 este pătrat liber și relativ prim pentru N 0 .
Relatia
unde χ este conjugarea complexă a caracterului Dirichlet.
Dacă χ′ este un caracter Dirichlet modulo N ′ astfel încât N și N ′ sunt coprimi, atunci