Matematiikassa Gaussin summa ymmärretään tietynlaisena äärellisinä juurien summana yksiköstä , joka on yleensä kirjoitettu muotoon
Tässä summa on otettu jonkin äärellisen kommutatiivisen renkaan R kaikki alkiot r , ψ( r ) on additiivinen ryhmän R + homomorfismi yksikköympyrään ja χ( r ) on yksikköryhmän R × homomorfismi yksikköympyrä jatketaan 0:lla. Gauss-summat ovat analogisia gammafunktioille äärellisten kenttien tapauksessa .
Näitä summia esiintyy usein lukuteoriassa , erityisesti Dirichlet L-funktioiden funktionaalisissa yhtälöissä .
Carl Friedrich Gauss käytti summien ominaisuuksia ratkaistakseen joitain lukuteorian ongelmia, erityisesti hän sovelsi niitä yhdessä vastavuoroisuuden toisen asteen lain todistuksessa . Aluksi Gauss-summat ymmärrettiin neliöllisiksi Gauss-summuiksi , joille R on jäännöskenttä modulo p ja χ on Legendren symboli . Tässä tapauksessa Gauss osoitti, että G (χ) = p 1/2 tai ip 1/2 , kun p on kongruentti 1 tai 3 modulo 4:n kanssa, vastaavasti.
Vaihtoehtoinen tapa kirjoittaa Gauss-summa:
Gauss-summien yleinen teoria kehitettiin 1800-luvun alussa käyttäen Jacobin summia ja niiden alkutekijöitä ympyräkentissä .
Gaussin summien merkitys lukuteorialle paljastui vasta 1920-luvulla. Tuolloin Hermann Weyl sovelsi yleisempiä trigonometrisiä summia yhtenäisten jakautumien tutkimukseen , jota myöhemmin kutsuttiin Weyl-summuiksi. Samanaikaisesti I. M. Vinogradov käytti Gaussin summia saadakseen ylemmän arvion pienimmän neliöllisen ei-jäännökselle modulo p. Gauss-summat mahdollistavat yhteyden muodostamisen kahden tärkeän lukuteorian kohteen: kerto- ja additiivisten merkkien välillä. Neliölliset Gaussin summat liittyvät läheisesti θ-funktioiden teoriaan .
Gaussin summien itseisarvo löydetään yleensä Plancherelin lauseesta äärellisille ryhmille . Tapauksessa, jossa R on p elementin kenttä ja χ on ei-triviaali, itseisarvo on yhtä suuri kuin p 1/2 . Gaussin kokonaissumman tarkan arvon laskeminen ei ole helppoa.
Gauss-summa Dirichlet -merkille modulo N
Jos χ on primitiivinen niin
ja erityisesti se ei ole yhtä suuri kuin nolla. Yleisemmin, jos N 0 on johdin , jonka merkki on χ ja χ 0 on primitiivinen Dirichlet-merkin modulo N 0 , joka indusoi χ:n, niin
missä μ on Möbius-funktio .
Tästä seuraa, että G (χ) on nollasta poikkeava silloin ja vain, jos N / N0 on neliötön ja suhteellisesti alkuluku N 0 : aan .
Suhde
missä χ on Dirichlet-merkin kompleksikonjugaatio.
Jos χ′ on Dirichlet-merkki modulo N ′ siten, että N ja N ′ ovat alkulukuja, niin