Normal basis of a quasifield. (Q2586035)

\(P\) sei ein Schiefkörper, \(\mathfrak G\) eine endliche Gruppe von äußeren Automorphismen \(E,S,\dots, T, \varPhi\) der zu \(\mathfrak G\) gehörige invariante Teilkörper. Dann hat nach \textit{N. Jacobson} (s. nachstehend besprochene Arbeit) P den (Rechts- und Links-) Rang \(n\) über \(\varPhi\). Hier wird bewiesen, daß \(P\) sogar eine Normalbasis über \(\varPhi\) hat, d. h. es existiert ein Element \(b\) in \(P\), so daß \(b^E, b^S, \dots, b^T\) eine linear unabhängige Linksbasis von \(P\) über \(\varPhi\) bilden. Der Beweis ist eine Verallgemeinerung eines Deuringschen Beweises für den kommutativen Fall und benützt eine nichtkommutative Verschärfung des Hilbert-Speiserschen Satzes.