Solution

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

Let be a minimal normal subgroup. Its commutator subgroup is characteristic in , hence normal in . Minimality makes or . The latter would prevent the soluble group from having a terminating derived series, so and is abelian.
Choose a prime dividing . In a finite abelian group its Sylow -subgroup is characteristic, so minimal normality makes this subgroup all of . The subgroup is nontrivial, characteristic and hence normal in . Minimality again makes it all of . Thus
an elementary abelian p-group. Both abelianness and minimal normality are essential to the two characteristic subgroup arguments.

New to topics? Read the docs here!