一个群G的导群G'定义成G的所有换位子[a,b]所生成的群。但是在
命题 -- G'是G的正规子群
的证明中，提到只要证明对于任意g∈G, [a,b]∈G', 满足g[a,b]g^-1∈G'.
这里有一个前提就是G'中的元素都是换位子。但是导群的定义是换位子生成的群，而不是组成的群。如何证明两个换位子运算之后仍然是换位子呢？
--
FROM 54.222.61.*