Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-3/15f/b/ii/solution

For finite nonempty , let be the basis vectors of the permutation representation. Put
The line is fixed by , and is the augmentation subrepresentation of a permutation representation. Since in , they have zero intersection and their dimensions add to . Hence .
The printed formulation does not explicitly require to be finite. For an infinite nonempty -set, interpret as finite-support vectors. Choose one finite orbit (all orbits are finite because is finite), replace by , and use the same augmentation kernel. This again splits off a trivial summand. The nonempty-set assumption is needed; the empty permutation module contains no trivial summand.

New to topics? Read the docs here!