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.