(g ∗ h)^−1 = h^−1 ∗ g^−1
Nach Def. des Inversen gilt:
(g ∗ h)^−1 ist das Element, dass (von links und von rechts mit g*h
multipliziert e ergibt. Also so
(g*h) * ( h^(-1)*g^(-1)) assoziativ !
= g* ( h * ( h^(-1) ) *g^(-1)
= g* e *g^(-1)
= g *g^(-1)
= e
von der anderen Seite entsprechend.