Radical of the augmentation Specht module
ID: radical-of-the-augmentation-specht-module
The Specht module is the augmentation subspace of the natural permutation module , with the standard tabloid bilinear form. Its orthogonal complement in is the constant-vector line. That line lies in the augmentation subspace exactly when the field characteristic divides , giving the displayed radical. Equivalently, the basis has Gram matrix . The James submodule theorem makes every nonzero radical quotient simple, with dimension when and otherwise. The case gives the zero quotient rather than a nonzero simple module.
New to topics? Read the docs here!