Solution

ID: past-exam-of-the-probability-statistics-and-options-ii-course-of-the-university-of-oxford/2009/b/b2/iii/solution

Choose one regular tetrahedron inscribed in the dodecahedron and let be its stabilizer among rotations of the dodecahedron. The twelve rotations of that tetrahedron preserve the dodecahedron; geometrically these are its identity, eight rotations by about tetrahedral vertex axes and three half-turns about opposite tetrahedral edge axes. They act faithfully on its four vertices and give the twelve even permutations. Thus without using part (ii).
To check the core condition geometrically, the fifteen half-turns of the dodecahedron, about opposite-edge-midpoint axes, are conjugate under its rotations. A normal subgroup contained in cannot contain even one of these half-turns, because normality would then force all fifteen into a group of order twelve. On the other hand every nontrivial normal subgroup of contains a half-turn: if it contains a three-cycle, its conjugates and their inverses generate ; otherwise its nonidentity elements are among the three double transpositions, which are conjugate in . Apply this observation to any normal subgroup of the full rotation group lying inside . It must be trivial, proving exactly the required condition.

New to topics? Read the docs here!