Lie-group representation

A Lie-group representation is a smooth group representation $D:G\to GL(V)$.

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)]$.