Une propriété du discriminant des corps algébriques. (Q563590)

Nach \textit{Stickelberger}-\textit{Schur} ist die Diskriminante jedes algebraischen Zahlkörpers \(\equiv 0\) oder \(1\mod 4\). Nach \textit{Hecke} liegt die Diskriminante jedes algebraischen Zahlkörpers in bezug auf einen Teilkörper im Quadrat einer Idealklasse dieses Teilkörpers. Verf. beweist einen Satz, der diese beiden Sätze enthält: Sei \(K\) ein über \(k\) metazyklischer algebraischer Zahlkörper vom Grade \(n\). Die Diskriminante von \(K/k\) ist von der Form \[ \mathfrak d=\mathfrak a^2(\alpha ). \] Dabei ist 1) \(\alpha \equiv 1\mod {\mathfrak b}\) wo \(\mathfrak b\) der größte zu \(\mathfrak d\) prime Teiler von 4 ist; 2) \(\alpha \) nur für diejenigen reellen unendlichen Primstellen negativ, für die \(K\) komplex ist, und zwar nur wenn \(n\equiv 2\mod 4\) ist. Verf. vermutet, daß dieser Satz - wie die genannten Sätze von \textit{Stickelberger}-\textit{Schur} und \textit{Hecke} - unabhängig von der Voraussetzung gilt, daß \(K/k\) metazyklisch ist.