Expand the Column antisymmetrizer of a Young tableau:
If two entries in one column of lie in the same row of , their transposition belongs to both and the row stabilizer of , so the terms cancel in pairs. The assumption therefore says that every row of meets every column of in at most one entry.
The first row of has entries, while has exactly nonempty columns. It must consequently contain exactly one entry from each column of . Permuting within each column puts these entries in the first row positions of . Delete the matched first rows and repeat the argument on the remaining Young diagram. The product of the resulting column permutations is an element for which the row sets of are those of . Thus
This is the nonzero column antisymmetrizer criterion.

Articles by others on the same topic (0)

There are currently no matching articles.