Auflösbare Gruppe/Untergruppe ebenfalls/Fakt/Beweis

Beweis

Wir gehen von einer auflösenden Filtrierung

aus, d.h., dass die Normalteiler in und die Restklassengruppen kommutativ sind. Die Untergruppe besitzt durch eine induzierte Filtrierung. Dabei liegt das kommutative Diagramm

vor. Wir betrachten den Homomorphismus

Der Kern von ist offenbar . Daher ist nach Fakt ein Normalteiler in , und der Quotient ist nach Fakt eine Untergruppe von und damit kommutativ. Also bilden die eine auflösende Filtrierung von .