 Derived representation

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