Die Folgerung
\(a(ab)=b^{-1}\Rightarrow ab=b^{-1}a^{-1}\) ist nicht
nachvollziehbar; denn du multiplizierst von links mit \(a^{-1}\).
Folgendes könntest du machen:
\((ab)^2=1\Rightarrow ab=(ab)^{-1}\Rightarrow b^{-1}a^{-1}\).
Letzteres gilt in jeder Gruppe, also in unserem Falle
\(ab=ba\), da \(x^{-1}=x\) für alle \(x\in G\).