Ein elementares Verfahren zur Herleitung der quadratischen Reziprozitätsgesetze in algebraischen Zahlkörpern. (Q563606)

Es sei \(K\) Oberkörper zu \(k\), wobei \(k\) Oberkörper zum \(m\)-ten Kreiskörper \(k_m\) ist, \(N_{K,k}\) die Relativnorm, \(a\) und \(\alpha \) seien Zahlen, \(\mathfrak a\) und \(\mathfrak A\) Ideale in \(k\) bzw. \(K\). Dann gilt für die \textit{Jacobi}schen Symbole der \(m\)-ten Potenzreste: \[ \left (\frac {\alpha,K}{\mathfrak a}\right ) = \left (\frac {N_{K,k}\alpha,k}{\mathfrak a}\right ). \] Für diese bekannte Beziehung gibt Verf. einen kurzen Beweis: Es genügt zu zeigen, daß \[ \left (\frac {\alpha,K}{\mathfrak p}\right ) = \left (\frac {N_{K,k}\alpha,k}{\mathfrak p}\right ). \] ist, wo \(\mathfrak p\) ein zu \(m\) und \(\alpha \) teilerfremdes Primideal in \(k\) ist. Seine Zerlegung in \(K\) sei \[ \mathfrak p=\mathfrak P_1^{E_1}\mathfrak P_2^{E_2}\ldots, \] \[ N\mathfrak p=p^f,\quad N_{K,k}\mathfrak P_i=\mathfrak p^{F_i},\quad N\mathfrak P_i=p^{fF_i}. \] Es sei \(\alpha \) eine primitive Zahl in \(K\) relativ zu \(k\), und \[ f(\alpha )=0 \] die irreduzible Gleichung in \(k\), die \(\alpha \) befriedigt. Dann ist, wenn \(\mathfrak p^\nu \) nicht in der Diskriminante von \(f\) aufgeht, \[ f(x)\equiv f_1(x)\cdot f_2(x)\cdots \pmod {\mathfrak p^\nu }, \] \[ f_i(x)\equiv \varphi _i(x)^{E'_i}\pmod {\mathfrak p}, \] wo \(\varphi _i(x)\) eine Primfunktion \((\text{mod }\mathfrak p)\) ist und vom Grade \(F'_i\) sei. Es gilt \[ E'_iF'_i=E_iF_i. \] Es wird nun gezeigt, daß \[ \alpha,\alpha ^{p^f},\ldots,\alpha ^{p^{(F'_i-1)f}} \] die sämtlichen Wurzeln der Kongruenz \(\varphi _i(\xi )\equiv 0\pmod {\mathfrak P_i}\) sind, folglich, wenn \((-1)^{F'_i}a_i\), das Absolutglied von \(\varphi _i(x)\) ist, \[ \alpha ^{p^{(F'_i-1)f}+p^{(F'_i-2)f}+\cdots +p^f+1}\equiv a_i\pmod {\mathfrak P_i}. \] Nun ist \[ \left (\frac {\alpha,K}{\mathfrak p}\right )=\prod _i\left (\frac {\alpha,K}{\mathfrak P_i^{E_i}}\right ) \] und nach einiger Rechnung \[ \begin{aligned} \left (\frac {\alpha,K}{\mathfrak P_i^{E_i}}\right ) \equiv \alpha ^{\frac {p^{fE_iF_i}-1}m} &\equiv a_i^{E'_i\cdot \frac {p^f-1}m}\pmod {\mathfrak P_i} \\ &\equiv \left (\frac {a_i,k}{\mathfrak p}\right )^{E'_i},\end{aligned} \] woraus durch Produktbüdung die gewünschte Formel folgt. Der Fall, daß \(\alpha \) keine erzeugende Zahl von \(K\) ist, läßt sich auf den ersten zurückführen.