On the theory of equations of prime degree solvable in radicals. (Q563248)

Auf S. 183 beweist Verf., und zwar unter Heranziehung der Funktionalgleichung der Zetafunktion, die Diskriminantenformel \(\varDelta _{\boldsymbol N} = \varDelta _{\boldsymbol K}^{\frac {p-1}\varkappa }\varDelta _{\boldsymbol Z}\) für den Normalkörper \(\boldsymbol N =\boldsymbol K\boldsymbol Z\) eines metazyklischen Körpers \(p\)-ten Grades mit der Gruppe \(\{S,T^\varkappa \}\); \(S^p=T^{p-1}=1\); \(ST=TS^r\), \(r\) Primitivwurzel \(\text{mod }p\). Dies ergibt für binomische Körper die Diskriminantengestalt \(\varDelta _{\boldsymbol K} = p^{p-2}p^m(p_1\cdots p_n)^{p-1}\) mit \(m=0, 2\) oder \(p+1\). Bei der als Hauptsatz auf S. 189 formulierten ümkehrung für den Fall, daß \(p_1,\ldots,p_n\) Primitivwurzeln \(\text{mod }p\) sind, muß d er Fall \(\varDelta _{\boldsymbol K}=p^{p-2}\) wegen möglicher Teilbarkeit der Klassenzahl von \(Z = P(\zeta )\) durch \(p\) ausdrücklich ausgeschlossen werden, um von der Diskriminantengestalt auf binomische Körper schließen zu können, und es muß auf S. 190, Z. 5 das \(\lambda \) als \(p\)-te Idealpotenz angesetzt werden (vgl. die Vervollständigung in [ibid. 176, 1--11 (1936; Zbl 0015.05803; JFM 62.0163.03)]). (III 7.)