#
nLab

free action

# Contents

## Definition

An action

$\rho : G \times X \to X$

of a group $G$ on a set $X$ is *free* if for every $x \in X$ and every $g\in G$, the equation $g x = x$ implies $g=1_G$.

Revised on August 18, 2015 19:41:18
by

Urs Schreiber
(82.69.70.127)