Gruppenoperation/Treue Operation/Definition

Treue Gruppenoperation

Es sei ${}G$ eine Gruppe und ${}M$ eine Menge. Eine Gruppenoperation von ${}G$ auf ${}M$ heißt treu, wenn aus ${}gx=x$ für alle ${}x\in M$ folgt, dass ${}g=e$ ist.