可解群的导群

Question

如题所述

Answer 1

设G是群，a，bG，定义a,b的换位子[a,b]=，由G的所有换位子生成的群称为G的换位子群或导群，记作G’，定义G的高阶导群，若存在正整数n使得（1是G的单位元），则称G是可解群。该定义与用正规子群列的定义等价。