Lie bracket
酉群formula_3是一个formula_8维实李群。formula_3的李代数由所有复formula_2斜埃尔米特矩阵组成，李括号为交换子。