(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.