Let . Entrywise complex conjugation interchanges the diagonal entries of and fixes , so
Since generate the group, these identities hold for every element. Thus is an invertible intertwiner, proving
The character of a tensor product representation is the product of the factor characters. Hence . Its character inner products with the three rows of solution give multiplicities , so
For explicit Clebsch-Gordan decomposition of group representations bases, let be the coordinate basis. The symmetric tensor spans ; the antisymmetric tensor spans ; and the ordered pair carries , since acts by and exchanges them. In particular and .
Multiplying by the sign representation preserves the character of , because its character is zero on all three reflections. Thus , and associativity gives
Therefore
The dimensions give . Its two one-dimensional summands can also be seen directly: and transform as and , respectively.