Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-1/19i/c/i/solution

Let be the standard basis and let the generator send to modulo . The constant vector
spans a trivial module. Since is even, the alternating vector
spans a sign module on which acts by .
For each , define the real discrete Fourier modes
The plane is invariant, and acts on it by rotation through . Since this angle is neither zero nor , is irreducible over . The traces are distinct for , so these modules are pairwise nonisomorphic. Orthogonality of the discrete Fourier transform gives
The dimensions sum to , so this is the whole regular module: two nonisomorphic one-dimensional summands and nonisomorphic two-dimensional summands.

New to topics? Read the docs here!