Lie algebra
設 formula_1 為李代數，其半單性有下述刻劃：