Gruppenoperation/Gruppenhomomorphismus in Automorphismengruppe/Fakt

Es sei ${}G$ eine Gruppe und ${}M$ eine Menge. Es sei ${}\operatorname {Perm} \,(M)$ die Gruppe der Permutationen auf ${}M$. Dann gelten folgende Aussagen.

1. Wenn ${}G$ auf ${}M$ operiert, so ist die Abbildung

   $G\longrightarrow \operatorname {Perm} \,(M),\,g\longmapsto (x\mapsto gx),$

   ein Gruppenhomomorphismus.

2. Wenn umgekehrt ein Gruppenhomomorphismus

   $\varphi \colon G\longrightarrow \operatorname {Perm} \,(M),\,g\longmapsto \varphi (x),$

   vorliegt, so wird durch

   $G\times M\longrightarrow M,\,(g,x)\longmapsto (\varphi (g))(x),$

   eine Gruppenoperation von ${}G$ auf ${}M$ definiert.

Einen Beweis erstellen