On the theory of Schur-Rings

Zusammenfassung Diese Arbeit versucht, die von Issai Schur1] entdcckte und von Wielandt (14], 15], 16], 17]) betr?chtlich neiterentwickelte Methode zur Untersuchung von endlichen Permutationsgruppen zu einer Theorie der Schur-Ringe zu entfalten. Der Grundgedanke ist sehr einfach: Die Schur-Ringe werden nicht als eine spezielle Klasse von Ringen aufgefaβt, sondern als eine eigene mathematische Struktur. Nach unserer heutigen Ansicht f?llt der Begriff der mathematischen Struktur weitgehend mit dem Begriff der Kategorie zusammen. Daher wird für die Schur-Ringe (genauer: für die Schur-Algebren) ein eigener Homomorphiebegriff (Definition1.5) eingeführt, der eine Kategorie liefert (Theorem1.6). Ein weiterer Leitgedanke ist mit dem kategoriellen Grundgedanken sehr eng verknüpft. Die Theorie der Schur-Ringe wird als eine Verallgemeinerung der Theorie der endlichen Gruppen aufgefaβt und in diesem Sinne entwickelt. Dabei ist die Theorie der endlichen Gruppen vermittelst der Gruppenringe der endlichen Gruppen (die eine spezielle Teilkategorie der Kategorie aller Schur-Ringe sind) in die Theorie der Schur-Ringe eingefügt. Hierfür ist es wichtig, daβ die Morphismen der Gruppenringe in der Kategorie der Schur-Ringe genau die von den Gruppenhomomorphismen induzierten Gruppenringhomomorphismen sind. Die Einbettung der Theorie der endlichen Gruppen in die Theorie der Schur-Ringe vollzieht sich entlang dreier Entwicklungslinien. Die erste ist eine verallgemeinerte Charakterentheorie (2], 3], 5], 6], 7] und8]), die die Theorie der (gen?hnlichen) Charaktere von endlichen Gruppen als Spezialfall enth?lt. Die zweite ist die Verknüpfung der Struktur jedes Schur-Ringes T auf einer endlichen Gruppe G mit gewissen Klassen von Untergruppen von G. Es werden die Begriffe der T-Untergruppe (Abschnitt 3), des T-Normalteilers (Abschnitt 4), und der T-subnormalen Untergruppe (Abschnitt 8) eingeführt. Die T-Untergruppen bilden einen Teilverband des Verbandes aller Untergruppen von G (Theorem3.4). Die T-Normalteiler sind genau die Kerne (Definition6.1) der Homomorphismen der Schur-Algebren QT (Theoreme6.2 und6.3). Der dritte und wohl zugleich der wichtigste Aspekt ist die Gültigkeit des Homomorphiesatzes (Theorem6.2) und der Isomorphies?tze (Theoreme7.1 und7.2) für Schur-Algebren. Auf diese S?tze gründet sich der Vier-Untergruppen-Satz (Zassenhaus’ Lemma; Theorem9.1), der den Verfeinerungssatz für T-Subnormalketten (Theorem9.2) und den Jordan-H?lder Satz für T-Kompositionsketten (Theorem10.3) nach sich zieht. Als die Theorie der Schur-Ringe ungef?hr den soeben geschilderten Stand erreicht hatte, tauchte die Idee auf, diese Theorie auf beliebige Gruppen zu verallgemeinern (9], 10], 11], 12], 13]). Das führte zum Begriff der Schur-Halbgruppe (Definition1.9). Der zugeh?rige Homomorphiebegriff (Definition1.11) liefert die Kategorie aller Schur-Halbgruppen (Theorem1.12), die die Kategorie aller Gruppen als echte Teilkategorie enth?lt. Jedem Schur-Ring T über einer endlichen Gruppe G wird eine Schur-HalbgruppeT über G zugeordnet (Theorem1.15). Jedem Homomorphismus ϕ einer Schur-Algebra ΘT über G wird ein Homomorphismus φ vonT zugeordnet (Theorem1.16). Das Paar der Zuordnungen ΘT →T, ϕ → Φ ist ein Funktor auf der Kategorie aller Schur-Algebren in die Kategorie aller Schur-Halbgruppen über endlichen Gruppen (Theorem1.17).