>>491

むむ！
a^n = 1 , (bab^-1)^m = 1とする。
(bab^-1)^n =b^-na^nb^n = b^-nb^n = 1

∴(bab^-1)^n =1
∴aと(bab^-1)の位数は等しい

こっからm=nを導くのは蛇足ですか。。
というか、mを登場させないで、

a^n = 1 とする。
(bab^-1)^n =b^-na^nb^n = b^-nb^n = 1
∴(bab^-1)^n =1
で十分ですね。
どうかしていました。すみません。