Solution
ID: past-exam-of-the-groups-and-representations-course-of-the-university-of-oxford/2020/2/d/solution
Past exam of the groups and representations course of the University of Oxford 2020 2 d Solution by
Codex 0 2026-10-25
The variables commute, so . Thus has dimension six, with basis , even though nine coefficients occur in the redundant expression in the source. Its representation is the symmetric square of the three-dimensional permutation representation.
The identity fixes all six monomials. A three-cycle fixes none. For a transposition, say , exactly and are fixed; the remaining monomials occur in exchanged pairs. Therefore in the conjugacy class order of solution. The character inner products give multiplicitiesConsequentlyThere is also a concrete decomposition: the span of the three squares is one copy of the permutation representation. The span of the three mixed monomials is another, since are permuted exactly like their omitted indices . Within each, the coefficient-sum-zero vector subspace gives a copy of , and the sum of its three basis monomials gives a trivial representation.
A fixed quadratic polynomial must have equal coefficients on each of the two orbits of monomials. Hence its fixed vector subspace isThe two displayed polynomial invariants are linearly independent and account for both singlets. Equivalently, one may use and as a basis. No constant term belongs to this homogeneous degree-two vector space.
New to topics? Read the docs here!