Über vollständig reduzible Ringe und Unterringe. (Q571981)

Die inhaltsreiche Arbeit knüpft an den grundlegenden Aufsatz von \textit{E. Noether}, Hyperkomplexe Größen und Darstellungstheorie (M. Z. 30 (1929), 641-692; F. d. M. \(55_{\text{II}}\), 677) an. Hauptziel der Untersuchungen des Verf. ist die Behandlung der Beziehungen eines vollständig reduziblen Ringes zu seinen vollständig reduziblen Unterringen. Entstanden ist die Arbeit aus der Abhandlung von \textit{Frobenius}: Über Relationen zwischen den Charakteren einer Gruppe und denen ihrer Untergruppen (1898; F. d. M. 29, 102 (JFM 29.0102.*)-103). Die dort gegebenen ganzzahligen linearen Relationen zwischen den Charakteren der Elemente der Untergruppen bei den irreduziblen Darstellungen der Obergruppe und denjenigen der Obergruppe lassen sich ringtheoretisch deuten; dabei spielt der Gruppenring keine ausgezeichnete Rolle, vielmehr gelten entsprechende Relationen auch für Charaktere hyperkomplexer Systeme ohne Radikal. Die ringtheoretische Ausdehnung der \textit{Frobenius}schen Resultate gelingt dem Verf. durch Zuordnung eines Systems von ``charakteristischen'' Zahlen (Längen, Indices) zu den vollständig reduziblen Unterringen eines vollständig reduziblen Ringes; die charakteristischen Zahlen sind für alle äquivalenten Unterringe Klasseninvarianten. Aus der Gesamtheit der Unterringklassen werden speziellere, nämlich die Darstellungsunterringklassen, ausgesondert. Ist der Oberring \(\mathfrak o\) direkter, endlicher Modul über dem Unterring \(\bar \mathfrak o\), so wird \(\bar \mathfrak o\) als Darstellungsunterring von \(\mathfrak o\) bezeichnet, und die Basiszahl von \(\mathfrak o\) über \(\bar \mathfrak o\) heißt der Darstellungsindex, der auch Klasseninvariante ist.