Simple symmetric-group module from a regular partition
= Simple symmetric-group module from a regular partition
{title2=$D^\lambda$}
For a $p$-regular partition,
$$
D^\lambda=S^\lambda/(S^\lambda\cap(S^\lambda)^\perp)
$$
is nonzero and absolutely irreducible. Distinct $p$-regular partitions label nonisomorphic simple modules.