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 multiplicities
Consequently
There 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 is
The 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.

Articles by others on the same topic (0)

There are currently no matching articles.