Schreibe unter jedes Element von M sein Bild bei jeder
möglichen bijektiven Abbildung
x 1 2 3
f1(x) 1 2 3
f2(x) 1 3 2
f3(x) 2 1 3
f4(x) 2 3 1
f5(x) 3 1 2
f6(x) 3 2 1
Das sind alle Möglichkeiten.
Da die Verkettung von bijektiven Abbildungen
wieder eine solche ist, ist die (Aut(M),o) abgeschlossen
und Verkettung ist immer assoziativ.
Neutrales El ist f1.
Zu jedem gibt es ein inverses
zu f2 ist das f2 selber und
zu f3 ist es f4 etc.