リー代数
In mathematics, a Lie algebra formula_1 is solvable if its derived series terminates in the zero subalgebra. The "derived Lie algebra" of the Lie algebra formula_1 is the subalgebra of formula_1, denoted