分からない問題はここに書いてね２１７

>>462
Nのyへの作用t→yty^(-1)によってNの自己同型がひきおこされるけど
N=Z(の加法群)の自己同型φによる生成元1の像はφ(1)=±1のいづれかしかゆるされないので
yxy^(-1)はxかx^(-1)のいづれかしか許されないす。
当方代理レスをたのんでる身なのでこれにて撤退します。たぶん>>459は
あってると思うけどまちがってたらｺﾞﾒｿ。