Definition:Free Group Action

Definition
Let $G$ be a group with identity $e$ acting on a set $X$.

The group action is free :
 * $\forall g \in G: \forall x \in X : g * x = x \implies g = e$

Also see

 * Definition:Faithful Group Action
 * Free Group Action is Faithful