Stabilizer is Subgroup

Theorem
Let $G$ be a group which acts on a set $X$.

Let $\operatorname{Stab} \left({x}\right)$ be the stabilizer of $x$ by $G$.

Then for each $x \in X$, $\operatorname{Stab} \left({x}\right)$ is a subgroup of $G$.

Proof

 * $\operatorname{Stab} \left({x}\right)$ can not be empty, because $e * x = x \implies e \in \operatorname{Stab} \left({x}\right)$.


 * Let $g, h \in \operatorname{Stab} \left({x}\right)$.


 * Let $g \in \operatorname{Stab} \left({x}\right)$.

Then $x = \left({g^{-1} g}\right) * x = g^{-1} * \left({g * x}\right) = g^{-1} * x$.

Hence $g^{-1} \in \operatorname{Stab} \left({x}\right)$.


 * Thus the conditions for the Two-step Subgroup Test are fulfilled, and $\operatorname{Stab} \left({x}\right) \le G$.