Tensor product of Lie algebra representations (source code)

= Tensor product of Lie algebra representations
{title2=$V\otimes W$}

The <tensor product> of <Lie algebra representations> has action $x(v\otimes w)=xv\otimes w+v\otimes xw$. The <Lie algebra representation> identity follows because operators on the two different tensor factors commute. This action descends to <exterior powers> and <symmetric powers>.