# Definition:Free Group Action

Let $G$ be a group with identity $e$ acting on a set $X$.
$\forall g \in G: \forall x \in X : g * x = x \implies g = e$