Specht filtration of the ordered-pair permutation module

ID: specht-filtration-of-the-ordered-pair-permutation-module

For , identify with the permutation module on ordered pairs with . Let , , and . With and , one has a Specht filtration
whose successive quotients are
The same construction for omits the zero factor.

New to topics? Read the docs here!