阵组成，李括号为交换子。一般酉群(也称为酉相似群）由所有复矩阵formula_11使得formula_12是恒同矩阵非零复数倍，这就是酉群与恒同矩阵的正数倍的乘积。
性质.因为酉矩阵的行列式是模长1复数，行列式给出了一个群同态这个同态的核是行列式为单位的酉矩阵集合，这个子群称为特殊酉群，记作formula_14。我们有李群的短正合列：这个短正合列分裂，故formula_3可以写成formula_14与formula_6的半直积。这里formula_6是formula_3中