Die Gruppe S3 ist die Gruppe der Permutationen
dreier Elemente, also bijektive Abbildungen von
{1,2,3} auf {1,2,3}
Diese Abbildungen ände3rn sozusagen nur die
Reihenfolge der drei Zahlen, wenn du die Bilder
von 1,2,3 der Reihe nach hinschreibst, also etwa 2,3,1.
Das wäre ausführlich (Originale in der
oberen Zeile Bilder in der unteren) f=
1 2 3
2 3 1
Wenn du nun solche Abbildungen hintereinander ausführst.
etwa fog mit f wie oben und g=
1 2 3
1 3 2
Dann ist fog =
1 2 3
2 1 3
Denn du musst ja f nach g anwenden, also wird z.B.
die 1 erst Mal durch g auf die 1 abgebildet und dann
diese 1 durch f auf die 2.
entsprechend die 2 letztlich auf 1 etc.
Wenn du nun gof probierst, wirst du sehen:
Das ist nicht das gleiche, also hast du dein
Gegenbeispiel.