\(p\)-Algebren. (Q2605913)

Als \(p\)-Algebren werden die normalen einfachen Algebren über einem Körper \(P\) der Charakteristik \(p\) bezeichnet, deren Rang eine Potenz von \(p\) ist. Haupthilfsmittel zu ihrer Strukturuntersuchung ist der Satz, daß jeder normale Schiefkörper vom Rang \(p^2\) über \(P\), der einen durch eine \(p\)-te Wurzel erzeugten maximalen Teilkörper enthält, zyklisch ist. (Vgl. \textit{A. A. Albert}, Trans. Amer. math. Soc. 39 (1936), 183-188; zweitletztes Referat.) -- Über die wichtigsten Zerfällungskörper der \(p\)-Algebren, die ``rein inseparablen'' Oberkörper \(I\) von \(P\) (jedes über \(P\) separable Element von \(I\) liegt in \(P\)), werden einige Sätze abgeleitet. Ein Element \(\alpha\) von \(P\) heißt von der Teilmenge \(\mathfrak M\) von \(P\) \(p\)-abhängig, wenn \(\alpha\in P^p(\mathfrak M)\), \(\root p \of {\alpha}\in P\left(\root p \of {\mathfrak M}\right)\). Es gibt dann eine Menge \(\mathfrak M\), so daß \(P^p(\mathfrak M)=P\), während jede endliche Teilmenge von \(\mathfrak M\) \(p\)-unabhängig ist. Die allen solchen Mengen gemeinsame Mächtigkeit heißt der Unvollkommenheitsgrad von \(P\). Er ist 0 für vollkommene Körper und 1 z. B. für algebraische Funktionenkörper mit vollkommenem Konstantenkörper sowie für Potenzreihenkörper über einem vollkommenen Konstantenkörper. Hat \(P\) den Unvollkommenheitsgrad 1, so ist, wenn \(\alpha\) keine \(p\)-te Potenz in \(P\) ist, \(P\left(\root {p^e}\of {\alpha}\right)\) der einzige rein inseparable Oberkörper von \(P\) ``vom Exponenten \(e\)'' (die \(p^e\)-te Potenz jedes Elementes dieses Körpers liegt in \(P\)). -- Nach diesen Vorbereitungen beginnt die eigentliche Strukturuntersuchung der \(p\)-Algebren. Aus der (bekannten) Existenz separabler Zerfällungskörper ergibt sich die Existenz rein inseparabler Zerfällungskörper, und es läßt sich nun zeigen, daß jede \(p\)-Algebra einem direkten Produkt zyklischer \(p\)-Algebren ähnlich ist. Ist speziell der Unvollkommenheitsgrad von \(P\) 1, so ist jede \(p\)-Algebra zyklisch, und ihr Exponent ist gleich ihrem Index. -- Zum Schluß wird eine Normalform für die einfachste nichtzyklische \(p\)-Algebra aufgestellt.