 Solution

The Specht module construction gives a nonzero inclusion $V^{\lambda }\hookrightarrow M^{\lambda }$ over the complex numbers: a polytabloid has coefficient one at its original tabloid, because the row and column stabilizers have trivial intersection, and its span is the corresponding irreducible representation. This establishes $a=M(\lambda ,\lambda )\ge 1$ without using the multiplicity-one conclusion. Similarly $a^{\prime }=M({\lambda }^{\prime },{\lambda }^{\prime })\ge 1$.

By the corrected tensor identity for induced representations and the conjugate-partition sign twist, the multiplicity of $V^{\lambda }$ in ${\tilde{M}}^{{\lambda }^{\prime }}$ is $a^{\prime }$. The character inner product already computed is the sum of products of multiplicities of common irreducible representations. ThusBoth are positive integers, so $a=a^{\prime }=1$. In particularThis deduction avoids assuming the full Young's rule, which would already contain the answer. Alternatively, the permitted one-dimensional R-module homomorphism space gives the same character inner product immediately.