Es liege eine Gruppenoperation einer Gruppe ${\displaystyle {}G}$ auf einer Menge ${\displaystyle {}M}$ vor. Zu ${\displaystyle {}x\in M}$ heißt

${\displaystyle {}G_{x}={\left\{g\in G\mid gx=x\right\}}\,}$

die Isotropiegruppe zu ${\displaystyle {}x}$.