Left multiplication action
A group acts on itself by left translation
Proposition (Left multiplication action). Let be a group. The formula
defines a group action of on its underlying set.
Moreover, this action is:
- transitive (there is one orbit), and
- free (only the identity fixes any element),
hence it is a regular action, often called the left regular action.
Remarks
This action is the input for Cayley's theorem: it sends each element of to a permutation of , producing an injective homomorphism into a symmetric group.