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

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

den Kern der Operation.