>>2
b=(a^-1a)b=a^-1(ba)よりab=baより可換群。逆に可換群のとき成り立つ。