Let GG be a and VV a finite-dimensional . A (linear) representation of GG is a

ρ:G→GL⁡(V),\rho: G \to \operatorname{GL}(V),

where GL⁡(V)\operatorname{GL}(V) is the group of invertible on VV.

Differentiating a representation

The differential at the identity gives a Lie algebra representation

dρe:g→gl(V),d\rho_e : \mathfrak{g} \to \mathfrak{gl}(V),

which is a g=TeG\mathfrak{g}=T_eG; see and .

Examples
  • The defining representation GL⁡(n,R)→GL⁡(Rn)\operatorname{GL}(n,\mathbb{R})\to \operatorname{GL}(\mathbb{R}^n).
  • Orthogonal/unitary representations of SO⁡(n)\operatorname{SO}(n), SU⁡(n)\operatorname{SU}(n) on Rn\mathbb{R}^n, Cn\mathbb{C}^n.
  • The G→Aut⁡(g)G\to \operatorname{Aut}(\mathfrak{g}).

Many structural notions for representations can be studied via the induced Lie algebra representation and tools such as the in the semisimple case.

Equivalent characterizations

Equivalently, ρ\rho is a smooth action of GG on VV by linear isomorphisms, written g⋅v:=ρ(g)vg\cdot v := \rho(g)v.