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

 |
| 单李群

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

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

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

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

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

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

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

 |
| * 
* 论
* 编
 |

在数学中，**典型群**（）指与欧几里得空间的对称密切相关的四族无穷多李群。术语""的使用取决于语境，有一定的灵活性。这个用法可能源于赫尔曼·外尔，他的专著 Weyl (1939) 以"典型群"为题。在菲利克斯·克莱因爱尔兰根纲领的观点下，也许反映了它们和""几何（）的关系。

有时在紧群的限制下讨论典型群，这样容易处理它们的表示论和代数拓扑。但是这把一般线性群排除在外，当前都认为一般线性群是最典型的群
。

和典型李群相对的是例外李群，具有一样的抽象性质，但不属于同一类。

和双线性形式的关系
---------

典型李群共同的特点是它们都与某个特定的双线性或半双线性形式的等距同构群密切联系。这四类用邓肯图标记（下标 *n* ≥ 1），可以描述为：

* An = SU(n)， 特殊酉群，行列式为 1 的 *n*×*n* 酉矩阵。
* Bn = SO(2n+1)，特殊正交群， (2*n*+1)×(2*n*+1) 行列式为 1 的实正交矩阵。
* Cn = Sp(n)，辛群，保持 **H**n 上的通常内积的 *n*×*n* 四元数矩阵。
* Dn = SO(2n)，特殊正交群， 2*n*×2*n* 行列式为 1 的实正交矩阵。

为了某些特定的目的，去掉行列式为 1 的条件考虑酉群和（不连通）正交群也是自然的。表中所列即为所谓连通紧实形式群；在复数域中有相应的类比，以及多种非紧形式，例如，和紧正交群一起可考虑不定正交群。这些群相应的李代数称为"典型李代数"。

一般域或环上的典型群
----------

在代数中，考虑更广泛的典型群，给出特别值得关注的矩阵群。当矩阵群的系数环为实数或复数域时，这些群就是上述的典型李群。

当系数环是有限域时，典型群是李型群。这些群在有限单群的分类中扮演着重要的角色。考虑他们的抽象群理论，许多线性群有一个"特殊"子群，常常由行列式为 1 的元素组成，大部分有一个伴随的"射影"群，它们是除掉群中心的商群。

"一般"一词在群的名称前面通常表示这个群可以用常数乘以某个形式，而不是保持不变。下标 *n* 经常表示群作用的模之维数。特别注意：这种记法和 Dynkin 图中的 *n*（为秩）可能冲突。

### 一般与特殊线性群

一般线性群 *GL**n*(*R*) 是某个模的自同构群。有子群特殊线性群 *SL**n*(*R*) ，以及商群射影一般线性群 *PGL**n*(*R*) = *GL**n*(*R*)/*Z*(*GL**n*(*R*)) 和射影特殊线性群 *PSL**n*(*R*) = *SL**n*(*R*)/*Z*(*SL**n*(*R*))。当 *n≥*2 或 *n*=2 且域 *R* 的阶数不为 2 或 3 时，域 *R* 上的射影特殊线性群 *PSL**n*(*R*) 为单群。

### 酉群

酉群 *U**n*(*R*) 是保持某个模的半双线性形式的群。有子群特殊酉群 *SU**n*(*R*)，以及他们的商群射影酉群 *PU**n*(*R*) = *U**n*(*R*)/*Z*(*U**n*(*R*)) 与射影特殊酉群 *PSU**n*(*R*) = *SU**n*(*R*)/*Z*(*SU**n*(*R*))。

### 辛群

辛群 *Sp*2*n*(*R*) 保持一个模的斜对称形式。它有一个商群射影辛群 *PSp*2*n*(*R*)。将模的斜对称形式乘以一个可逆纯量的所有自同构组成一般辛群 *GSp*2*n*(*R*) 。除了 *n*=1 且域的阶数为 2 或 3 这两个例外，域 *R* 上射影辛群 *PSp*2*n*(*R*) 是单群。

### 正交群

正交群 *O**n*(*R*) 保持一个模的非退化二次型。有子群特殊正交群 *SO**n*(*R*)，以及商群射影正交群 *PO**n*(*R*) 与射影特殊正交群。在特征为 2 时，行列式总是 1，故特殊正交群常定义为 Dickson 不变量为 1 的元素。 

有一个没有名字的群，经常记为 Ω*n*(*R*)，由所有 Spinor 模为 1 的正交群中元素组成。相应的子群和商群为 *S*Ω*n*(*R*)，*P*Ω*n*(*R*)，*PS*Ω*n*(*R*)（对实数域上正定二次型，群 Ω 就是正交群，但一般要比正交群小）。Ω*n*(*R*) 也有一个二重覆盖群，称为 Spin 群 *Spin**n*(*R*)。一般正交群由在二次型上的作用为乘以一个可逆纯量的自同构组成。

參見
--

* 记号习惯：李型群#符号问题

参考文献
----

* Artin, Emil, Interscience Publishers, 1957, ISBN 0471608394
* Dieudonné, Jean, Springer, 1955, ISBN 1-114-75188-X
* Weyl, Hermann, Princeton University Press, 1939, ISBN 0-691-05756-7
* V. L. Popov, Hazewinkel, Michiel (编), Springer, 2001, ISBN 978-1-55608-010-4

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
抽象代数相关主题 |
| --- |
|  |
| 代数结构 · 群 · 环 ·  · 有限 · 本原元 · 格 ·  · 等价关系 · 代數中心 · 同态 · 同构 · 商结构（商系统） · 同构基本定理 · 合成列 · 自由對象 |
|  |
| 群论 | 

|  |  |
| --- | --- |
| 群 | 幺半群 · 半群 · 阿贝尔群 · 非阿贝尔群 · 循環群 · 有限群 ·  · 半 ·  · 自由群 · 交换子群（交換子） · 幂零群 · 可解群 · p-群 · 对称群 · 李群 · 伽罗瓦群 |
|  |
| 子群 | 陪集 · 双陪集 · 商群 · 共轭类 · 拉格朗日定理 · 西羅定理 · 正规子群 · 群中心 · 中心化子和正规化子 · 稳定子群 · 置换群 |
|  |
| 其他 | 阶 · 群擴張 · 群同態 · 群同構 · 群表示 · 群作用 · 波利亞計數定理 · 有限生成阿貝爾群 |

 |
|  |
| 環論 | 

|  |  |
| --- | --- |
| 环 | 子環 · 整环 · 除环 · 多项式环 ·  · 商环 · 諾特環 · 局部環 · 賦值環 · 環代數 · 理想 · 主理想环 · 唯一分解整環 · 群環 |
|  |
| 模 | 深度 · 單模 · 自由模 · 平坦模 · 阿廷模 · 諾特模 |
|  |
| 其他 | 幂 · 特征 · 完備化 · 環的局部化 |

 |
|  |
| 論 | 

|  |  |
| --- | --- |
|  | 有限 · 原根 · 代数闭 · 局部 · 分裂 · 分式環 |
|  |
| 扩张 | 单扩张 · 有限扩张 · 超越扩张 · 代数扩张 · 正规扩张 · 可分扩张 · 伽罗瓦扩张 · 阿贝尔扩张 · 伽罗瓦理论基本定理 |

 |

 |