solvable and nilpotent groups