Es liege eine
Gruppenoperation
einer
Gruppe auf einer Menge vor. Es sei eine weitere Menge und die Menge der
Abbildungen
von nach . Dann wird durch
-
wobei durch
definiert sei, eine Operation von auf gegeben. Für das neutrale Element
gilt ja
-
für jedes
,
also
,
und für beliebige
,
und
gilt
-
also
.