Solution

ID: past-exam-of-the-lie-algebras-and-representation-theory-of-symmetric-groups-course-of-the-university-of-oxford/2008/b/7/c/solution

The stabilizer of an ordered pair is the subgroup fixing both entries, so the permutation module is . Induce in two stages through . The first stage is . The characteristic-zero induction branching rule for a symmetric group adds one box in every possible partition position, with multiplicity one. Thus the two second-stage decompositions are
By transitivity of induction this yields
The dimensions are , , and , whose sum is , checking the decomposition also at .

New to topics? Read the docs here!