Exterior square of the sl3 representation of highest weight (2,1)
ID: exterior-square-of-the-sl3-representation-of-highest-weight-2-1
The formal character identity counts unordered pairs of distinct basis vectors. Substituting and the Weyl character formula gives the displayed multiplicity-free decomposition. Its dimensions sum to . The sl3 interlacing character formula provides an exact weight-enumeration check.
New to topics? Read the docs here!