Zum expliziten Reziprozitätsgesetz. (Q1439313)

Durch Ausbau der \textit{Eisenstiein}schen Methode zur Bestimmung des Umkehrfaktors \(\bigg(\dfrac{\alpha}{\beta}\bigg) : \bigg(\dfrac{\beta}{\alpha}\bigg)\) der \(l\)-ten Potenzreste im \(l\)-ten Kreisteilungskörper ( J. f. M. 39 (1850), 351-364) gelangt Verf. für \(m\)-te Potenzreste -- es genügt \(m = l^n\) -in einem die \(m\)-ten Einheitswurzeln enthaltenden Körper von der Produktformel \(\prod\limits_{\mathfrak w}\bigg(\dfrac{\alpha, \beta}{\mathfrak w}\bigg) = 1\) der Normenrestsymbole, näher von den entsprechenden Ausdrücken \(\bigg(\dfrac{\alpha}{\beta}\bigg) : \bigg(\dfrac{\beta}{\alpha}\bigg), \bigg(\dfrac{\varepsilon}{\alpha}\bigg), \bigg(\dfrac{\lambda}{\alpha}\bigg)\) (\(\varepsilon\) Einheit, \(\lambda\) Primteiler von \(l\)) über die bemerkenswerte Normenrestformel mod \(\mathfrak m\) \[ \{\alpha, \beta\} = \{\alpha, \gamma\} \{\gamma, \beta\}\{-1, \gamma\} \quad \text{für} \quad \alpha + \beta = \gamma \] durch ein Iterationsverfahren zu einem expliziten Ausdruck \(l\)-adischer Natur, der für \(n = 1\) und \(\alpha, \beta \equiv 1 (\lambda^2)\) im \(l\)-ten Kreisteilungskörper die Gestalt annimmt: \[ \bigg(\dfrac{\alpha}{\beta}\bigg) : \bigg(\dfrac{\beta}{\alpha}\bigg) = \zeta^{ \sum\limits_{\varkappa=1}^{l-1} \varkappa\cdot \tfrac{ N(\alpha^{\zeta-\varkappa})-1 }{l} \cdot \tfrac{ N(\beta^{\zeta\varkappa})-1 }{l}}. \]