Polyzyklische Gruppe
Polyzyklische Gruppen sind spezielle im mathematischen Teilgebiet der Gruppentheorie betrachtete Gruppen. Sie setzen sich aus zyklischen Gruppen zusammen.
Definition
Eine Gruppe heißt polyzyklisch, falls es eine endliche Kette
gibt, so dass jede Faktorgruppe zyklisch ist. Das Symbol steht dabei, wie üblich, für "ist Normalteiler in".
Beispiele
- Jede zyklische Gruppe ist polyzyklisch.
- Jede endliche, auflösbare Gruppe ist polyzyklisch, denn eine Auflösung kann zu einer solchen mit einfachen Faktoren verfeinert werden, und einfache abelsche Gruppen sind zyklisch.
- Jede überauflösbare Gruppe ist polyzyklisch, insbesondere sind endlich erzeugte nilpotente Gruppen polyzyklisch.
- Die unendliche Diedergruppe ist polyzyklisch, aber nicht nilpotent.
Eigenschaften
- Untergruppen, homomorphe Bilder und Erweiterungen polyzyklischer Gruppen sind wieder polyzyklisch.
- Polyzyklische Gruppen erfüllen die Maximalbedingung für Untergruppen, das heißt jede nicht-leere Menge von Untergruppen besitzt ein maximales Element.
- Beweis: Für zyklische Gruppen ist das klar und die Maximalbedingung setzt sich auf Erweiterungen fort.
- Jede Untergruppe einer polyzyklischen Gruppe ist endlich erzeugt, denn das ist äquivalent zur Maximalbedingung.
- Jede polyzyklische Gruppe ist residuell endlich, das heißt zu jedem von 1 verschiedenen Element gibt es einen Normalteiler mit endlichem Index, der das Element nicht enthält.
- Die Frattinigruppe einer polyzyklischen Gruppe ist nilpotent.
- Ist G eine Gruppe, die eine polyzyklische Untergruppe mit endlichem Index enthält, so ist der Gruppenring bzgl. eines Körpers K noethersch.
Äquivalente Charakterisierungen
- Eine Gruppe ist genau dann polyzyklisch, wenn sie auflösbar ist und der Maximalbedingung genügt.
- Eine Gruppe G ist genau dann polyzyklisch, wenn es eine Reihe aus Normalteilern gibt, so dass alle Faktoren entweder eine endlich erzeugte freie abelsche Gruppe oder eine endliche elementar abelsche Gruppe ist.
- Die polyzyklischen Gruppen sind bis auf Isomorphie genau die auflösbaren Untergruppen der , der ganzzahligen allgemeinen linearen Gruppe.
- Dass auflösbare Untergruppen der polyzyklisch sind, wurde bereits 1951 von Anatoli Malzew bewiesen. Der Beweis der von Philip Hall vermuteten Umkehrung gelang 1967 Louis Auslander, der Beweis konnte von Richard Swan erheblich vereinfacht werden.
Hirsch-Länge
Die zyklische Reihe in der Definition der polyzyklischen Gruppe ist nicht eindeutig festgelegt, wie schon das einfache Beispiel zeigt. Aber die Anzahl der zu isomorphen Faktoren hängt nicht von der zyklischen Reihe ab. Diese Anzahl heißt die Hirsch-Länge der polyzyklischen Gruppe, benannt nach K. A. Hirsch.
Basierend auf einem Artikel in: Wikipedia.de Seite zurück© biancahoegel.de
Datum der letzten Änderung: Jena, den: 27.12. 2021