Über die algebraische Struktur von Schiefkörpern. (Q563374)

Die Schief körper endlichen Ranges über einem vollkommenen Körper als Zentrum bilden hinsichtlich folgender Verknüpfung eine abelsche Gruppe: Zwei Schiefkörpern \(A\) und \(B\) wird als Produkt der Schiefkörper zugeordnet, über dem das direkte Produkt \(A\times B\) volle Matrixalgebra ist. (Invers zu \(A\) ist dann der reziprok isomorphe Schiefkörper.) Jedes Element \(A\) dieser Gruppe hat eine endliche Ordnung; sie geht im Index \(m\) von \(A\) auf und ist durch alle Primteiler von \(m\) teilbar. Daraus folgt leicht, daß jeder Schiefkörper direktes Produkt von Schiefkörpern von Primzahlpotenzrang ist. Ein \textit{E. Noether}scher Satz aus der \textit{Galois}schen Theorie der Schiefkörper wird folgendermaßen verallgemeinert: Ist \(A\) einfache Algebra über dem Zentrum \(K\) und \(B\) einfache Teilalgebra über \(K\), so bilden die mit \(B\) elementweise vertauschbaren Elemente von \(A\) eine einfache Algebra \(\varGamma \) über demselben Zentrum \(Z\) wie \(B\). Für die Rangzahlen \(a,b,c\) von \(A, B,\varGamma \) dabei \(a=bc\). - Ferner wird gezeigt : Ist \(Z\) Teilkörper von \(A\) und \(\varGamma \) die größte Teilalgebra von \(A\) mit \(Z\) als Zentrum, so sind \(A_Z=A\times Z\) und \(\varGamma \) volle Matrixalgebren über dem gleichen Schiefkörper. Ist schließlich wieder \(Z\) das gemeinsame Zentrum der beiden Teilalgebren \(B\) und \(\varGamma \), wobei \(\varGamma \) die mit \(B\) elementweise vertauschbare Teilalgebra, so ist das über \(Z\) gebildete direkte Produkt \(B\times \varGamma \) die maximale Teilalgebra von \(A\) mit \(Z\) als Zentrum. Diese Sätze ermöglichen es, einige schon bekannte Sätze aufs neue zu beweisen und außerdem die Aufgabe, alle Teilschiefkörper eines gegebenen Schiefkörpers \(A\) zu finden, auf die Aufgaben zurückzuführen, alle das Zentrum von \(A\) enthaltenden Teilkörper von \(A\) und alle Darstellungen von \(A\) als direktes Produkt zweier Schiefkörper mit demselben Zentrum wie \(A\) anzugeben. Die erste der beiden Aufgaben kann in gewissem Sinn als gelöst betrachtet werden, die zweite zum Teil durch die Sätze über die Gruppe der Schiefkörper. Zum Schluß wird gezeigt, wie man durch Anwendung dieser Sätze auf eine gewisse Algebra (``verschränktes Produkt beim Faktorensystem 1'') den Hauptsatz der gewöhnlichen \textit{Galois}schen Theorie gewinnen kann.