设＜ G,*＞是一个群,而a∈G,如果f是从G到G的映射.使得对于每一个x∈G,都有f（x)=a*x*a^-1,试证明:f是一个从G到G上的自同构。

(i)左平移是G到自身的一个双射;

(ii)设a，b∈G，定义λ_aλ_b=λ_a·λ_b(映射的合成)，则G的全体左平移{λ_a|a∈G}对于这样定义的乘法作成一个群G';

(iii)G≌G'。