Write for the tabloid with second-row entry and third-row entry . Equivariance gives for every distinct pair. For a tableau , the only nontrivial column antisymmetrizer is on the three entries in its first column. In its alternating sum, pair each column permutation with the permutation obtained by interchanging the two singleton-row positions. Their images under are the same unordered sum of two 's, while their signs are opposite. Hence for every polytabloid, proving .
For distinct ,
Each summand is an image and two is invertible in characteristic zero. Thus every basis vector of is in the image, proving surjectivity. rank-nullity theorem then gives

Articles by others on the same topic (0)

There are currently no matching articles.