Editing Lie algebra representation (section)

===Infinitesimal Lie group representations===
A Lie algebra representation also arises in nature. If <math>\phi</math>: ''G'' → ''H'' is a [[homomorphism]] of (real or complex) [[Lie group]]s, and <math>\mathfrak g</math> and <math>\mathfrak h</math> are the [[Lie algebra]]s of ''G'' and ''H'' respectively, then the [[pushforward (differential)|differential]] <math>d_e \phi: \mathfrak g \to \mathfrak h</math> on [[tangent space]]s at the identities is a Lie algebra homomorphism. In particular, for a finite-dimensional vector space ''V'', a [[representation of Lie groups]]
:<math>\phi: G\to \operatorname{GL}(V)\,</math>
determines a Lie algebra homomorphism
:<math>d \phi: \mathfrak g \to \mathfrak{gl}(V)</math>
from <math>\mathfrak g</math> to the Lie algebra of the [[general linear group]] GL(''V''), i.e. the endomorphism algebra of ''V''.

For example, let <math>c_g(x) = gxg^{-1}</math>. Then the differential of <math>c_g: G \to G</math> at the identity is an element of <math>\operatorname{GL}(\mathfrak{g})</math>. Denoting it by <math>\operatorname{Ad}(g)</math> one obtains a representation <math>\operatorname{Ad}</math> of ''G'' on the vector space <math>\mathfrak{g}</math>. This is the [[adjoint representation]] of ''G''. Applying the preceding, one gets the Lie algebra representation <math>d\operatorname{Ad}</math>. It can be shown that <math>d_e\operatorname{Ad} = \operatorname{ad}</math>, the adjoint representation of <math>\mathfrak g</math>.

A partial converse to this statement says that every representation of a finite-dimensional (real or complex) Lie algebra lifts to a unique representation of the associated [[simply connected]] Lie group, so that representations of simply-connected Lie groups are in one-to-one correspondence with representations of their Lie algebras.<ref>{{harvnb|Hall|2015}} Theorem 5.6</ref>