想明白了,这里其实并不需要两个换位子运算的结果仍是换位子,或者说导群G'中的元素都是换位子,
g[a,b][c,d]g^-1 = (g[a,b]g^-1)(g[c,d]g^-1)=[gag^-1,gbg^-1][gcg^-1,gdg^-1]
同样能够证明还是属于导群G'.
【 在 hollywood 的大作中提到: 】
: 一个群G的导群G'定义成G的所有换位子[a,b]所生成的群。但是在
: 命题 -- G'是G的正规子群
: 的证明中,提到只要证明对于任意g∈G, [a,b]∈G', 满足g[a,b]g^-1∈G'.
: ...................
--
FROM 54.222.61.*