Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/ii/paper-1/19f/solution

The permutation representation on sends the basis vector to . Its character is , because precisely the fixed basis vectors contribute to the trace. Burnside lemma says that the number of orbits is . To prove it, double-count with : the count is . Each orbit contributes by the orbit-stabilizer theorem.
A pair is fixed under the diagonal action exactly when both entries are fixed. Since permutation characters are real,
by Burnside lemma on the product.
The general linear group acts on the lines of . It is doubly transitive: choosing nonzero representatives of any two distinct lines gives a basis, and a linear map can send that basis to representatives of any other ordered pair. Thus there are two orbits on ordered pairs, the diagonal and its complement. The character inner product of this permutation character with itself is two, while the multiplicity of the trivial character is one by transitivity. The sum of squares of irreducible multiplicities is therefore two; the remaining summand is one irreducible representation, of dimension . Its dimension is .
For acting on two-element subsets, an ordered pair of subsets is classified by intersection size . All three occur for , and a permutation carries any pair of a given type to any other. Hence . The natural point permutation representation is the trivial representation plus the standard representation of the symmetric group, of dimension : its irreducibility also follows from double transitivity and inner product two.
Embed this point representation into by . The map is equivariant, and its kernel consists of vectors with for every distinct . Three distinct indices force every , so it is injective for . Thus the trivial and standard representations each occur in . The norm three leaves exactly one further irreducible, with multiplicity one. It is the orthogonal complement of that embedded subspace, equivalently the vectors satisfying for every . Its dimension is
The constituent dimensions are , each once. For , complementation identifies two-element subsets with points, so there are only the trivial and 2-dimensional standard constituents.

New to topics? Read the docs here!