Free action
A group action in which only the identity element fixes any point.
Free action
Let act on a manifold .
The action is free if for every , the stabilizer is trivial:
Equivalently, the action is free if
For a smooth action of a Lie group, freeness implies each orbit is diffeomorphic to (via any choice of basepoint in the orbit), though generally not canonically.
Examples
- Left translation. The action of a Lie group on itself by left multiplication is free.
- Deck transformations. The action of on by is free.
- Non-example (fixed point). The rotation action is not free because every element fixes the origin.