Left Translation
The diffeomorphism of a Lie group given by multiplying on the left by a fixed element.
Left Translation
Let be a Lie group and fix . The left translation by is the map
Smoothness and inverse
Because group multiplication is smooth , is a diffeomorphism with inverse .
Differential
For each , the differential
is a linear isomorphism of tangent spaces ; see differential .
Why it matters
Left translations let you “move” tangent vectors around the group and are used to define left-invariant vector fields and the canonical identification with left-invariant vector fields (see Lie algebra of a Lie group ).