Definition:Free Group Action

From ProofWiki
Jump to: navigation, search

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