On the law of quartic reciprocity. (Q1483050)

''Das auf reelle Primzahlen anwendbare biquadratische Reziprozitätsgesetz, das von \textit{Gauß} \ entdeckt und bewiesen wurde, kann in der folgenden Gestalt ausgesprochen werden: Es sei \(p\) eine reelle Primzahl von der Form \(4n+1\), daher gleich \(a^2+b^2\), wo \(a\) eine reelle gerade, \(b\) eine reelle ungerade Zahl ist. Ist dann \(q\) eine reelle Primzahl von der Form \(4n+1\), so ist \[ \left(\frac q{a+bi}\right)_4=1,-1,i,-i, \] je nachdem \[ \left(\frac{a+bi}{a-bi}\right)^{\frac14(q-1)}\equiv1,-1,i,i,\quad (\mod.q) \] ist; und wenn \(q\) eine reelle Primzahl \(4n-1\) ist, \[ \left(\frac{-q}{a+bi}\right)_4=1,-1,i,-i, \] je nachdem \[ \left(\frac{a-bi}{a+bi}\right)^{\frac14(q+1)}\equiv1,-1,i,i\quad (\mod.q) \] ist. Da nun \(q^{\frac14(p-1)}\equiv1,-1,a/b,-a/b\,(\mod.p)\) ist, soll durch die Bezeichnung \((q/p)_4\) ausgesagt werden, daß einer der obigen vier Werte, denen \(q^{\frac14(p-1)}\,(\mod.p)\) kongruent ist, vorliegt. Offenbar kann der Wert von \((q/p)_4\) theoretisch aus der \textit{Gauß}schen Formel immer gefunden werden; allein wenn \(q\) nicht eine ganz kleine Zahl ist, machen die imaginären Größen die Rechnung äußerst mühsam. Wenn \(p\) und \(q\) gegeben sind, so ist die Ermittelung des Wertes von \((q/p)_4\) eine Aufgabe, die dem Anscheine nach nur reelle Größen einschließt; es scheine also theoretisch möglich, die imaginären Größen aus den Formeln zu eliminieren.'' Der Zweck der Abhandlung ist, zu zeigen, wie dies in der Tat ausgeführt werden kann.