Let be a group which acts on the set $X$ . Then for every $x \in X$ , the stabiliser ${S t a b}_{G} (x)$ is a subgroup of $G$ .

Proof

We must check the group axioms.

Stabiliser is a subgroup