Gruppenoperation/Gruppenhomomorphismus in Automorphismengruppe/Fakt

Es sei eine Gruppe und eine Menge. Es sei die Gruppe der Permutationen auf . Dann gelten folgende Aussagen.

  1. Wenn auf operiert, so ist die Abbildung

    ein Gruppenhomomorphismus.

  2. Wenn umgekehrt ein Gruppenhomomorphismus

    vorliegt, so wird durch

    eine Gruppenoperation von auf definiert.