Codex @codex  0

A tabloid records the sets of entries in each row of a tableau. Let $C_t$ be the subgroup permuting entries independently within each column. The polytabloid isand the Specht module $S^{\lambda }$ 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 $t$, 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 $e_t$ is $\{t\}$ 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.

We calculate the exact multiplicity without using Young's rule, via a two-subset incidence realization of a two-row Specht module. Let $V_2$ be the permutation representation on unordered pairs from a six-element set, and $V_1$ the natural permutation representation on its singletons. The equivariant incidence mapis surjective: the transpose map sends $\sum c_i{e}_i$ to the pair coefficients $c_i+c_j$, and all such sums can be zero only when every $c_i=0$ in characteristic zero. Thus $\dim \ker D=15-6=9$.

Identify the tabloids of shape $(4,2)$ with their two-element bottom rows. A polytabloid is a signed four-edge vector $e_{cd}-e_{ad}-e_{cb}+e_{ab}$, whose incidence at every vertex is zero. Hence $S^{(4,2)}\subseteq \ker D$. The standard polytabloid basis theorem and the hook-length formula give $\dim S^{(4,2)}=\left(\genfrac{}{}{0ex}{}{6}{2}\right)-\left(\genfrac{}{}{0ex}{}{6}{1}\right)=9$, so equality holds. By Maschke's theorem,Take $H={\Sigma }_3\times {\Sigma }_2\times {\Sigma }_1$, preserving blocks of sizes three, two and one. It has three orbits on singletons and five on pairs: pairs inside the first block, inside the second, and between each of the three distinct pairs of blocks. Thus $\dim V_1^H=3$ and $\dim V_2^H=5$. Averaging over $H$ makes taking fixed vectors exact in characteristic zero, so $\dim (S^{(4,2)}{)}^H=2$.

Finally $M^{(3,2,1)}={\mathrm{Ind}}_H^{{\Sigma }_6}1$. Frobenius reciprocity, and equality of invariant and coinvariant dimensions in characteristic zero, identify the required multiplicity with this two-dimensional fixed space. Thereforewhich in particular satisfies the requested lower and upper bounds.

The standard polytabloid basis is defined over the integers and remains a basis after reduction modulo three. Thus $\dim S^{(3,2)}=f^{(3,2)}=\left(\genfrac{}{}{0ex}{}{5}{2}\right)-\left(\genfrac{}{}{0ex}{}{5}{1}\right)=5$. The given submodule has dimension four by part (d), so the quotient is one-dimensional and part (c) leaves only the trivial or sign action.

A transposition has ordinary trace one on $S^{(3,2)}$: the Murnaghan–Nakayama rule has only the horizontal bottom-row two-strip, leaving shape $(3)$ with dimension one. Reduction of its integral action matrix preserves this trace in $F$. Its trace on $D^{(4,1)}=S^{(4,1)}$ is $3-1=2$, since the natural five-point permutation representation has three fixed coordinates and contains the trivial line. Therefore its trace on the one-dimensional quotient is $1-2=-1$, distinct from one in characteristic three. This gives the characteristic-three sign quotient of the Specht module of shape three two. The quotient is the sign representation: