Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ib/paper-3/1e/solution

If a finite group is not simple, choose a maximal proper normal subgroup and repeat inside it. Orders strictly decrease, so the process terminates; maximality makes every quotient simple.
For one composition series is
The successive quotients have orders , hence are simple. As subgroups of , the groups , and are normal. The selected order-two subgroup is not normal, since conjugation permutes the three double transpositions.

New to topics? Read the docs here!