solvable abelian