群，又叫幺正群，是李群的一种。在群论中，formula_1阶酉群（）是formula_2酉矩阵组成的群，群乘法是矩阵乘法。酉群记作formula_3，是一般线性群formula_4的一个子群。在最简单情形formula_5，群formula_6相当于圆群，由所有绝对值为1的复数在乘法下组成的群。所有酉群都包含一个这样的子群。酉群formula_3是一个formula_8维实李群。formula_3的李代数由所有复formula_2斜埃尔米特矩阵组成，李括号为交换子。一般酉群(也称为酉相似群）由所