Sets of integral elements of certain rational division algebras. II. (Q2598734)

Gegenstand der Untersuchung sind rationale assoziative Divisionsalgebren \(D\) vom Rang 9 mit der Basis \(y^ix^j\) (\(i, j = 0, 1, 2\)), wo \(x\) der zyklischen Gleichung \[ x^3 - 3x+1 = 0 \tag{*} \] genügt, und \(y^3 =\delta\) eine ganze rationale Zahl ist. Sind \(\zeta\), \(\zeta'= \varTheta(\zeta) = \zeta^2 - 2\), \(\zeta''=\varTheta(\zeta')= \zeta^{\prime2}-2\) die Wurzeln von (*), so ist die Multiplikation durch \(xy= y\varTheta(x)\) gegeben. Es werde \(\delta =\eta\varepsilon\) gesetzt, wo \(\eta\) aus 3 und Primfaktoren von der Form \(9m\pm 1\) zusammengesetzt ist, während \(\varepsilon\) nur Primfaktoren von der Form \(9m\pm 2\) und \(9m\pm 4\) enthält und kein Kubus sein soll. In der ersten Arbeit wird gezeigt: Ist \(\varepsilon\equiv\pm2\) oder \(\pm 4\pmod 9\), so gibt es in \(D\) genau eine Maximalordnung, die die Basis \(y^i x^j\) enthält. Der übrigbleibende Fall, wo \(\varepsilon\equiv \pm 1\pmod 9\), wird in der zweiten Arbeit behandelt. Hier gibt es je drei Maximalordnungen, die die Basis enthalten.