Stabiliser (of a group action)

https://arbital.com/p/group_stabiliser

by Patrick Stevens Jun 20 2016 updated Jun 28 2016

If a group acts on a set, it is useful to consider which elements of the group don't move a certain element of the set.


[summary: The stabilizer of an element x under the action of a group G is the set (actually a subgroup) of elements of G which leave x unchanged. ]

Let the Group G act on the set X. Then for each element xX, the stabiliser of x under G is StabG(x)={gG: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 xX. (Proof.)

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