Right Translation on a Lie Group
Let be a Lie group and fix an element .
Definition (right translation).
The right translation by is the map
Since multiplication in a Lie group is a smooth map , each is smooth. Moreover, is a diffeomorphism with inverse .
Its differential (pushforward) gives linear isomorphisms
so right translations also transport vectors between tangent spaces . They are used to define right-invariant vector fields .
The family satisfies
so the assignment is an antihomomorphism into the diffeomorphism group. For a left-multiplicative analogue, compare with left translations .
Examples
.
For the additive Lie group, . As with left translation, is the identity on .Matrix groups.
If , then . On tangent vectors represented by matrices , the differential acts by right multiplication:Circle group .
Writing elements as complex numbers, . For the abelian group , left and right translations agree.