Estabilizador (Grupos)

Sean $G$ un Grupo, $X$ un conjunto y $\ast :G\times X\to X$ una Acción de grupo. Para cada $x\in X$ se define el estabilizador de $x$ por $G$ como

$$Stab(x):=\{g\in G|g\ast x=x\}$$

Se verifica que $Stab(x)$ es un subgrupo de $G$.¹

Footnotes

1. https://proofwiki.org/wiki/Stabilizer_is_Subgroup ↩