AutG称为G上的自同构群。
G上的自同构，也就是G上的
双射，且保持运算。先证明封闭，在证
结合律（显然），再证明单位元（恒等映射），最后证明
逆元。
或者，你把G上的所有双射，够成一个变换群，那么你只要证明ab^(-1)也是自同构就好了。
可能会有问题的两个地方，一是封闭，双射封闭简单，但不足以说明封闭，还要证明保持运算。
fg(x+y)=g(f(x+y))=g(f(x)f(y))=g(f(x))g(f(y))=fg(x)fg(y)
类似的逆的证明时也需注意。
InG是一个群是内自同构群。τa(x)=a^(-1)xa这样的映射构成的集合，证明也就是封闭，结合一般不争（因为复合映射是可结合的），有单位元（对于映射的单位一般都是恒等映射），有逆元。
追问具体点的有没有
追答这还不具体？。。。。
fg(x+y)=g(f(x+y))=g(f(x)f(y))=g(f(x))g(f(y))=fg(x)fg(y)说明封闭。
恒等映射显然在里面，故有单位元。
逆元就是逆映射，再证他保持运算就好了。。。。。这些应该都不难证明。