Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-160/1/c/i/solution

The row stabilizer of the transposed tableau is . For , the polytabloid satisfies
The two signs cancel in the tensor product, so
Thus the proposed value depends only on the tabloid and is well-defined. Its definition immediately gives
so it is an -homomorphism. Since any is for some , its images contain every generator of . Hence is surjective.

New to topics? Read the docs here!