b∘b=a=b∘d oder eben
b∘b=b∘d gäbe es ein b-1 dann könnte man auf beiden
Seiten von links damit multiplizieren, das gäbe
⇒ b-1∘(b∘b) = b-1∘(b∘d)
Offenbar ist dein Ding auch assoziativ, also
⇒(b-1∘b)∘b=(b-1∘b)∘d
⇒e∘b=e∘d
⇒b=d Das gibt dann wohl nen Widerspruch.