阵组成的子群。酉群formula_3对formula_23是非交换的。formula_3的中心是数量矩阵formula_25，这里formula_26。这由舒尔引理得来。这样中心同构于formula_6。因为formula_3的中心是一个1维阿贝尔正规子群，酉群不是半单的。
拓扑.酉群formula_3作为formula_30的子集赋予相对拓扑，formula_30是所有formula_2复矩阵集合，本身同构于formula_33维欧几里得空间。作为一个拓扑空间，formu