 Trace computation of Specht module dimension

Right multiplication by $e_t=h_t/H_{\lambda }$ on the group algebra is an idempotent with image $A{e}_t$. Every diagonal entry in the permutation basis is the coefficient of the identity in $e_t$, namely $1/H_{\lambda }$. Thus its rank equals its trace, giving $\dim S^{\lambda }=n!/H_{\lambda }$. Triangular standard-tableau ideals and the Robinson–Schensted correspondence identify this dimension with the standard-tableau count.