Es sei G eine Gruppe mit \( a,b \in G \) und \( ba^2 \overset{(*)}{=} b \). Dann ist \( bab^{-1} \) das Inverse von \(bab^{-1} \).
Beweis:
\( (bab^{-1})^{-1} = ((ba)b^{-1})^{-1} = b(ba)^{-1} \overset{(*)}{=} ba^2a^{-1}b^{-1} = ba^{1}b^{-1} = bab^{-1}\) wzzw.
Passt das so?