Warum ist beispielsweise bei a [mm] \circ [/mm] x = b
[mm] a^{-1} \circ [/mm] a [mm] \circ [/mm] x = [mm] a^{-1} \circ [/mm] b
[mm] a^{-1} \circ [/mm] a das neutrale Element?
Meiner Auffassung nach wäre es nur [mm] a^{-1} [/mm] aber warum gleich der ganze Term?