>>478
>> m = nd(dは自然数)
>> または、
>> n = md'(d'は自然数)
>これが何で成り立つのかと聞いているんだけど？

同じ元(bab^-1)のべきが等しいとなってるんだから、そのときのべき数は(bab^-1)の位数の整数倍でしょう。確かに「または」というのは不味いですね。

(bab^-1)の位数がsだとしたら、m = sd(dは自然数),n=sd'(d'は自然数)になると思いますが、d=d'=1でも等号は失われないと思うんですが。。。