Es sei G {\displaystyle {}G} eine Gruppe und M {\displaystyle {}M} eine Menge. Eine Abbildung
heißt Gruppenoperation (von G {\displaystyle {}G} auf M {\displaystyle {}M} ), wenn die beiden folgenden Eigenschaften gelten.