また、G{\displaystyleG}の導来列G▹G(1)▹G(2)▹⋯{\displaystyleG\trianglerightG^{(1)}\trianglerightG^{(2)}\triangleright\cdots}(G(k){\displaystyleG^{(k)}}はG(k−1){\displaystyleG^{(k-1)}}の交換子群)が最終的にGの自明な部分群{1}に達することと定義もできる。
或者等价地说，若其降正规列G▹G(1)▹G(2)▹⋯,{\displaystyleG\trianglerightG^{(1)}\trianglerightG^{(2)}\triangleright\cdots,}之中，每一个子群都会是前一个的导群，且最后一个为G的当然子群{1}。