Jabarkan Definisi dari Grup berpenyelesaian

Grup  disebut berpenyelesaian jika memiliki deret subnormal yang grup faktor (grup hasil bagi) semuanya grup Abel, yaitu, jika ada subgrup , maka  adalah subgrup normal di , dan  adalah grup Abel, karena .

Atau setara, jika deret jabaran, deret normal menurun