Ich denke mal es ist definiert: Zu jedem El. a gibt es ein a^(-1) mit
a*a^(-1) = a^(-1)*a = n (neutrales El. )
Du willst zeigen a^(-1)^(-1) = a , in
Worten a ist das Element mit dem man a^(-1) (von beiden Seiten)
multiplizieren kann, um n zu erhalten, also
a^(-1)*a = a*a^(-1) = n
Das ist aber gerade vorausgesetzt. Assoziativgesetz
sehe ich da nicht.