Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-3/1/b/solution

If , induction gives , because commutators of elements of a subgroup are also commutators in the larger group. Thus termination of the derived series of forces termination for .
For a normal subgroup , the quotient map sends to the commutator of their images. Surjectivity then gives
Consequently subgroups and quotient groups of a soluble group are soluble. The assertion about a quotient uses a normal subgroup; it is not a quotient by an arbitrary subgroup.

New to topics? Read the docs here!