Gruppenoperation/Kern/Definition

Kern der Operation

Es liege eine Gruppenoperation einer Gruppe ${}G$ auf einer Menge ${}M$ vor. Dann nennt man die Menge

${\left\{g\in G\mid gm=m{\text{ für alle }}m\in M\right\}}$

den Kern der Operation.