Exterior-power Lie algebra representation
ID: exterior-power-lie-algebra-representation
A Lie algebra representation on induces one on each exterior power by acting on every factor and summing. The tensor product of Lie algebra representations preserves the defining alternating relations, so this descends to the quotient in every characteristic of a field. In characteristic two define the exterior algebra by the relations , rather than by dividing a tensor antisymmetrizer by .
New to topics? Read the docs here!