Sei X eine Menge. Zeigen Sie,
dass die Menge Sym(X) := {f : X → X | f ist bijektiv}
mit der Verkettung von Abbildungen und dem Element idX eine Gruppe bildet. Diese Gruppe nennt man die Symmetrische Gruppe auf der Menge X.
+3976 Dafür müssen die drei Eigenschaften der Definition einer Gruppe nachgerechnet werden.
Die Verknüpfung ist assoziativ, denn es gilt(f∘(g∘h))(x)=f((g∘h)(x))=f(g(h(x)))=(f∘g)(h(x))=((f∘g)∘h)(x) für alle x aus X. Das neutrale Element ist die Identität, da offenbar f∘idx=idx∘f=f für alle bijektiven Abbildungen f gilt. Für die letzte Aussage brauchen wir jetzt auch die Bijektivität: Weil die Abbildungen in Sym(X) bijektiv sind, gibt es die inversen Abbildungen dazu. Da diese ebenfalls bijektiv sind, sind sie auch in Sym(X) enthalten.
