典型群
在数学中，典型群（）指与欧几里得空间的对称密切相关的四族无穷多李群。术语“”的使用取决于语境，有一定的灵活性。这个用法可能源于赫尔曼·外尔，他的专著 Weyl (1939) 以“典型群”为题。在菲利克斯·克莱因爱尔兰根纲领的观点下，也许反映了它们和“”几何（）的关系。
| 李群 |
|---|
 |
有时在紧群的限制下讨论典型群，这样容易处理它们的表示论和代数拓扑。但是这把一般线性群排除在外，当前都认为一般线性群是最典型的群 [1]。
和典型李群相对的是例外李群，具有一样的抽象性质，但不属于同一类。
和双线性形式的关系
典型李群共同的特点是它们都与某个特定的双线性或半双线性形式的等距同构群密切联系。这四类用邓肯图标记（下标 n ≥ 1），可以描述为：
- An = SU(n)， 特殊酉群，行列式为 1 的 n×n 酉矩阵。
- Bn = SO(2n+1)，特殊正交群， (2n+1)×(2n+1) 行列式为 1 的实正交矩阵。
- Cn = Sp(n)，辛群，保持 Hn 上的通常内积的 n×n 四元数矩阵。
- Dn = SO(2n)，特殊正交群， 2n×2n 行列式为 1 的实正交矩阵。
为了某些特定的目的，去掉行列式为 1 的条件考虑酉群和（不连通）正交群也是自然的。表中所列即为所谓连通紧实形式群；在复数域中有相应的类比，以及多种非紧形式，例如，和紧正交群一起可考虑不定正交群。这些群相应的李代数称为“典型李代数”。
一般域或环上的典型群
在代数中，考虑更广泛的典型群，给出特别值得关注的矩阵群。当矩阵群的系数环为实数或复数域时，这些群就是上述的典型李群。
当系数环是有限域时，典型群是李型群。这些群在有限单群的分类中扮演着重要的角色。考虑他们的抽象群理论，许多线性群有一个“特殊”子群，常常由行列式为 1 的元素组成，大部分有一个伴随的“射影”群，它们是除掉群中心的商群。
“一般”一词在群的名称前面通常表示这个群可以用常数乘以某个形式，而不是保持不变。下标 n 经常表示群作用的模之维数。特别注意：这种记法和 Dynkin 图中的 n（为秩）可能冲突。
一般与特殊线性群
一般线性群 GLn(R) 是某个模的自同构群。有子群特殊线性群 SLn(R) ，以及商群射影一般线性群 PGLn(R) = GLn(R)/Z(GLn(R)) 和射影特殊线性群 PSLn(R) = SLn(R)/Z(SLn(R))。当 n≥2 或 n=2 且域 R 的阶数不为 2 或 3 时，域 R 上的射影特殊线性群 PSLn(R) 为单群。
酉群
酉群 Un(R) 是保持某个模的半双线性形式的群。有子群特殊酉群 SUn(R)，以及他们的商群射影酉群 PUn(R) = Un(R)/Z(Un(R)) 与射影特殊酉群 PSUn(R) = SUn(R)/Z(SUn(R))。
辛群
辛群 Sp2n(R) 保持一个模的斜对称形式。它有一个商群射影辛群 PSp2n(R)。将模的斜对称形式乘以一个可逆纯量的所有自同构组成一般辛群 GSp2n(R) 。除了 n=1 且域的阶数为 2 或 3 这两个例外，域 R 上射影辛群 PSp2n(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