#
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 April 14, 2014 23:36:03
by

Urs Schreiber
(185.37.147.12)