Über die sogenannte nichtkommutative Galoissche Theorie und die Relation _, , _, , _, , ^ = _, , _ , , .
In der Galoisschen Theorie separabler Normalkörper \(N\) über \(P\) gilt eine eindeutige Korrespondenz zwischen den Untergruppen der Automorphismengruppe \(\mathfrak A\) und den Zwischenkörpern \(K\) von \(N\). Dabei kommen sowohl alle Zwischenkörper von \(N\) als auch alle Untergruppen von \(\mathfrak A\) wirklich vor. Verf. behandelt nun das entsprechende Problem für einen Schiefkörper, der Divisionsalgebra über einem Grundkörper \(P\) ist. Er beweist einen entsprechenden Satz für Schiefkörper \( N\) von endlichem Rang über einem Unterkörper \(P\) des Zentrums \(Z\) von \(N\). Für einfache Algebren \(A\) über \(P\) mit dem Zentrum \(P \subseteq Z \subseteq A\) gilt höchstens dann derselbe Satz für alle Zwischenalgebren \(X\) über \(P\), wenn \(Z/P\) separabel und Galoisch ist und jeder Automorphismus von \(Z/P\) sich in einen Automorphismus von \(A\) fortsetzen läßt. Ein Gegenbeispiel zeigt, daß dabei im allgemeinen noch eine Zusatzvoraussetzung nötig ist. Im zweiten Teil werden diese einfachen Algebren \(A\) über \(P\) betrachtet, deren Zentrum \(Z\) über \(P\) Galoissch ist, und bei denen jeder Automorphismus von \(Z/P\) sich in einen Automorphismus von \(A\) fortsetzen läßt. Wie jetzt gezeigt wird, hängt diese Eigenschaft nur von der Algebrenklasse ab und macht sich auch am Faktorensystem bemerkbar. Eine notwendige und hinreichende Bedingung für das Faktorensystem wird angegeben. Weiter wird gezeigt, daß ein hinreichendes Kriterium für obige Doppeleigenschaft die Möglichkeit der Einbettung der einfachen Algebra \(A\) in eine einfache Algebra \(B\) vom Range \((Z:P)\cdot (A:P)\) mit dem Zentrum \(P\) ist. Auch diese Einbettungsmöglichkeit hängt ebenfalls nur von der Algebrenklasse ab und legt ein Faktorensystem \(\xi_{\lambda, \mu, \nu}\) bis auf gewisse multiplikative Faktoren fest.
This page was built for publication: Über die sogenannte nichtkommutative Galoissche Theorie und die Relation \(\xi_{\lambda, \mu, \nu} \xi_{\lambda, \mu\nu, \pi} \xi_{\mu, \nu, \pi}^\lambda = \xi_{\lambda, \mu, \nu\pi} \xi_{\lambda \mu, \nu, \pi}\).
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2589569)
