Auflösbare Gruppe/Kommutatorkriterium/Fakt

Eine Gruppe ${}G$ ist genau dann auflösbar,

wenn es ein ${}i$ derart gibt, dass die ${}i$-te iterierte Kommutatorgruppe ${}K^{i}(G)$ trivial wird.

Zum Beweis, Alternativen Beweis erstellen