Teorema 2: setiap pemurnian deret solvabel adalah deret solvabel

Bukti:

Grup G disebut solvabel jika memiliki deret subnormal yang kelompok faktornya ( grup hasil)
semuanya abelian , yaitu, jika ada subkelompok 1 = 𝐺0 < 𝐺1 < 1 < G𝐺𝑘 = G sedemikian sehingga
𝐺𝑗−1 normal dalam 𝐺𝑗 , dan 𝐺𝑗 / 𝐺𝑗−1 adalah grup abelian, untuk j = 1, 2,…, k .

Atau ekuivalen, jika seri turunannya , seri normal turun:

G ►𝐺 1 ►𝐺 2 ►,.......,
di mana setiap subkelompok adalah subkelompok komutator dari yang sebelumnya, akhirnya
mencapai subkelompok sepele dari G. Kedua definisi ini ekuivalen, karena untuk setiap grup H
dan setiap subkelompok N normal dari H , hasil bagi H / N adalah abelian jika dan hanya jika N
menyertakan 𝐻1 Paling tidak n sehingga 𝐺 𝑛 = 1 disebut panjang turunan dari kelompok G yang
dapat dipecahkan.

Untuk kelompok hingga, definisi yang setara adalah bahwa kelompok yang dapat dipecahkan
adalah kelompok dengan serangkaian komposisi yang semua faktornya merupakan kelompok
siklik dari urutan utama . Ini setara karena grup hingga memiliki panjang komposisi hingga, dan
setiap grup abelia sederhana adalah siklik orde prima.