李群
李群formula_2的结构常数满足反对称性