Solution

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

The point-permutation character is
By the tensor identity for an induced character and Frobenius reciprocity,
The restriction branching rule for a symmetric group is multiplicity-free with one constituent for each member of , so the right side is . Also because every symmetric-group character is real and irreducible. Subtracting the trivial constituent proves the standard-character multiplicity in a Specht self-product formula

New to topics? Read the docs here!