Menge/Gruppenoperation/Links/Definition

Gruppenoperation

Es sei eine Gruppe und eine Menge. Eine Abbildung

heißt Gruppenoperation (von auf ), wenn die beiden folgenden Eigenschaften gelten.

  1. für alle .
  2. für alle und für alle .