Stabilizer Group

Let $\alpha:G\to X\to X$ be a Group Action. The stabilizer subgroup of $x:X$ is the subset $\left\{g:G\mid\alpha(g,x)=x\right\}$. This carries the structure of a group via the obvious identities.