 Solution

The preceding part shows that $\theta (e(t^{\prime }))\ne 0$ in characteristic zero, so $S^{{\lambda }^{\prime }}⊈\ker \theta$. Apply the James submodule theorem to the proper submodule $\ker \theta \le M^{{\lambda }^{\prime }}$ to obtainThe Hook-length formula gives $\dim S^{\lambda }=\dim S^{{\lambda }^{\prime }}$. Surjectivity of $\theta$ therefore givesand hence

Fix the original tableaux $t,u$. For a $\lambda$-tableau $w$, let $g_w$ be the unique permutation satisfying $w=g_{w}t$ and put ${\epsilon }_w=\mathrm{sgn}(g_w)$. Sincethe quotient pairing $M^{{\lambda }^{\prime }}/(S^{{\lambda }^{\prime }}{)}^{\perp }\cong (S^{{\lambda }^{\prime }}{)}^{\ast }$ gives the explicit conjugate Specht module as a sign-twisted dual isomorphismfor every $\lambda$-tableau $w$.