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.