Über eine spezielle Algebra. (Q563397)

Ist \(k\) ein quadratischer Körper mit der galoisschen Gruppe \(\varrho,\varrho ^2=1\) und \(K\) ein relativzyklischer Oberkörper über \(k\) vom ungeraden Primzahlrelativgrad \(l\) von der Art, daß die Relativgruppe durch die Potenzen von \(\varepsilon \) mit \(\varepsilon ^l=1\) gegeben wird, so sind die symbolischen Potenzen \(A^{f(\varepsilon )}\) der Zahlen \(A\) aus \(K\), wobei \(f(\varepsilon )\) eine ganze rationale Funktion von \(\varepsilon \) mit ganzen rationalen Koeffizienten bedeutet, für die Zahlentheorie von Wichtigkeit. Bei tieferliegenden Fragen werden auch symbolische Potenzen der Form \(A^{f(\varepsilon,\varrho )}\) benötigt, wobei \(f(\varepsilon,\varrho )\) eine ganze rationale Funktion von \(\varepsilon \) und \(\varrho \) mit ganzen rationalen Koeffizienten ist. Verf. untersucht die im allgemeinen nicht kommutative Algebra, die von den Exponenten \(f(\varepsilon,\varrho )\) gebildet wird. Von \(K\) wird noch vorausgesetzt, daß es ein absolut galoisscher Körper, der nicht zugleich Kreiskörper ist, sein soll, so daß zwischen \(\varrho \) und \(\varepsilon \) die Beziehungen gelten \(\varrho \varepsilon =\varepsilon ^{l-1}\varrho \), \(\varepsilon \varrho =\varrho \varepsilon ^{l-1}\), \(\varrho ^2=1\), \(\varepsilon ^l =1\). Hierdurch wird eine assoziative Algebra \(A\) mit den Elementen \[ \xi =\sum _{k=0}^{l-1}(u_k+v_k\varrho )\varepsilon ^k \] und der Haupteinheit 1 definiert. \(A\) ist halbeinfach, enthält weder eigentlich nilpotente Größen noch ein Radikal. Mit Hilfe zweier in \(A\) enthaltenen Idempotente wird \(A\) zerlegt in \(A=A_1+A_2+A_3\), wobei \(A_1\) und \(A_2\) Divisionsalgebren sind, was für \(A_3\) nicht zutrifft. Für \(A\) werden die maximalen Integritätsbereiche sowie alle ein- und zweiseitigen Primideale angegeben. Jedes Element von \(A_3\) läßt sich in der Form \[ \xi =\varphi (\zeta )+2\psi (\zeta )r \] darstellen, wo \(\varphi (\zeta )\) und \(\psi (\zeta )\) Zahlen des Körpers \(k(\zeta )\) der \(l\)-ten Einheitswurzeln, \(r=\frac {1-\varrho }2\) eines der beiden Idempotente aus \(A\) sind.