Modular Specht module

Over a field of characteristic $p$, the invariant tabloid form on $S^{\lambda }$ may be degenerate. Its radical is $S^{\lambda }\cap (S^{\lambda }{)}^{\perp }$.

The tabloid bilinear form makes the tabloid basis orthonormal and restricts to an invariant bilinear form on each Specht module. In positive characteristic of a field, its radical controls the corresponding simple quotient.

A partition is $p$-regular when no part occurs $p$ or more times.

For a $p$-regular partition,is nonzero and absolutely irreducible. Distinct $p$-regular partitions label nonisomorphic simple modules.

If $\lambda =(n^{a_n},\dots ,1^{a_1})$ is $p$-regular, thenFor a tableau $t$ and its row reversal $t^{\ast }$,which is nonzero in characteristic $p$. Applying a column antisymmetrizer to an endomorphism at $e(t^{\ast })$ therefore forces its value on the cyclic generator $e(t)$ to be scalar.