Über das Produkt zweier Algebrenklassen mit zueinander primen Diskriminanten. (Q2620080)

Die Diskriminante des Produktes zweier Algebrenklassen (vgl. vorstehendes Referat) mit zueinander primen Diskriminanten ist das Produkt der Diskriminanten der Algebrenklassen. Sind ferner \(\mathfrak {S}\) und \(\mathfrak {T}\) normale einfache Systeme, \(\mathfrak {o}_\mathfrak {S} \text{ und} \^^M\mathfrak {o}_\mathfrak {T}\) Maximalordnungen von \(\mathfrak {S}\) bzw. \(\mathfrak {T}\), so heißt die durch \(\mathfrak {o}_\mathfrak {S}\) und \(\mathfrak {o}_\mathfrak {T}\) erzeugte Ordnung von \(\mathfrak {S} \times \mathfrak {T}\) das direkte Produkt \(\mathfrak {o}_\mathfrak {S} \times \mathfrak {o}_\mathfrak {T}\) von \(\mathfrak {o}_\mathfrak {S} \text{ und} \;\mathfrak {o}_\mathfrak {T}\). Hierfür gilt: Das direkte Produkt von \(\mathfrak {o}_\mathfrak {S} \text{ und} \;\mathfrak {o}_\mathfrak {T}\) ist dann Maximalordnung von \(\mathfrak {S} \times \mathfrak {T}\), wenn die Diskriminanten von \(\mathfrak {S} \text{und} \;\mathfrak {T}\) zueinander prim sind. Auschließend werden einige Resultate über die Idealtheorie in der Maximalordnung \(\mathfrak {o}_\mathfrak {S} \times \mathfrak {o}_\mathfrak {T}\) abgeleitet.