solvable groupA group G is solvable if it has a subnormal seriesG=G0⊃G1⊃⋯⊃Gn={1}where all the quotient groups Gi/Gi+1 are abelian.