标题：酉群
性质
  群论因为酉矩阵的行列式是模长 1 复数，行列式给出了一个群同态
\det\colon \mathrm{U}(n) \to \mathrm{U}(1)
这个同态的核是行列式为单位的酉矩阵集合，这个子群称为特殊酉群，记作 SU(n)。我们有李群的短正合列：
1\to\mathrm{SU}(n)\to\mathrm{U}(n)\to\mathrm{U}(1)\to 1\,.
这个短正合列分裂，故 U(n) 可以写成 SU(n) 与 U(1) 的半直积。这里 U(1) 是 U(n) 中由 diag(eiθ,1,1,...,1) 形式的矩阵组成的子群。
酉群 U(n) 对 n > 1 是非交换的。U(n) 的中心是数量矩阵λI，这里 λ ∈ U(1)。这由舒尔引理得来。这样中心同构于 U(1)。因为 U(n) 的中心是一个 1 维阿贝尔正规子群，酉群不是半单的。
拓扑
酉群 U(n) 作为 Mn(C) 的子集赋予相对拓扑， Mn(C) 是所有 n×n 复矩阵集合，本身同构于 2n2 维欧几里得空间。
作为一个拓扑空间，U(n) 是紧连通空间。因为 U(n) 是 Mn(C) 的一个有界闭子集，然后海涅-波莱尔定理可知紧性。欲证 U(n) 是连通的，回忆到任何酉矩阵 A 能被另一个酉矩阵 S 对角化。任何对角酉矩阵的对角线上都是绝对值为 1 的复数。从而我们可以写成
A = S\,\mbox{diag}(e^{i\theta_1},\dots,e^{i\theta_n})\,S^{-1}.
U(n) 中从单位到 A 的一条道路由
t\mapsto S\,\mbox{diag}(e^{it\theta_1},\dots,e^{it\theta_n})\,S^{-1}
给出。
酉群不是单连通的；对所有 n，U(n) 的基本群是无限循环群
\pi_1(U(n)) \cong \mathbf{Z}.
第一个酉群 U(1) 是一个拓扑圆周，熟知其有同构于 Z 的基本群，包含映射 U(n) \to U(n+1) 在 π1 上是同构（其商是斯蒂弗尔流形）。
行列式映射 \mathrm{det}\colon \mathrm{U}(n) \to \mathrm{U}(1) 诱导了基本群的同构，分裂映射 \mathrm{U}(1) \to \mathrm{U}(n) 诱导其逆。
三选二性质
酉群是正交群、辛群与复数群的 3 重交集：
U(n) = O(2n) \cap GL(n,\mathbf{C}) \cap Sp(2n, \mathbf{R}),
从而一个酉结构可以视为一个正交结构、复结构与辛结构，他们要求是“一致的”（意思是说：复结构与辛形式使用同样的 J，且 J 是正交的；取定一个 J 将所有群写成矩阵群便确保了一致性）。
事实上，它是这三个中任何两个的交；从而一个一致的正交与复结构导致了一个辛结构，如此等等。
在方程的层次上，这可以有下面看出
辛：ATJA = J,
复：A − 1JA = J,
正交：AT = A − 1,
任何两个方程蕴含第三个。
在形式的层次上，这可从埃尔米特形式分解为实部与虚部看出： 实部是对称的（或正交），虚部是斜正交（辛）——他们由复结构联系（这便是一致性）。在一个殆凯勒流形上，可以将这个分解写成 h = g + iω，这里 h 是埃尔米特形式，g 是黎曼度量，i 是殆复结构，而 ω 是殆辛结构。
从李群的观点来看，这可部分地解释如下： O(2n) 是 GL(2n,\mathbf{R}) 的极大紧子群，而 U(n) 是 GL(n,\mathbf{C}) 与 Sp(2n) 的极大紧子群。从而交集 O(2n) \cap GL(n,\mathbf{C}) 或 O(2n) \cap Sp(2n) 是这些群的极大紧子群，即 U(n)。从这个观点来看，意料之外的是交集 GL(n,\mathbf{C}) \cap Sp(2n) = U(n)。
结构：殆埃米尔特
用 G-结构的语言来说，一个具有 U(n)-结构的流形是一个殆埃米尔特流形。
推广
从李群的观点来看，典型酉群是斯坦伯格群 {}^2\!A_n 的实形式，后者是由一般线性群的“图表自同构”（翻转 Dynkin diagram An，对应于转置逆）与扩张 \mathbf{C}/\mathbf{R} 的域同构（即复共轭）的复合得到的代数群。两个自同构都是代数群的自同构，阶数为 2，可交换，酉群作为代数群是乘积自同构的不动点。典型酉群是这个群的实形式，对应于标准埃尔米特形式 Ψ，它是正定的。
这可从几个方面推广：
推广到其它埃尔米特形式得到了不定酉群 \operatorname{U}(p,q) ；
域扩张可用任何 2 阶可分代数取代，最特别地是一个 2 阶有限域扩张；
推广到其它图表得出李型群，即其它斯坦伯格群 {}^2\!D_n, {}^2\!E_6, {}^3\!D_4, （以及 {}^2\!A_n）Suzuki-Ree 群 {}^2\!B_2\left(2^{2n+1}\right), {}^2\!F_4\left(2^{2n+1}\right), {}^2\!G_2\left(3^{2n+1}\right) ；
考虑一个推广的酉群作为代数群，可取它的点在不同的代数上。
不定形式
类似于不定正交群，给定一个不必正定（但一般取为非退化）的埃尔米特形式，考虑保持这个形式的变换，我们可以定义不定酉群。这里我们在复向量空间上考虑问题。
给定复向量空间 V 上的一个埃尔米特形式 Ψ，酉群 U(Ψ) 是保持这个形式的变换群：变换 M 使得 Ψ(Mv,Mw) = Ψ(v,w)，对所有 v,w\in V。写成矩阵，设这个形式用矩阵 Φ 表示，这便是说 M * ΦM = Φ。
就像实数上的对称形式，埃尔米特形式由符号确定，所有都是酉合同于对角线上 p 个元素为 1，q 个 - 1 的对角矩阵。非退化假设等价于 p + q = n。在一组标准基下，这代表二次形式：
\lVert z \rVert_\Psi^2 = \lVert z_1 \rVert^2 + \dots + \lVert z_p \rVert^2 - \lVert z_{p+1} \rVert^2 - \dots - \lVert z_n \rVert^2 ,
作为对称形式是：
\Psi(w,z) = \bar w_1 z_1 + \cdots + \bar w_p z_p - \bar w_{p+1}z_{p+1} - \cdots - \bar w_n z_n ,
得出的群记为 U(p,q) 。
有限群
在 q = pr 个元素的有限域 \mathbf{F}_q 上，有一个唯一的 2 阶扩张域 \mathbf{F}_{q^2}，带有 2 阶自同构 \alpha\colon x \mapsto x^q（弗罗贝尼乌斯自同构的 r 次幂）。这使得我们可以定义 \mathbf{F}_{q^2} 上一个向量空间 V 上的埃尔米特形式，是一个 \mathbf{F}_q-双线性映射 \Psi\colon V \times V \to K 使得 \Psi(w,v)=\alpha\left(\Psi(v,w)\right) 以及 Ψ(w,cv) = cΨ(w,v) 对 c \in \mathbf{F}_{q^2} 。 另外，有限域上向量空间的所有非退化埃尔米特形式都酉合同与用恒同矩阵表示的标准形式。这便是说，任何埃尔米特形式酉等价于
\Psi(w,v)=w^\alpha \cdot v = \sum_{i=1}^n w_i^q v_i ,
这里 wi,vi 表示w,v \in V 在 n-维空间 V 的某个特定 \mathbf{F}_{q^2}-基下的坐标(Grove 2002, Thm. 10.3)。
从而我们对扩张 \mathbf{F}_{q^2}/\mathbf{F}_q 可以定义一个（唯一的）n 维酉群，记作 U(n,q) 或 U\left(n,q^2\right)（取决于作者的习惯）。酉群中矩阵的行列式为 1 的子群称为特殊酉群，记作 SU(n,q) 或 SU(n,q2)。为方便起见，本文使用 U(n,q2) 写法。U(n,q2) 的中心的阶数为 q + 1 由为酉数量矩阵组成，这便是所有矩阵 cIV，这里 cq + 1 = 1 。特殊酉群的中心的阶数为 gcd(n,q + 1) ，由那些阶数整除 n 的酉数量矩阵组成。酉群除以中心的商称为射影酉群，PU(n,q2)，特殊酉群除以中心是射影特殊酉群 PSU(n,q2) 。在大多数情形（ n \geq 2 与 (n,q^2) \notin \{ (2,2^2), (2,3^2), (3,2^2) \}），SU(n,q2) 是完全群而 PSU(n,q2) 是有限单群(Grove 2002, Thm. 11.22 and 11.26)。
阶可分代数
更一般地，给定一个域 k 与一个 2 阶可分 k-代数 K（可能是一个域扩张但也未必），我们可以定义关于这个扩张的酉群。
首先，存在 K 的唯一 k-自同构 a \mapsto \bar a 是一个对合且恰好不动元为 k（a=\bar a 当且仅当 a \in k)。这是复共轭与 2 阶有限域扩张共轭的推广，从而我们可以在它上面的定义埃尔米特形式与酉群。
代数群
定义酉群的方程是一些 k 上的多项式方程（但不是在 k 上）：对标准形式 Φ = I，这些方程由矩阵 A * A = I给出，这里 A^*=\overline A^t 是 共轭转置。给定另外一个形式，它们是 A * ΦA = Φ 。从而酉群一个代数群，它在一个 k-代数 R 上的点由
\operatorname{U}(n,K/k,\Phi)(R) := \left\{ A\in \operatorname{GL}(n,K\otimes_k R): A^*\Phi A=\Phi\right\}
给出。
对域扩张 \mathbf{C}/\mathbf{R} 与标准（正定）埃尔米特形式，这得出了具有实点与复点的代数群：
\operatorname{U}(n,\mathbf{C}/\mathbf{R})(\mathbf{R}) = \operatorname{U}(n),
\operatorname{U}(n,\mathbf{C}/\mathbf{R})(\mathbf{C}) = \operatorname{GL}(n,\mathbf{C}).
分类空间
关于 U(n) 的分类空间在条目U(n)的分类空间中描述。