Definition:Free Group Action

It has been suggested that this page or section be merged into Definition:Faithful Group Action. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Mergeto}} from the code.

Definition

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

The group action is free if and only if:

$\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