Zum Reziprozitätsgesetz für \(l^n\). (Q2611676)

Während für Primzahlen \(l\) das Reziprozitätsgesetz der \(l\)-ten Potenzreste im \(l\)-ten Kreiskörper und in bezüglich \(l\) unverzweigten Oberkörpern in expliziten Formeln in voller Allgemeinheit vorlag (Bericht des Ref., Teil II, Jahresber. D. M. V., Erg.-Bd. 6 (1930), Abschn. IV; JFM 56.0165.*), hatte man für Primzahlpotenzexponenten \(l^n\) bisher nur eine entsprechende Formel für den zweiten Ergänzungssatz. Verf. beweist nun \textit{erstens} eine explizite Formel für das allgemeine Reziprozitätsgesetz der \(l^n\)-ten Potenzreste in \textit{bezüglich \(l\) unverzweigten} Oberkörpern \(K_0\) des \(l^n\)-ten Kreiskörpers \(k\) und \textit{zweitens} eine Näherungsformel für dieses Gesetz in \textit{beliebigen} Oberkörpern \(K\) von \(k\). Die Formeln lauten für \(l\neq 2\): \[ \left(\dfrac{\alpha}{\beta}\right) \left(\dfrac{\beta}{\alpha}\right)^{-1} = \zeta^A \qquad \text{mit} \tag{1} \] \[ \begin{multlined} A\equiv \sum\limits_{l_i|l}\dfrac{1}{l^n}S_{l_i}\left\{\zeta\log_i\alpha \boldsymbol D(\log_i\beta) \phantom{\sum\limits_{j=0}^\infty\dfrac{1}{l}\boldsymbol P^{j+1}} \right.\\ \left. -\sum\limits_{j=0}^\infty\dfrac{1}{l^{2j+1}}\left[\left( \zeta \boldsymbol D P^j(\log_i\beta ) \dfrac{1}{l}\boldsymbol P^{j+1}(\log_i\beta)\right)\boldsymbol P^{j+1}(\log_i\alpha) \right]\right\} \; \mod^+l^n \end{multlined} \] für zueinander kernprime \(\alpha,\beta \equiv 1 \; \mod\,\lambda\) aus \(K_0\). \[ \left(\dfrac{\alpha}{\beta}\right) \left(\dfrac{\beta}{\alpha}\right)^{-1} = \zeta^{S\left(\zeta\tfrac{\alpha -1}{l^n}\tfrac{\beta -1}{\lambda}\right)} \tag{2} \] für zueinander kernprime \(\alpha, \beta\) aus \(K\) mit \(\alpha\equiv 1\) mod \(l^n\lambda^{l^{n-1}-1}\), \(\beta\equiv 1\) mod \(\lambda\). Bezeichnungen: \(\zeta\) primitive \(l^n\)-te Einheitswurzel, \(\lambda = 1-\zeta\), \(\mathfrak{l}_i\) die Primteiler von \(l\) in \(K_0\), \(S_{\mathfrak{l}_i}\) die absoluten Spuren und \(\log_i\) die Logarithmen in den \(\mathfrak{l}_i\)-adischen Körpern zu \(K_0, \boldsymbol D\) die formale Differentiation nach \(\lambda\) in den Potenzreihenentwicklungen nach \(\lambda\) mit Koeffizienten aus dem betr. \(\mathfrak{l}_i\)-adischen Trägheitskörper (Körper der \((l^{f_i}-1)\)-ten Einheitswurzeln, wo \(f_i\) der Grad von \(\mathfrak{l}_i\)), \(\boldsymbol P^j\) die Ersetzung von \(\lambda\) durch \(\lambda^{l^j}\) in diesen Entwicklungen, \(S\) die absolute Spur in \(K\). Für \(l^n = 2\) ist in (1), (2) noch etwa \(\alpha\) totalpositiv vorauszusetzen, für \(l^n = 2^n\) mit \(n\geqq 2\) tritt in (1) ein Zusatzfaktor \((-1)^B\) zu \(\zeta^A\), wo \(B\) ähnlichen Bau hat, wie der durch die \(\sum\limits_{j}\) gelieferte Zusatzsummand zu dem zuerst stehenden Hauptglied von \(A\). Es werden noch Abschätzungen für die Anzahl \(N\) der in diesem Zusatzsummanden von \(A\) wirklich auftretenden Glieder gegeben, und ebenso für \(B\). Die Beweismethode ist die Zurückführung des Normenrestsymbols \(\left(\dfrac{\alpha,\beta}{\mathfrak{l}}\right)\) für einen Primteiler \(\mathfrak{l}\) von \(l\) auf Symbole \(\left(\dfrac{\lambda}{\eta}\right)\), die dann nach der bekannten expliziten Formel für den zweiten Ergänzungssatz ausgedrückt werden können, mittels eines schon auf \textit{Eisenstein} zurückgehenden Verfahrens, das vor einigen Jahren bereits mit Richtung auf dasselbe Ziel vom Ref. angesetzt worden ist (Abhandl. Hamburg 7 (1929), 52-63; JFM 55.0700.*).