计算题 设G是一个群．a，b∈G．称[a，b]=aba^-1b^-1为a.b的换位子．由所有换位子{aba^-1b^-1∣a，b∈G}生成的子群G^（1）称为G的换位子群．试证：如果α∈AutG，则α（G^（1））=G^（1）．