Category:Solvable Groups

Let $G$ be a finite group.
Then $G$ is a solvable group if and only if it has a composition series in which each factor is a cyclic group.