Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-3/15f/b/ii/solution
Past exam of the mathematics course of the University of Cambridge 2015 ii Paper 3 15F b ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-06
For finite nonempty , let be the basis vectors of the permutation representation. PutThe 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!