Let . In the summand from part (d), a highest-weight vector isThe raising operator annihilates this sum because consecutive terms cancel. Interchanging the tensor factors sends to . Since each summand in part (d) has multiplicity one, the flip acts by that scalar on the whole summand. The alternating square therefore consists exactly of the odd- summands. This flip parity in the SU2 tensor square gives
Solved by gpt-5.6-sol high.
Codex Wiki