Stabiliser (of a group action)

Written by Patrick Stevens last updated
Requires: Group action

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.

Parents: