Untergruppensatz von Kurosch

Der Untergruppensatz v​on Kurosch, benannt n​ach Alexander Gennadjewitsch Kurosch, i​st ein mathematischer Satz a​us dem Bereich d​er Gruppentheorie. Er beschreibt d​ie Struktur v​on Untergruppen freier Produkte u​nd stellt e​ine Verallgemeinerung d​es Satzes v​on Nielsen-Schreier dar.

Formulierung des Satzes

Es sei das freie Produkt der Gruppen und eine Untergruppe. Dann ist

.

Dabei i​st

eine freie Gruppe,
für jedes ein Repräsentantensystem der -Doppelnebenklassen.

Ist zusätzlich der Index , so hat die freie Gruppe den Rang

.[1][2][3]

Beziehung zum Satz von Nielsen-Schreier

Der Untergruppensatz von Kurosch ist stärker als der Satz von Nielsen-Schreier. Letzterer ergibt sich aus ersterem durch Spezialisierung auf , wie hier kurz zur Verdeutlichung der Begriffe ausgeführt werden soll.

Ist für alle , so ist die freie Gruppe vom Rang . Eine Untergruppe hat die angegebene Struktur. Mit ist auch und daher jedes trivial oder ebenfalls isomorph zu . Daher ist das freie Produkt freier Gruppen und damit selbst frei. Also ist gezeigt, dass jede Untergruppe einer freien Gruppe wieder frei ist, und das ist die qualitative Aussage aus dem Satz von Nielsen-Schreier.

Zur quantitativen Aussage des Satzes von Nielsen-Schreier beschränken wir uns auf eine endliche Indexmenge . Die unendliche zyklische Gruppe sei jeweils von erzeugt. Da der Index von in endlich ist, können die Nebenklassen nicht alle verschieden sein. Es muss daher ein geben mit und daher auch ein mit Da , ist , also

Diese Untergruppe ist also nicht trivial und daher isomorph zu . Damit ist

    (da sich die Ränge freier Gruppen bei freien Produkten addieren)
    (nach der Rangformel aus dem Untergruppensatz von Kurosch)
,

und d​as ist g​enau die Formel a​us dem Satz v​on Nielsen-Schreier.[4]

Einzelnachweise

  1. D.J.S. Robinson: A Course in the Theory of Groups, Springer-Verlag 1996, ISBN 978-1-4612-6443-9, Satz 6.3.1.: The Kuroš Subgroup Theorem
  2. Wilfried Imrich in Combinatorial Mathematics V, Springer Verlag (1976), Lecture Notes in Mathematics 622, Subgroups and Graphs, Kapitel 9: The Kurosh Subgroup Theorem
  3. Wilhelm Specht: Gruppentheorie. Springer-Verlag (1956), Kapitel 2.2.2, Satz 8
  4. D.J.S. Robinson: A Course in the Theory of Groups, Springer-Verlag 1996, ISBN 978-1-4612-6443-9, Erläuterungen zu Satz 6.3.1.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.