Solvable groups, theory of formations, Schunck classes Abstract finite groups mathematics