有限群の場合には、導来列は(perfect group)で終わる(これは自明な場合も自明でない場合もある)。