李代數
半單李代數的另一個重要性質是 formula_10，其逆未必成立。