Über die Galoissche Theorie der halbeinfachen hyperkomplexen Systeme. (Q563377)

Es sei \(\mathfrak Z\) ein vollkommener Körper, der aus mindestens drei Elementen besteht, und \(\mathfrak S\) ein einfaches hyperkomplexes System mit dem Zentrum \(\mathfrak Z\). Zu jeder Teilmenge \(\mathfrak T\) von \(\mathfrak S\) wird die Menge \(V(\mathfrak T)\) aller Elemente von \(\mathfrak S\) eingeführt, die mit jedem Element von \(\mathfrak T\) vertauschbar sind; \(V(\mathfrak T)\) ist offenbar Unterring von \(\mathfrak S\), der \(\mathfrak Z\) enthält. Mit \(\mathfrak Z^\ast \), \(V^\ast (\mathfrak T)\), \(\mathfrak S^\ast \) mögen die Einheitengruppen bzw. der Ringe \(\mathfrak Z\), \(V(\mathfrak T)\), \(\mathfrak S\) bezeichnet werden. Das wesentliche Resultat des Verf. lautet dann folgendermaßen: Ist \(\mathfrak T\) ein \(\mathfrak Z\) umfassendes, halbeinfaches hyperkomplexes Teilsystem von \(\mathfrak S\), so ist auch \(V(\mathfrak T)\) ein \(\mathfrak Z\) umfassendes, halbeinfaches hyperkomplexes Teilsystem von \(\mathfrak S\) und \(V (V(\mathfrak T)) = \mathfrak T\). Außerdem ist \(V^\ast (\mathfrak T)/\mathfrak Z^\ast \) Gruppe \(U\) aller Ringautomorphismen von \(\mathfrak S\) isomorph, bei denen jedes Element aus \(\mathfrak T\) identisch auf sich abgebildet wird. Dieses Ergebnis wird in einer Fassung formuliert, welche eine weitgehende Analogie zu der klassischen \textit{Galois}schen Theorie zu erkennen gibt: Die mit \(V^\ast (\mathfrak Z)/\mathfrak Z^\ast =\mathfrak S^\ast /\mathfrak Z^\ast \) isomorphe Gruppe \(G\) aller Ringautomorphismen von \(\mathfrak S\), die \(\mathfrak Z\) elementweise auf sich abbilden, wird die ``galoissche Gruppe'' von \(\mathfrak S\) bezüglich \(\mathfrak Z\) genannt. Bezeichnet man eine Untergruppe \(\mathfrak T^\ast /\mathfrak Z^\ast \) von \(\mathfrak S^\ast /\mathfrak Z^\ast \) als abgeschlossen, wenn \(\mathfrak T^\ast \) die Einheitengruppe eines \(\mathfrak Z\) umfassenden, halbeinfachen hyperkomplexen Teilsystems \(\mathfrak T\) von \(\mathfrak S\) ist, so besagt der Satz des Verf., daß durch die Zuordnung \(\mathfrak T\rightarrow V^\ast (\mathfrak T)\) ein umkehrbar eindeutiger Zusammenhang zwischen den \(\mathfrak Z\) umfassenden, halbeinfachen hyperkomplexen Teilsystemen von \(\mathfrak S\) einerseits und den abgeschlossenen Untergruppen von \(\mathfrak S^\ast /\mathfrak Z^\ast \) andererseits hergestellt wird, derart, daß die Gruppe \(U\), die bei der zwischen \(\mathfrak S^\ast /\mathfrak Z^\ast \) und \(G\) bestehenden isomorphen Beziehung der Untergruppe \(\mathfrak T^\ast /\mathfrak Z^\ast \) von \(\mathfrak S^\ast /\mathfrak Z^\ast \) entspricht, aus allen Automorphismen von \(\mathfrak S\) besteht, welche die Elemente von \(\mathfrak T\) invariant lassen, während \(\mathfrak T\) aus allen Elementen von \(\mathfrak S\) besteht, die bei den zu \(U\) gehörigen Automorphismen von \(\mathfrak S\) invariant bleiben. Unter einigen zusätzlichen Bedingungen werden ähnliche Sätze auch für ein halbeinfaches hyperkomplexes System \(\mathfrak S\) bewiesen.