Maximal orders in rational cyclic algebras of composite degree. (Q2590469)

Es werden Basen von Maximalordnungen rationaler normaler Divisionsalgebren \(D\) von Primzahlpotenzgrad \(n = p^m > p\) angegeben. Die Bestimmung beruht wie bei \textit{R. Hull} (Trans. Amer. math. Soc. 38 (1935), 515-530; F. d. M. \(61_{\text{I}}\), 1040) auf der An\-gabe einer besonders einfachen Darstellung von \(D\) als zyklische Algebra \((Z, S, a)\), wobei insbesondere \(a\) eine ganze rationale Zahl sein soll. Ist \(z_1\),\dots, \(z_n\) die Hauptordnung von \(Z\) und \(u\) der Operator mit \(u^{-1}z_iu=z_i^S\), \(u^n = a\), so ist \(\big(\dots, u^{i-1}z_k,\dots\big)\) (\(i, k = 1\), 2,\dots, \(n\)) eine Ordnung in \(D\), deren Erweiterungen zu maximalen Ordnungen unter Ausnutzung der durch die vorgenommene Konstruktion erreichten speziellen Eigenschaften von \(Z\) und \(a\) studiert werden. Zum Schluß beweist Verf., daß das direkte Produkt von Maximalordnungen zweier normaler einfacher Algebren dann und nur dann eine Maximalordnung der Produktalgebra ist, wenn ihre Diskriminanten teilerfremd sind. Obwohl jede Algebra direktes Produkt von Algebren von Prim\-zahlpotenzgrad ist, ist deshalb eine Maximalordnung einer beliebigen Algebra im all\-gemeinen nicht das Produkt von Maximalordnungen aus Algebren von Primzahl\-potenzgrad.