Diskriminantenformel für normale einfache hyperkomplexe Systeme. (Q2620079)

Anschließend an die vorstehend besprochene Arbeit stellt Verf. die explizite Diskriminantenformel für normal-einfache hyperkomplexe Systeme auf. Sie lautet (unter Berücksichtigung der Berichtigung am Schluß der nachstehend besprochenen Arbeit): Der Diskriminante \(\mathfrak {d}\) eines normal-einfachen Systems vom Range \(n\) über einem algebraischen Zahlkörper \(K\) ist \(\mathfrak {b} = \prod \mathfrak {p}^{(1-\frac {1}{m_\mathfrak {p}})n^2}\), wo \(m_\mathfrak {p}\) den \(\mathfrak {p}\)-Index des Systems bedeutet und das Produkt über alle Primideale \(\mathfrak {p}\) von \(K\) erstreckt wird. Setzt man \(\mathfrak {b}_r = \prod \mathfrak {p}^{(1-\frac {1}{m_\mathfrak {p}})}, \text{ also} \;\mathfrak {b} = \mathfrak {b}_r^{n^2},\) so ist \(\mathfrak {b}_r\) eine Invariante der Algebrenklasse, die Diskriminante der Algebrenklasse genannt wird. Hierfür gilt: Die Diskriminante der Algebrenklasse über einem algebraischen Zahlkörper \(K\) ist ein Teiler der \(m\)-ten Potenz der Relativdiskriminante jedes regulären Zerfällungskörpers des Grades \(m\) über \(K\).