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 under the action of a group is the set (actually a subgroup) of elements of which leave unchanged. ]

Let the Group act on the set . Then for each element , the stabiliser of under is . That is, it is the collection of elements of which do not move under the action.

The stabiliser of is a subgroup of , for any . (Proof.)

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