>>441

>方針は、a の位数を n, bab^-1 の位数を m とすると
>(bab^-1)^n = 1 と a^m = 1 がそれぞれ示せる。

a^n = 1 , (bab^-1)^m = 1とする。
(bab^-1)^n =b^-na^nb^n = b^-nb^n = 1
∴(bab^-1)^m = (bab^-1)^n
∴ m = n
でいいすか？

>443,444
内部自己同型は知ってるけど、定義だけです。
不変という概念はならってないっす。
気がつけよと言われたらorz