Free Group Action

A Group Action $\cdot:G\times X\to X$ is fixed-point free (or simply free) if $g\cdot x=x$ for some $x:X$ implies that $g=\varepsilon$. Equivalently, a group action is free if the Shear Map is a Monomorphism.