Gruppenoperation/Isotropiegruppe/Definition

Isotropiegruppe

Es liege eine Gruppenoperation einer Gruppe auf einer Menge vor. Zu heißt

die Isotropiegruppe zu .