nLab
free action

Contents

Definition

An action

ρ:G×XX \rho : G \times X \to X

of a group GG on a set XX is free if for every xXx \in X and every gGg\in G, the equation gx=xg x = x implies g=1 Gg=1_G.

Revised on April 14, 2014 23:36:03 by Urs Schreiber (185.37.147.12)