>>413
末尾に空白が多すぎるし、改行も不適切で読みづらい。
一度メモ帳か何かに書いてから自分で読み返し、
読みにくい点がないかチェックしてから書き込もうな。

質問は自体はそのとおり。他の可能性を全部消去法で潰す。
（bab^-1 = 1 と bab^-1 = a^2 は a の位数、bab^-1 = a は非可換性）