la_1维酉群，记作formula_123或formula_124（取决于作者的习惯）。酉群中矩阵的行列式为1的子群称为特殊酉群，记作formula_125或formula_126。为方便起见，本文使用formula_127写法。formula_127的中心的阶数为formula_129由为酉数量矩阵组成，这便是所有矩阵formula_130，这里formula_131。特殊酉群的中心的阶数为formula_132，由那些阶数整除formula_1的酉数量矩阵组成。酉群除以中心的商称为射影酉群，formul