On the quadratic reciprocity law and Gaussian sums. (Q1527138)

Es sei \(p\) eine ungerade Primzahl, \(a\) zu \(p\) prim, und \(r_a\), \(r_{2a}\), \ldots,\(r_{(p-1)a}\) seien die kleinsten positiven Reste von \(a\), \(2a\), \ldots, \((p-1)a\) \(\pmod p\), so findet man \[ \frac{\prod(r_{ma}-r_{na})}{\prod(m-n)}\quad(m>n;\,m,n=1,2,\dots,p-1) \] zunächst \(=\pm1\), weiter \(\equiv\left(\frac{a}{p}\right)\pmod p\) und also \(=\left(\frac{a}{p}\right)\). Es sei \(a>0\), so ist \(r_{ma}-r_{na}\) \((m>n)\) positiv oder negativ, je nachdem \(E\left(\frac{ma}{p}\right) - E\left(\frac{na}{p}\right) - E\left(\frac{(m-n)a}{p}\right)=0\) oder 1 ist. \(E\left(\frac{ma}{p}\right)\) giebt für ein in \(m<p\) zugleich die Anzahl der negativen Factoren aus \(\prod(sp-ma)\) \((s=1,2,\dots,a-1)\) an; man findet dadurch \(\left(\frac{a}{p}\right)\) gleich dem Vorzeichen von \[ \prod(sp - 2ta)\qquad\left(s=1,2,\dots,a-1;\,t=1,\dots,\frac{p-1}2\right). \] Nun sei \(a\) gleich einer ungeraden Primzahl \(q\); setzt man die geraden \(s=2u\), die ungeraden \(s=q-2u\) so kommt man sogleich auf den Reciprocitätssatz. Des weiteren wird \[ f(x) = \prod(x^m - x^n)\qquad(m>n;\,m, n= 1, 2,\dots,p-1) \] untersucht. Es sei \[ X = 1 + x +\cdots+ x^{p-1},\quad(1-x)(1-x^2)\cdots(1-x^m) = P_m, \] so findet man nacheinander: \[ p\equiv P_{p-1},\quad P_mP_{p-1-m} \equiv (-1)^mpx^{\frac12m(m+1)}, \] \[ f(x) \equiv(-1)^{\frac{p^2-1}8}p^{\frac12(p-3)}x^{\frac12(p-1)\frac18(p^2-1)}P_{\frac{p-1}2}, \] \[ f(x^2)\equiv(-1)^{\frac{p-1}2}p^{p-2},\quad f(x^m)\equiv\left(\frac{m}{p}\right) f(x)\quad\pmod X; \] auf die letzten zwei Beziehungen gründet sich ein zweiter Beweis des Reciprocitätssatzes. Ferner sei \[ \omega(x) = \sum_1^{p-1}\left(\frac{m}{p}\right) x^m, \] so ergiebt sich leicht \[ f(x)\equiv(-1)^{\frac{p^2-1}8}c\omega(x)\quad\pmod X,\quad c = \pm1; \] durch eine tiefere Betrachtung der Entwickelung von \(\omega(x)\) nach Potenzen von \(x-1\) wird alsdann \(c\equiv1 \pmod p\) und damit \(=1\) geschlossen, und daraus folgt die Bestimmung der Gaußschen Summen.