We defined the Specht module as the subspace of the Young tabloid module spanned by polytabloids of shape . But these polytabloids are not independent. We’ve seen that standard polytabloids are independent, and it turns out that they also span. That is, they provide an explicit basis for the Specht module .
Anyway, first off we can take care of all the where the columns of don’t increase down the column. Indeed, if stabilizes the columns of , then
where we’ve used the sign lemma. So any two polytabloids coming from tableaux in the same column equivalence class are scalar multiples of each other. We’ve just cut our spanning set down from one element for each tableau to one for each column equivalence class of tableaux.
To deal with column equivalence classes, start with the tableau that we get by filling in the shape with the numbers to in order down the first column, then the second, and so on. This is the maximum element in the column dominance order, and it’s standard. Given any other tableau , we assume that every tableau with is already in the span of the standard polytabloids. This is an inductive hypothesis, and the base case is taken care of by the maximum tabloid .
If is itself standard, we’re done, since it’s obviously in the span of the standard polytabloids. If not, there must be a row descent — we’ve ruled out column descents already — and so we can pick our Garnir element to write as the sum of a bunch of other polytabloids , where in the column dominance order. But by our inductive hypothesis, all these are in the span of the standard polytabloids, and thus is as well.
As an immediate consequence, we conclude that , where is the number of standard tableaux of shape . Further, since we know from our decomposition of the left regular representation that each irreducible representation of shows up in with a multiplicity equal to its dimension, we can write
Taking dimensions on both sides we find