This is LaTeX code:
[latex]
ab=(a_1b_1)^{-1}=b_1^{-1}a_1^{-1}\in BA
[/latex]