リー代数
さらにより一般的なものとして、リー代数 formula_3 が[[可解リー代数|可解]] (solvable) であるとは、[[交換子部分群#導来列|導来列]]