Class Field Theory
《Class Field Theory》 · 印刷第 6—7 页 Section 1.2.2「Unitary and Orthogonal Groups」，式 (1.2) 及特殊酉群定义；保留所依赖的酉矩阵和酉群约定
An $n\times n$ complex matrix $A$ is said to be unitary if the column vectors of $A$ are orthonormal, that is, if $\sum_{l=1}^n\overline{A_{lj}}A_{lk}=\delta_{jk}$. […] Thus, the collection of unitary matrices is a subgroup of $GL(n;\mathbb C)$. We call this group the unitary group and we denote it by $U(n)$. We may also define the special unitary group $SU(n)$, the subgroup of $U(n)$ consisting of unitary matrices with determinant $1$.