Ein einfacher Beweis der sogenannten Zählertransformationsformel der Jacobischen Symbole. (Q563608)

Sei \(k\) ein die \(m\)-ten Einheitswurzeln enthaltender algebraischer Zahlkörper, \(K\) ein Erweiterungskörper endlichen Grades über \(k\), \(\mathfrak a\) ein zu \(m\) primes Ideal aus \(k\) und \(\alpha \) eine zu \(\mathfrak a\) prime Zahl aus \(K\). Dann gilt nach \textit{Takagi} für das \(m\)-te Potenzrestsymbol die Zählertransformationsformel \[ \left (\frac {\alpha }{\mathfrak a}\right )_K=\left (\frac {N(\alpha )}{\mathfrak a}\right )_k. \] Verf. stellt den früher von \textit{Takagi} und Ref. gegebenen Beweisen einen neuen Beweis für diese Formel zur Seite, der auf der \textit{Ore}schen Theorie des Zusammenhangs der Primzerlegung für \(K/k\) mit dem Kongruenzverhalten einer erzeugenden Gleichung für \(K/k\) beruht.