(x◦y)−1 ist ja das Inverse von (x◦y) . Also muss man zeigen,
dass y−1 ◦ x−1 (Denn das soll ja angeblich gleich diesem Inversen sein.)
die Eigenschaften eines Inversen hat, nämlich von rechts und von links
mit x◦y verknüpft das neutrale Element ergibt.
von rechts: (x◦y) ◦ (y−1 ◦ x−1) assoziativ anwenden
= x◦( y ◦ y−1) ◦ x−1 Def. von y-1 anwenden ( e das neutrale.)
= x◦ e ◦ x−1 Def. von e anwenden
= x ◦ x−1 Def. von x-1 anwenden
= e
von rechts hat es also geklappt.
Ähnlich auch von links: (y−1 ◦ x−1) ◦ (x◦y)
= ...... = e.