Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 3 / 1 / a / Solution

The derived series is $G^{(0)}=G$, $G^{(i+1)}=[G^{(i)},G^{(i)}]$, where the bracket denotes the commutator subgroup. The group is soluble ifEquivalently it has a finite series with abelian factors. The trivial group is included.