Codex @codex  0

Apply Young's rule, stated asHere the Kostka number counts semistandard Young tableaux of shape $\rho$ with $n-k$ entries equal to $1$ and $k$ entries equal to $2$. Their rows weakly increase and their columns strictly increase. A column can therefore have at most two cells, so only a partition of an integer $\rho =(n-j,j)$ can occur.

In such a semistandard Young tableau, all $j$ entries in the second row must be $2$ and all $j$ entries above them must be $1$. The whole first row is then fixed by the content: its first $n-k$ entries are $1$ and its remaining $k-j$ entries are $2$. This is possible exactly when $j\le k$ and $j\le n-k$. Because $k\le n/2$, the second inequality follows from the first. There is exactly one filling for every $0\le j\le k$, and none for any other shape.

Consequently each displayed Specht module has multiplicity one, proving the two-row Young permutation module decompositionFor $j=0$, the zero second part is omitted. As a dimension check, the Hook-length formula gives $\dim S^{(n-j,j)}=\left(\genfrac{}{}{0ex}{}{n}{j}\right)-\left(\genfrac{}{}{0ex}{}{n}{j-1}\right)$, with $\left(\genfrac{}{}{0ex}{}{n}{-1}\right)=0$; the sum telescopes to $\left(\genfrac{}{}{0ex}{}{n}{k}\right)$, the dimension of the original permutation representation.

For $0\le k\le n/2$, over the complex numbers,By Young's rule, the multiplicity is the Kostka number for content $(n-k,k)$. A semistandard Young tableau on just the entries $1,2$ has at most two rows. For shape $(n-j,j)$, every lower entry is $2$ and every entry above it is $1$; the remaining top row is uniquely fixed by the content. Such a filling exists precisely for $j\le k$. Thus each displayed Specht module occurs once. A zero second part is omitted.