Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ia/paper-3/7e/b/solution

Centre the cube at the origin with faces having normals . Every rotational symmetry fixes the centre and permutes these normals, so its rotation matrix is a signed permutation matrix of determinant one. Conversely any such matrix permutes the cube’s coordinates up to signs and preserves the cube. For each of coordinate permutations, four of the eight choices of signs give determinant one. Consequently the rotational symmetry group of a cube has
This counts the rotations directly, without an unverified stabilizer calculation. The TeX’s is damaged transcription: the PDF prints 24.
Let be the face colourings. A colouring fixed by a rotation must be constant on each permutation cycle of faces, giving fixed colourings if the rotation has face cycles. The rotation types are:
RotationNumberFace cycle typeFixed colourings
Identity1
Quarter-turn about opposite face centres6
Half-turn about opposite face centres3
Half-turn about opposite edge midpoints6
Third-turn about opposite vertices8
There are three face axes, each with two quarter-turns and one half-turn; six edge axes, each with one half-turn; and four vertex axes, each with two nonidentity third-turns. These rotations are distinct and, with the identity, total 24, so the table is exhaustive. Face-axis rotations fix their two axial faces; the remaining four faces cycle or pair. Edge half-turns pair all faces, while vertex third-turns form two triples.
Burnside lemma now gives
The three colours are labelled, orthogonal reflections are excluded, and no condition requires every colour to appear.

New to topics? Read the docs here!