Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-160/4/c/solution

Identify with the vector space having basis for ordered pairs . Let be the permutation module with basis , let have basis , and define -homomorphisms
Put
and let send every basis vector to one.
The augmentation submodule
is . The map identifies with , and identifies with another copy of . Also .
The subspace is generated by rectangle differences
Their images under are the standard polytabloid generators of , so . The kernel of is generated by the alternating oriented-triangle relations; identifying these with the column antisymmetrizations of shape gives
These descriptions use coefficients , , and only, so they remain valid over every field.
For , a required strict filtration is
with successive quotients
For , , so omit the repeated term ; the factors are , two copies of , and . This is the Specht filtration of the ordered-pair permutation module.

New to topics? Read the docs here!