Derived representation
= Derived representation
The derived representation of a smooth Lie-group representation is $dD(X)=\left.\frac d{dt}\right|_{0}D(\exp(tX))$. It is a <Lie algebra representation> because $dD([X,Y])=[dD(X),dD(Y)]$.
= Derived representation
The derived representation of a smooth Lie-group representation is $dD(X)=\left.\frac d{dt}\right|_{0}D(\exp(tX))$. It is a <Lie algebra representation> because $dD([X,Y])=[dD(X),dD(Y)]$.