Multiplikation zyklischer Normalringe. (Q2605910)

In einer früheren -- vom Ref. mit T. zitierten -Arbeit: ``Verschränkte Produkte mit Normalringen'' (Deutsche Math. 1 (1936), 92-102; vorangehendes Referat) hat Verf. den Begriff eines Normalringes in bezug auf eine endliche Gruppe eingeführt. In dieser Arbeit handelt es sich um solche Normalringe, zu denen eine zyklische Gruppe \(\mathfrak G\) gehört, d. h. um ``zyklische'' Normalringe, die vom Verf. mit \((\mathfrak S, \sigma)\) bezeichnet werden, wobei \(\sigma\) ein erzeugendes Element der zugehörigen Gruppe bedeutet. \((\mathfrak S, \sigma)\) und \((\mathfrak S', \sigma')\) seien zwei zyklische Normalringe, die über dem gemeinsamen Grundkörper \(P\) beide denselben Rang \(n\) haben. Nach einem Ergebnis von T. ist dann \(\mathfrak S\times \mathfrak S'\) bezüglich der abelschen Gruppe \((\sigma)\times (\sigma')\) Normalring und die Gesamtheit \(\overline{\mathfrak S}\) aller bei \(\sigma\cdot\sigma^{\prime -1}\) festbleibenden Elemente von \(\mathfrak S\times\mathfrak S'\) ein Normalring in bezug auf die zyklische Restklassengruppe \(\{(\sigma) \times (\sigma')\}/(\sigma\cdot\sigma^{\prime-1})\), die von der durch \(\sigma\) repräsentierten Restklasse \(\overline\sigma\) modulo \((\sigma\cdot\sigma^{\prime-1})\) erzeugt wird. \((\overline{\mathfrak S},\overline{\sigma})\) wird als das ``Produkt'' von \((\mathfrak S, \sigma)\) und \((\mathfrak S', \sigma')\) definiert und gezeigt, daß die zyklischen Normalringe gleichhohen Ranges über \(P\) bei der eben definierten ``Multiplikation'' eine abelsche Gruppe bilden. Auf Grund allgemeiner Resultate von T. ist \((\mathfrak S,\sigma)\) direkte Summe endlich vieler isomorpher Körper \(\mathfrak S_1,\ldots,\mathfrak S_h\) und jeder dieser Körper \(\mathfrak S_i\) Normalring bezüglich der von \(\sigma^h\) erzeugten Gruppe \(\mathfrak G_i\) (vgl. das vorangehende Referat), \((\mathfrak S_i,\sigma^h)\) wird der zu. \((\mathfrak S, \sigma)\) gehörige Normalkörper genannt, dessen Struktur durch \((\mathfrak S, \sigma)\) eindeutig bestimmt ist. Zwei zyklische Normalringe \((\mathfrak S, \sigma)\) und \((\mathfrak S', \sigma')\) heißen dann ``ähnlich'', wenn die zu ihnen gehörigen Normalkörper isomorph sind. Auf Grund dieser Definition werden sämtliche zyklischen Normalringe über \(P\) in ``Ähnlichkeitsklassen'' eingeteilt, und hierauf wird auch für diese Klassen auf einem Umweg über verschränkte Produkte (im Sinne von T.) eine ``Multiplikation'' so definiert, daß die Klassen bei dieser Verknüpfung ebenfalls eine Gruppe bilden. Zum Schluß gibt Verf. noch einige Anwendungen seiner Theorie auf verschiedene Fragen der Algebra und Zahlentheorie.