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