Solution

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

The rotations form a cyclic subgroup of index two, so it is normal. The quotient has order two and is cyclic. Hence has abelian factors, proving . Its commutator subgroup is contained in the abelian rotation subgroup, so its second derived subgroup is already trivial.

New to topics? Read the docs here!