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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r} eines endlichen kommutativen Rings Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \psi} ist ein Gruppenhomomorphismus der abelschen Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R^+} in den Einheitskreis und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 $R$ als einem Restklassenkörper modulo einer ungeraden Primzahl $p$ und $\chi$ als Legendre-Symbol, dem quadratischen Restklassencharakter modulo $p$. Gauß bewies, dass $G(\chi )={\sqrt {p}}$ oder $G(\chi )=i{\sqrt {p}}$ gilt, je nachdem, ob $p$ 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi} einen bestimmten Wert annimmt, wenn der zugrundeliegende Ring der Restklassenring modulo einer ganzen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N} 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 $R$ ein Körper von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} Elementen und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi} nichttrivial ist, ist dieser Betrag gleich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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. Für einige Fälle siehe Kummer-Summe.

Siehe auch

• Satz von Stickelberger

Referenzen

• Kenneth Ireland, Michael Rosen: A Classical Introduction to Modern Number Theory (= Graduate texts in mathematics. Bd. 84). 2nd edition. Springer-Verlag, New York u. a. 1990, ISBN 0-387-97329-X.
• Bruce C. Berndt, Ronald J. Evans, Kenneth S. Williams: Gauss and Jacobi Sums (= Canadian Mathematical Society series of monographs and advanced texts. Bd. 21 = A Wiley-interscience publication). Wiley, New York NY u. a. 1998, ISBN 0-471-12807-4.