Gaußsche Summe

Die Gaußsche Summe, Gaußsumme oder Gauß-Summe (nicht zu verwechseln mit der gaußschen Summenformel) ist ein bestimmter Typ einer endlichen Summe von Einheitswurzeln, typischerweise

$G(\chi ):=G(\chi ,\psi )=\sum _{r}\chi (r)\cdot \psi (r)$

Dabei geht die Summe über die Elemente eines endlichen kommutativen Rings , $\psi$ ist ein Gruppenhomomorphismus der abelschen Gruppe $R^{+}$ in den Einheitskreis und $\chi$ ist ein Gruppenhomomorphismus der Einheitengruppe $R^{\times }$ in den Einheitskreis, fortgesetzt (durch den Wert 0) auf Nichteinheiten. Solche Summen sind in der Zahlentheorie allgegenwärtig. Sie finden z.B. Verwendung bei den funktionalen Gleichungen der Dirichletschen L-Funktion, wo für einen Dirichlet-Charakter $\chi$ die Gleichung in der Beziehung zwischen $L(s,\chi )$ und $L(1-s,\chi ^{*})$ den Faktor

${\frac {G(\chi )}{|G(\chi )|}}$

verwendet, wobei $\chi ^{*}$ die komplex Konjugierte von $\chi$ ist.

Ursprünglich betrachtete Carl Friedrich Gauß die quadratische Gaußsche Summe mit als einem Restklassenkörper modulo einer ungeraden Primzahl und $\chi$ als Legendre-Symbol, dem quadratischen Restklassencharakter modulo . Gauß bewies, dass $G(\chi )={\sqrt {p}}$ oder $G(\chi )=i{\sqrt {p}}$ gilt, je nachdem, ob kongruent zu 1 oder 3 modulo 4 ist.

Eine alternative Form dieser Gaußschen Summe ist:

$\sum _{r=0}^{p-1}e^{{\frac {2\pi i}{p}}r^{2}}$

Quadratische Gaußsche Summen sind mit der Theorie der Thetafunktionen eng verbunden.

Die allgemeine Theorie der Gaußschen Summen wurde im frühen 19. Jahrhundert, unter Verwendung der Jacobi-Summen und deren Primzahlenzerlegung in Kreisteilungskörpern, entwickelt. Summen über den Mengen, wo $\chi$ einen bestimmten Wert annimmt, wenn der zugrundeliegende Ring der Restklassenring modulo einer ganzen Zahl ist, werden durch die Theorie der Gaußschen Perioden beschrieben.

Der Absolutbetrag einer Gaußschen Summe wird üblicherweise als Anwendung des Satzes von Plancherel auf endlichen Gruppen benutzt. Im Fall, dass ein Körper von Elementen und $\chi$ nichttrivial ist, ist dieser Betrag gleich $\sqrt{p}$ . Die Bestimmung des eigentlichen Wertes von allgemeinen Gaußschen Summen aus dem Ergebnis von Gauß für den quadratischen Fall ist ein lange ungelöstes Problem.

Basierend auf einem Artikel in:

Wikipedia.de