Lie bracket
其中formula_7表示李括号。可以证明formula_8是一组常数，它们称为李群formula_2的结构常数。