Über die Konstruktion der Schiefkörper, die von endlichem Rang in bezug auf ein gegebenes Zentrum sind. (Q563375)

Über jedem Schiefkörper \(\varDelta \) endlichen Ranges über dem vollkommenen Körper \(K\) als Zentrum gibt es eine volle Matrixalgebra \(A\), die sich über \(K\) als verschränktes Produkt eines Normalkörpers \(K(\vartheta )\) mit seiner \textit{Galois}gruppe \(\mathfrak G\) schreiben läßt. \(A\) kann folgendermaßen dargestellt werden: Den Elementen \(G\) von \(\mathfrak G\) entspricht eine \(K(\vartheta )\)-Basis \(Z_G\) von \(A\); für \(\lambda \) aus \(K(\vartheta )\) ist \(\lambda Z_G=Z_G \lambda ^G\), und es ist \(Z_GZ_H=Z_{GH}c_{G,H}\) mit \(c_{G,H}\) aus \(K(\vartheta )\). \(K(\vartheta )\) kann so gewählt werden, daß die \(c_{G,H}\) Einheitswurzeln sind, und heißt dann regulärer Zerfällungskörper für \(c_{G,H}\) und \(\varDelta \). Diesem Faktorensystem entspricht dann, wenn die \(c_{G,H}\) etwa einer Gruppe \(\mathfrak N\) der Ordnung \(n\) von Einheitswurzeln aus \(K(\vartheta )\) angehören, vermöge der beiden obigen Gleichungen eine Erweiterung \(\mathfrak H\) von \(\mathfrak N\) mit Hilfe von \(\mathfrak G\). Durch \(K(\vartheta )\) und \(\mathfrak H\) ist \(\varDelta \) eindeutig festgelegt, aber nicht umgekehrt \(\mathfrak H\) durch \(\varDelta \) und \(K(\vartheta )\); nur eng assoziierte Faktorensysteme aus \(\mathfrak N\) liefern die gleiche Erweiterung von \(\mathfrak N\). Dabei heißen zwei Faktorensysteme \(c_{G,H}\) und \(c'_{G,H}\) eng assoziiert, wenn \(c'_{G,H}=c_{G,H}\frac {k_G^Hk_H}{k_{GH}}\) mit \(k_G\) aus \(\mathfrak N\). - Gibt es keinen echten Teiler \(n'\) von \(n\), so daß \(\mathfrak N\) durch die Gruppe der \(n'\)-ten Einheitswurzeln ersetzt werden kann, so heißt \(\mathfrak H\) reduziert. Es gilt dann: \(A\) ist dann und nur dann volle Matrixalgebra über \(K\), wenn man \(K(\vartheta )\) so in einen Normalkörper \(K(\vartheta ^\ast )\) über \(K\) einbetten kann, daß die \textit{Galois}gruppe von \(K(\vartheta ^\ast )\) die Erweiterung von \(\mathfrak N\) mit \(\mathfrak G\) ist. Auf Grund dieses Satzes werden auch die Fragen, ob zwei Erweiterungen von \(\mathfrak N\) mit \(\mathfrak G\) denselben Schiefkörper bestimmen und ob zwei Schiefkörper, die mit Hilfe verschiedener regulärer Zerfällungskörper gegeben sind, isomorph sind, auf Einbettungsprobleme zurückgeführt. Ebenso werden die Zerfällungskörper \(\tilde K\) von \(A\) durch die Lösbarkeit gewisser Einbettungsprobleme für \(\tilde K(\vartheta )/\tilde K\) charakterisiert, und die Bestimmung des Index und des Exponenten von \(A\) wird ebenfalls auf Einbettungsprobleme zurückgeführt. Nennt man einen Zerfällungskörper \(K(\vartheta )\) erst dann regulär, wenn \(n\) ein Teiler des Grades von \(K(\vartheta )\) ist, so gibt es nur endlich viel Schief körper mit \(K(\vartheta )\) als regulärem Zerfällungskörper. Schließlich wird gezeigt: Hat ein Schief körper den Index \(\mu \) und den Exponenten \(\nu \), so besitzt er reguläre Zerfällungskörper, deren Grad höchstens \(\mu !\varphi (\nu )\nu ^{\mu -1}\) ist. Als Anwendung dieser Sätze ergibt sich: \(K\) sei vollkommen, alle über \(K\) algebraischen Körper seien zyklisch. Ist \(K\) nach \textit{Artin}-\textit{Schreier} nicht reell, so gibt es keinen echten Schiefkörper über \(K\) als Zentrum. Ist \(K\) reell, so gibt es als echten Schiefkörper mit dem Zentrum \(K\) nur den der Quaternionen.