Menge/Gruppenoperation/Links/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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 .