Für a) siehe Kommentar : Es ist gezeigt, dass b−1 ◦ a−1 mit a◦ b verknüpft das
neutrale Element ergibt, also nach Def. das Inverse von a◦ b ist.
b) a · x + b = 0 auf beiden Seiten das additive Inverse von b addieren
(a · x + b) + (-b) = 0 + (-b) ausrechnen mit assoziativ etc.
a*x = -b
Nun auf beiden Seiten mit dem multiplkativen Inversen von a (Das gibt es wegen a≠0)
multiplizieren ==> a-1 * a*x = a-1 *(-b)
Regeln anwenden: x = a-1 *(-b) , also gibt es genau eine Lösung.