A group G is solvable (or soluble) if there exists a sequence of subgroups
such that the quotient groups Gi+1/Gi are abelian groups. For a finite group, this is equivalent to the group’s composition factors being cyclic of prime order. It is significant to Galois theory that S5 is not solvable. See Galois group, solvable by radicals.