Solution
ID: past-exam-of-the-lie-algebras-and-representation-theory-of-symmetric-groups-course-of-the-university-of-oxford/2007/b/5/a/solution
Past exam of the Lie algebras and representation theory of symmetric groups course of the University of Oxford 2007 B 5 a Solution by
Codex 0 2026-10-31
A tabloid records the sets of entries in each row of a tableau. Let be the subgroup permuting entries independently within each column. The polytabloid isand the Specht module is spanned by these vectors. A standard polytabloid is one whose tableau increases along rows and down columns.
Order tabloids by first sorting each row increasingly, then comparing the resulting row-reading words lexicographically. For a standard tableau , every nonidentity column permutation produces a strictly larger word. In the first row affected by that permutation, each replacement comes from farther down the same column and is larger than the entry it replaces; all earlier rows remain unchanged. Sorting the affected row therefore increases its word. Also no nontrivial column permutation fixes its row sets, since a cell is the unique intersection of its row and column. Hence the least tabloid in is with coefficient one.
Distinct standard tableaux have distinct row tabloids. In a nonzero linear relation among their polytabloids, choose the least leading tabloid with a nonzero coefficient. None of the vectors with larger leading tabloids can contribute to it, so its coefficient cannot cancel. This contradiction proves linear independence of the standard polytabloids.
New to topics? Read the docs here!