Gruppenoperation/Gruppenhomomorphismus in Automorphismengruppe/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.

Einen Beweis erstellen