Triangular vanishing of Young-symmetrizer products

ID: triangular-vanishing-of-young-symmetrizer-products

For standard tableaux of the same shape and , in column-reading order of standard Young tableaux implies . If there were no row-column collision, each column of would select one entry from each eligible row of . Its sorted first column is componentwise at least the row minima of ; equality fixes those selected entries and permits induction after deleting the column. Thus no collision implies . A collision gives .

New to topics? Read the docs here!