For the standard tableau with second row , the first entries in the top row are , so its nontrivial columns are and . HenceIn the coefficient of is one: among those four pairs only is contained in , since . Thus the image is nonzero. Its restriction to the characteristic-zero simple module has zero kernel, giving the requested isomorphic submodule.
For , choose the standard tableau with lower entry two and top-left entry one. Its polytabloid is . Each three-subset containing occurs twice in , once for each choice of its other two entries as the intermediate . Consequently the coefficient of in is two. This is nonzero in characteristic zero. Simplicity again makes the restriction injective, giving a copy of .
Articles by others on the same topic
There are currently no matching articles.