AI ALIGNMENT FORUM
AF

Wikitags

Stabiliser (of a group action)

Edited by Patrick Stevens last updated 21st Jun 2016
Requires: Group action

Let the group G act on the set X. Then for each element x∈X, the stabiliser of x under G is StabG(x)={g∈G:g(x)=x}. That is, it is the collection of elements of G which do not move x under the action.

The stabiliser of x is a subgroup of G, for any x∈X. (Proof.)

A closely related notion is that of the orbit of x, and the very important Orbit-Stabiliser theorem linking the two.

Parents:
Group action
Discussion0
Discussion0