Beschreibung
Definition
Sei eine Gruppe und eine Familie von Untergruppen, bei denen jeweils isomorph bzgl. Isomorphie sind.
Eine Untergruppe , sodass wird eine Gute Untergruppe genannt
Eigenschaften
Für eine einfache HNN-Erweiterung mit nur einer Isomorphie sind die einfachen Gruppen alle Gruppen, die Untergruppe des Schnitts der isomorphen sind.
Für mehr Isomorphien sind die Untergruppen alle Komplexprodukte der Schnitte von zwei isomorphen Untergruppen.