Gruppenoperation/Isotropiegruppe/Definition

Isotropiegruppe

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

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

die Isotropiegruppe zu ${}x$.