Über die endliche Gruppe der Algebrenklassen mit einem Zerfällungskörper. (Q2620077)

Die Arbeit schließt sich eng an eine Untersuchung des Ref. (\textit{R. Brauer}, Über die Konstruktion der Scheifkörper, die von endlichem Rang in bezug auf ein gegebenes Zentrum sind, J. f. M. 168 (1932), 44-64; F. d. M. 58) an. Ist ein Faktorensystem über dem Grundkörper \(K\) gegeben, so gibt es normale Erweiterungskörper \(K(\vartheta )\), in denen sich das Faktorensystem allein mit Hilfe von Einheitswurzeln schreiben läßt. Ref. hatte dann gezeigt, daß man dann das Faktorensystem durch eine Erweiterung einer zyklischen Gruppe mit Hilfe der galoisschen Gruppe \(\mathfrak {G}\) von \(K(\vartheta )\) über \(K\) charakterisieren kann. Dann und nur dann ist das Faktorensystem zum Einssystem assoziiert, d. h. die zugehörige Divisionsalgebra mit \(K\) selbst identisch, wenn \(K(\vartheta )\) sich in einen Normalkörper über \(K\) mit gewisser galoisscher Gruppe einbetten läßt. - Verf. betrachtet nun statt eines einzelnen Faktorensystems eine Gruppe \(\mathfrak {K}\) von Faktorensystemen in \(K(\vartheta )\), die sich mit Einheitswurzeln schreiben lassen. Dazu kann man dann eine Erweiterung \(\mathfrak {H}\) von \(\mathfrak {K}\) mit Hilfe von \(\mathfrak {G}\) konstruieren. Ist umgekehrt \(\mathfrak {H}\) gegeben, so kann man leicht die Faktorensysteme von \(\mathfrak {K}\) konstruieren. Es gilt dann ein entsprechender Einbettungssatz wie der oben erwähnte, zumindesten wenn der Grundkörper ein algebraischer Zahlkörper endlichen Grades ist. Ist, wie man annehmen darf, die Erweiterung \(\mathfrak {H}\) reduziert (d. h. ist für keine echte Untergruppe \(\mathfrak {H'}\) von \(\mathfrak {H}\) die Gleichung \(\mathfrak {H} = \mathfrak {H'} \mathfrak {K}\) richtig), so sind dann und nur dann alle zugehörigen Faktorensysteme zum Einheitssystem assoziiert, wenn \(K(\vartheta )\) sich in einen Normalkörper \(K(\eta )\) über \(K\) einbetten läßt, dessen galoissche Gruppe die Erweiterung \(\mathfrak {H}\) von \(\mathfrak {K}\) mit Hilfe von \(\mathfrak {G}\) ist.