Paper 3, Section II, D
Part IA, 2014
Let be the group of permutations of , and suppose is even, .
Let , and .
(i) Compute the centraliser of , and the orders of the centraliser of and of the centraliser of .
(ii) Now let . Let be the group of all symmetries of the cube, and the set of faces of the cube. Show that the action of on makes isomorphic to the centraliser of in . [Hint: Show that permutes the faces of the cube according to .]
Show that is also isomorphic to the centraliser of in .