| 李群 |
| --- |
|  |
| 典型群
* 一般线性群 GL(*n*)
* 特殊线性群 SL(*n*)
* 正交群 O(*n*)
* 特殊正交群 SO(*n*)
* 酉群 U(*n*)
* 特殊酉群 SU(*n*)
* 辛群 Sp(*n*)

 |
| 单李群

| 
无限单李群 |
| --- |
| * An,
* Bn,
* Cn,
* Dn
 |
| 
特殊单李群 |
| * G2（英语：）
* F4
* E6
* E7
* E8（英语：）
 |

 |
| 其他李群（英语：）
* 圓群
* 勞侖茲群
* 庞加莱群
* 共形群（英语：）
* 微分同胚群
* 圈群（英语：）
* 欧几里得群

 |
| 李代數
* 指数映射
* 李群的伴随表示
* 基灵型
* 李点对称

 |
| 半單李代數
* 丹金图（英语：）
* 嘉当子代数
* + 根系
	+ 外尔群
* 分裂李代数
* 紧李代数

 |
| 群表示论
* 李群表示
* 李代数表示（英语：）

 |
| 物理中的李群
* 粒子物理学与群表示论（英语：）
* 洛仑兹群的群表示论（英语：）
* 庞加莱群的群表示论（英语：）
* 伽利略群的群表示论（英语：）

 |
| 科学家
* 索菲斯·李
* 庞加莱
* 威廉·基灵
* 埃利·嘉当
* 赫尔曼·外尔
* 克勞德·謝瓦萊
* 哈里希-钱德拉

 |
| * 
* 论
* 编
 |

**酉群**，又叫**幺正群**，是李群的一种。在群论中，n阶**酉群**（）是n\times n酉矩阵组成的群，群乘法是矩阵乘法。酉群记作{\displaystyle {\text{U}}(n)}，是一般线性群{\displaystyle {\text{GL}}(n,\mathbf {C} )}的一个子群。

在最简单情形n=1，群{\displaystyle {\text{U}}(1)}相当于圆群，由所有绝对值为1的复数在乘法下组成的群。所有酉群都包含一个这样的子群。

酉群{\displaystyle {\text{U}}(n)}是一个n^{2}维实李群。{\displaystyle {\text{U}}(n)}的李代数由所有复n\times n斜埃尔米特矩阵组成，李括号为交换子。

**一般酉群**(也称为**酉相似群**）由所有复矩阵A使得
A^\*A是恒同矩阵非零复数倍，这就是酉群与恒同矩阵的正数倍的乘积。

性质
--

因为酉矩阵的行列式是模长1复数，行列式给出了一个群同态

\det\colon \mathrm{U}(n) \to \mathrm{U}(1)
这个同态的核是行列式为单位的酉矩阵集合，这个子群称为**特殊酉群**，记作{\displaystyle {\text{SU}}(n)}。我们有李群的短正合列：

1\to {\mathrm {SU}}(n)\to {\mathrm {U}}(n)\to {\mathrm {U}}(1)\to 1\,。
这个短正合列分裂，故{\displaystyle {\text{U}}(n)}可以写成{\displaystyle {\text{SU}}(n)}与{\displaystyle {\text{U}}(1)}的半直积。这里{\displaystyle {\text{U}}(1)}是{\displaystyle {\text{U}}(n)}中由{\displaystyle {\mbox{diag}}(e^{i\theta },1,1,\cdots ,1)}形式的矩阵组成的子群。

酉群{\displaystyle {\text{U}}(n)}对n>1是非交换的。{\displaystyle {\text{U}}(n)}的中心是数量矩阵{\displaystyle \lambda I}，这里{\displaystyle \lambda \in {\text{U}}(1)}。这由舒尔引理得来。这样中心同构于{\displaystyle {\text{U}}(1)}。因为{\displaystyle {\text{U}}(n)}的中心是一个1维阿贝尔正规子群，酉群不是半单的。

拓扑
--

酉群{\displaystyle {\text{U}}(n)}作为{\displaystyle M\_{n}(\mathbf {C} )}的子集赋予相对拓扑，{\displaystyle M\_{n}(\mathbf {C} )}是所有n\times n复矩阵集合，本身同构于2n^2维欧几里得空间。

作为一个拓扑空间，{\displaystyle {\text{U}}(n)}是紧连通空间。因为{\displaystyle {\text{U}}(n)}是{\displaystyle M\_{n}(\mathbf {C} )}的一个有界闭子集，然后海涅-博雷尔定理可知紧性。欲证{\displaystyle {\text{U}}(n)}是连通的，回忆到任何酉矩阵A能被另一个酉矩阵S对角化。任何对角酉矩阵的对角线上都是绝对值为1的复数。从而我们可以写成

A=S\,{\mbox{diag}}(e^{{i\theta \_{1}}},\dots ,e^{{i\theta \_{n}}})\,S^{{-1}}。
{\displaystyle {\text{U}}(n)}中从单位到A的一条道路由

t\mapsto S\,\mbox{diag}(e^{it\theta\_1},\dots,e^{it\theta\_n})\,S^{-1}
给出。

酉群不是单连通的；对所有n，{\displaystyle {\text{U}}(n)}的基本群是无限循环群

\pi \_{1}(U(n))\cong {\mathbf {Z}}。
第一个酉群U(1)是一个拓扑圆周，熟知其有同构于\mathbf{Z}的基本群，包含映射U(n) \to U(n+1)在\pi\_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将所有群写成矩阵群便确保了一致性）。

事实上，它是这三个中任何两个的交集；从而一个一致的正交与複结构导致了一个辛结构，如此等等。

在方程的层次上，这可以由下面看出

**辛**：A^TJA = J,
**複**：A^{-1}JA = J,
**正交**：A^T=A^{-1},
任何两个方程蕴含第三个。

在形式的层次上，这可从埃尔米特形式分解为实部与虚部看出：
实部是对称的（或正交），虚部是斜正交（辛）——他们由複结构联系（这便是一致性）。在一个殆凯勒流形上，可以将这个分解写成h=g + i\omega，这里h是埃尔米特形式，g是黎曼度量，i是殆复结构，而\omega 是殆辛结构。

从李群的观点来看，这可部分地解释如下：
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)。

### 特殊酉群与射影酉群

条目：射影酉群
就像正交群有子群特殊正交群与商群射影正交群{\displaystyle {\text{PO}}(n)}，以及子商群射影特殊正交群；酉群也有关联的特殊酉群{\displaystyle {\text{SU}}(n)}，射影酉群{\displaystyle {\text{PU}}(n)}，以及射影特殊酉群{\displaystyle {\text{PSU}}(n)}。他们的关系如左所示的交换图表；特别地，两个射影群相等：\operatorname{PSU}(n) = \operatorname{PU}(n)。

上面对经典酉群成立（复数上），对有限域，可以类似地得到特殊酉群与射影酉群，但是一般地\operatorname{PSU}(n,q^2) \neq \operatorname{PU}(n,q^2)。

G-结构：殆埃米尔特
----------

用G-结构的语言来说，一个具有\mathrm{U}(n)-结构的流形是一个殆埃米尔特流形。

推广
--

从李群的观点来看，典型酉群是斯坦伯格群{}^2\!A\_n的实形式，后者是由一般线性群的"图表自同构"（翻转丹金图形（英语：） A\_{n}，对应于转置逆）与扩张\mathbf{C}/\mathbf{R}的域同构（即复共轭）的复合得到的代数群。两个自同构都是代数群的自同构，阶数为2，可交换，酉群作为代数群是乘积自同构的不动点。典型酉群是这个群的实形式，对应于标准埃尔米特形式\Psi，它是正定的。

这可从几个方面推广：

* 推广到其它埃尔米特形式得到了不定酉群\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上的一个埃尔米特形式\Psi，酉群U(\Psi)是保持这个形式的变换群：变换M使得\Psi(Mv,Mw)=\Psi(v,w)，对所有v,w\in V。写成矩阵，设这个形式用矩阵\Phi 表示，这便是说M^\*\Phi M = \Phi。

就像实数上的对称形式，埃尔米特形式由符号确定，所有都是酉合同于对角线上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=p^r个元素的有限域\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)以及\Psi(w,cv)=c\Psi(w,v)对c \in \mathbf{F}\_{q^2}。另外，有限域上向量空间的所有非退化埃尔米特形式都酉合同与用恒同矩阵表示的标准形式。这便是说，任何埃尔米特形式酉等价于

\Psi(w,v)=w^\alpha \cdot v = \sum\_{i=1}^n w\_i^q v\_i ,
这里w\_i,v\_i表示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,q^2)。为方便起见，本文使用U(n,q^2)写法。U(n,q^2)的中心的阶数为q+1由为酉数量矩阵组成，这便是所有矩阵cI\_V，这里c^{q+1}=1。特殊酉群的中心的阶数为\gcd(n,q+1)，由那些阶数整除n的酉数量矩阵组成。酉群除以中心的商称为**射影酉群**，PU(n,q^2)，特殊酉群除以中心是**射影特殊酉群**PSU(n,q^2)。在大多数情形（ n \geq 2与(n,q^2) \notin \{ (2,2^2), (2,3^2), (3,2^2) \}），SU(n,q^2)是完全群而PSU(n,q^2)是有限单群（Grove 2002，Thm. 11.22 and 11.26）。

### 2阶可分代数

更一般地，给定一个域k与一个2阶可分k-代数K（可能是一个域扩张但也未必），我们可以定义关于这个扩张的酉群。

首先，存在K的惟一k-自同构a \mapsto \bar a是一个对合且恰好不动元为k（a=\bar a当且仅当a \in k)。这是复共轭与2阶有限域扩张共轭的推广，从而我们可以在它上面的定义埃尔米特形式与酉群。

### 代数群

定义酉群的方程是一些k上的多项式方程（但不是在k上）：对标准形式 
\Phi=I，这些方程由矩阵A^\*A=I给出，这里{\displaystyle A^{\*}={\overline {A}}^{t}}是共轭转置。给定另外一个形式，它们是A^\*\Phi A=\Phi。从而酉群一个代数群，它在一个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)的分类空间中描述。

参考文献
----

1. ↑  弗拉基米尔·阿诺尔德《经典力学中的数学方法（*Mathematical Methods of Classical Mechanics*）》讨论了这个问题。
2. ↑ .  [2008-11-24]. （原始内容存档于2011-11-08）.
3. ↑  Milne, Algebraic Groups and Arithmetic Groups （页面存档备份，存于）, p. 103

* Grove, Larry C. Graduate Studies in Mathematics **39**, Providence, R.I.: 美国数学学会, 2002, ISBN 978-0-8218-2019-3, MR1859189

另见
--

* 特殊酉群
* 射影酉群
* 正交群
* 辛群