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