Let GG be a and fix gGg\in G. The left translation by gg is the map

Lg:GG,Lg(h)=gh.L_g:G\to G,\qquad L_g(h)=gh.
Smoothness and inverse

Because group multiplication is , LgL_g is a diffeomorphism with inverse Lg1L_{g^{-1}}.

Differential

For each hGh\in G, the differential

(dLg)h:ThGTghG(dL_g)_h : T_hG \to T_{gh}G

is a linear isomorphism of ; see .

Why it matters

Left translations let you “move” tangent vectors around the group and are used to define and the canonical identification g=TeG\mathfrak{g}=T_eG with left-invariant vector fields (see ).