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