Solution

ID: past-exam-of-the-number-theory-course-of-the-university-of-oxford/2009/a/3/b/solution

Let . This is an abelian subgroup, and conjugation preserves its nonidentity cycle type, so it is normal in and hence in . The series
has factors , , and , all abelian. Thus .

New to topics? Read the docs here!