一般线性群 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 一般线性群.

一般线性群

维基百科,自由的百科全书

李群 典型群 一般线性群 GL(n) 特殊线性群 SL(n) 正交群 O(n) 特殊正交群 SO(n) 酉群 U(n) 特殊酉群 SU(n) 辛群 Sp(n) 单李群 单李群列表(英语:List of simple Lie groups) 无限单李群:An, Bn, Cn, Dn, 特殊单李群 G2(英语:G2 (mathematics)) F4 E6 E7 E8(英语:E8 (mathematics)) 其他李群(英语:Table of Lie groups) 圆群 循环群 劳仑兹群 庞加莱群 共形群(英语:Conformal group) 微分同胚群 圈群(英语:Loop group) 李代数 指数映射 李群的伴随表示 基灵型 李点对称 半单李群代数 丹金图(英语:Dynkin diagram) 嘉当子代数 根系 实形式(群论)(英语:Real form (Lie theory)) 复化 分裂李代数 紧李代数 群表示论 李群表示 李代数表示(英语:Lie algebra representation) 物理中的李群 粒子物理学与群表示论(英语:Particle physics and representation theory) 洛仑兹群的群表示论(英语:Representation theory of the Lorentz group) 庞加莱群的群表示论(英语:Representation theory of the Poincaré group) 伽利略群的群表示论(英语:Representation theory of the Galilean group) 科学家 索菲斯·李  · 庞加莱  · 威廉·基灵  · 埃利·嘉当  · 赫尔曼·外尔 查论编
群论 群 基本概念 子群 · 正规子群 · 商群 · 群同态 · 像 · (半)直积 · 直和单群 · 有限群 · 无限群 · 拓扑群 · 群概形 · 循环群 · 幂零群 · 可解群 · 圈积 离散群 有限单群分类 循环群 Zn 交错群 An 散在群马蒂厄群 M11..12,M22..24康威群 Co1..3 扬科群 J1..4 费歇尔群 F22..24子怪兽群 B怪兽群 M 其他有限群 对称群, Sn 二面体群, Dn 无限群 整数, Z 模群, PSL(2,Z) 和 SL(2,Z) 连续群 李群一般线性群 GL(n)特殊线性群 SL(n)正交群 O(n)特殊正交群 SO(n)酉群 U(n)特殊酉群 SU(n)辛群 Sp(n) G2 F4 E6 E7 E8 劳仑兹群庞加莱群 无限维群 共形群微分同胚群 环路群 量子群 O(∞) SU(∞) Sp(∞) 代数群 椭圆曲线线性代数群(英语:Linear algebraic group)阿贝尔簇(英语:Abelian variety) 查论编
李群 典型群 一般线性群 GL(n) 特殊线性群 SL(n) 正交群 O(n) 特殊正交群 SO(n) 酉群 U(n) 特殊酉群 SU(n) 辛群 Sp(n) 单李群 单李群列表(英语:List of simple Lie groups) 无限单李群:An, Bn, Cn, Dn, 特殊单李群 G2(英语:G2 (mathematics)) F4 E6 E7 E8(英语:E8 (mathematics)) 其他李群(英语:Table of Lie groups) 圆群 循环群 劳仑兹群 庞加莱群 共形群(英语:Conformal group) 微分同胚群 圈群(英语:Loop group) 李代数 指数映射 李群的伴随表示 基灵型 李点对称 半单李群代数 丹金图(英语:Dynkin diagram) 嘉当子代数 根系 实形式(群论)(英语:Real form (Lie theory)) 复化 分裂李代数 紧李代数 群表示论 李群表示 李代数表示(英语:Lie algebra representation) 物理中的李群 粒子物理学与群表示论(英语:Particle physics and representation theory) 洛仑兹群的群表示论(英语:Representation theory of the Lorentz group) 庞加莱群的群表示论(英语:Representation theory of the Poincaré group) 伽利略群的群表示论(英语:Representation theory of the Galilean group) 科学家 索菲斯·李  · 庞加莱  · 威廉·基灵  · 埃利·嘉当  · 赫尔曼·外尔 查论编

数学中,n一般线性群n×n 可逆矩阵的集合,和与之一起的普通矩阵乘法运算。这形成了一个,因为两个可逆矩阵的乘积也是可逆矩阵,而可逆矩阵的逆元还是可逆矩阵。叫这个名字是因为可逆矩阵的纵列是线性无关的,因此它们定义的向量/点是在一般线性位置上的,而在一般线性群中的矩阵把在一般线性位置上的点变换成在一般线性位置上的点。

为了使定义更明确,必需规定哪类对象可以成为矩阵的元素。例如,在 R实数集)上的一般线性群是实数的 n×n 可逆矩阵的群,并指示为 GLn(R)或 GL(n, R)。

更一般的说,在任何 F(比如复数集)或 R(比如整数集的环)上的 n 次一般线性群是带有来自 F(或 R)的元素的 n×n 可逆矩阵的群,带有矩阵乘法作为群运算。[1]典型符号是 GLn(F)或 GL(n, F),如果域是自明的也可简写为 GL(n)。

更一般的说,向量空间的一般线性群 GL(V)仍是抽象自同构群,不必需写为矩阵。

特殊线性群,写为 SL(n, F)或 SLn(F),是由行列式 =1的矩阵构成的 GL(n, F)的子群

GL(n, F)和它的子群经常叫做线性群矩阵群(抽象群 GL(V)是线性群但不是矩阵群)。这些群在群表示理论中是重要的,并引发对空间对称和一般向量空间对称的研究,还有多项式的研究。模群可以实现为特殊线性群SL(2, Z)的商群。

如果 n ≥ 2,则群 GL(n, F)不是阿贝尔群

向量空间的一般线性群

如果 V 是在域 F 上的向量空间V 的一般线性群,写为GL(V)或Aut(V),是 V 的所有自同构的群,就是说所有双射线性变换 VV 的集合,和与之一起的函数复合作为群运算。如果 V 有有限 n,则GL(V)和GL(n, F)是同构的。这个同构不是规范的;它依赖于在 V 中对的选择。给定 V 的一个基 (e1, ..., en)和GL(V)中自同构 T,有着

对于某些 F 中的常量 ajk;对应于 T 的矩阵就是由 ajk作为元素的矩阵。

以类似的方式,对于交换环 R 群GL(n, R)可以被解释为 n 秩的自由 R-模的自同构的群。还可以对任何模定义GL(M),但是这一般不同构于GL(n, R)(对于任何 n)。

依据行列式

在域 F 上矩阵是可逆的,当且仅当它的行列式是非零的。因此GL(n, F)的一个可替代定义是带有非零行列式的矩阵。

交换环 R 上,必须稍微小心一下:在 R 上的矩阵是可逆的,当且仅当它的行列式是 R 中的可逆元,就是说它的行列式在 R 中是可逆的。因此GL(n, R)可以被定义为行列式为可逆元的矩阵的群。

在非交换环 R 上,行列式表现不好。在这种情况下,GL(n, R)可以定义为矩阵环 M(n, R)的单位群

作为李群

实数情况

实数域上的一般线性群GL(n,R)是 n2维实数李群。要得出这个结论,注意所有 n×n 实数矩阵的集合 Mn(R)形成了 n2实向量空间。子集GL(n,R)由行列式为非零的矩阵构成。行列式是多项式映射,因此GL(n,R)是 Mn(R)的开仿射子簇Mn(R)在扎里斯基拓扑下的非空开子集),并且因此[2]是相同维的光滑流形

GL(n,R)的李代数由所有 n×n 实数矩阵构成并带有交换子充当李括号。

作为一个流形,GL(n,R)不是连通的而是由两个连通单元构成:有正行列式的矩阵们和有负行列式的矩阵们。单位分量(Identity component英语Identity component)为GL+(n, R),由带有正行列式的实数 n×n 矩阵构成。它也是 n2维李群;它有同GL(n,R)一样的李代数。

群GL(n,R)也是非紧致的。GL(n, R)的极大紧子群[3]正交群 O(n),而GL+(n, R)的极大紧子群是特殊正交群 SO(n)。至于SO(n),群GL+(n, R)不是单连通的(除了 n=1的时候),然而有基本群,它对 n=2同构于 Z 或者对 n>2同构于 Z2

复数情况

复数集上的一般线性群GL(n,C)是复数维 n2的复数李群。作为实数李群它有2n2维。所有实数矩阵的集合形成了实数李子群。

对应于GL(n,C)的李代数由所有 n×n 复数矩阵组成带有交换子充当李括号。

不像实数情况,GL(n,C)是连通的。部分的因为复数的乘法群 C×是连通的。群流形GL(n,C)不是紧致的;而它的极大紧子群酉群 U(n)。至于U(n),群流形GL(n,C)不是单连通的但有同构于 Z基本群

在有限域上

如果 F 是有 q 个元素的有限域,则我们有时写GL(n, q)替代GL(n, F)。在 p 是质数的时候,GL(n, p)是群Zpn外自同构群,并且还是自同构群,因为Zpn是阿贝尔群,所以内自同构群是平凡的。

GL(n, q)的阶是:

(qn - 1)(qn - q)(qn - q2)… (qn - qn-1)

这可以通过计数矩阵的可能纵列数来证明:第一列可以是除了零向量的任何向量;第二列可以是除了第一列的倍数的任何向量;并且一般的说第 k 列可以是非前 k-1列的线性张成的任何向量。

例如,GL(3,2)有阶 (8-1)(8-2)(8-4)=168。它是Fano平面和群Z23的自同构群。

更一般的说,可以计数 F 上的格拉斯曼空间的点:换句话说就是给定维 k 的子空间的数目。这只要求找到一个这种子空间的稳定子子群(在那个页面中以分块矩阵形式描述),并通过轨道-稳定子定理划分成刚才给出的公式。

这些公式有联系于格拉斯曼空间的舒伯特分解,并且是复格拉斯曼空间的贝蒂数的q-analog。这是导致韦伊猜想的线索之一。

特殊线性群

特殊线性群SL(n, F)是带有行列式为1的所有矩阵的群。它们是特殊的因为它们位于子簇之上–它们满足一个多项式方程(因为行列式是元素的多项式)。这种类型的矩阵形成一个群,因为两个矩阵的乘积的行列式是每个矩阵的行列式的乘积。SL(n, F)是GL(n, F)的正规子群

如果我们把 F(排除0)的乘法群写为 F×,则行列式是群同态

det: GL(n, F) → F×

这个映射的就是特殊线性群。通过第一同构定理我们得出GL(n,F)/SL(n,F) 同构F×。事实上,GL(n, F)可以写为SL(n, F)与 F×半直积

GL(n, F) = SL(n, F) ⋊ F×

FRC 的时候,SL(n)是 n2 − 1维的GL(n)的李群。SL(n)的李代数由所有在 F 上的 n×n 矩阵构成带有成为零的迹数。李括号给出为交换子

特殊线性群SL(n, R)可以被刻画为保持体积定向Rn的线性变换的群。

群SL(n, C)是单连通的而SL(n, R)不是。SL(n, R)有同GL+(n, R)一样的基础群,就是对 n=2为 Z 或者对 n>2为 Z2

其他子群

对角子群

所有可逆对角矩阵的集合形成了同构于 (F×)n的GL(n, F)的子群。在域如 RC 中,这些对应于缩放这个空间;也就是扩张或收缩它。

标量矩阵是作为常量倍的单位矩阵的对角矩阵。所有非零标量矩阵的集合形成了同构于 F×的GL(n, F)的子群。这个群是GL(n, F)的中心。特别是,它是正规阿贝尔子群。

SL(n, F)的中心是带有单位行列式的所有标量矩阵的集合,并同构于在域 Fn单位根的群。

典型群

所谓的典型群是保持某种在向量空间 V 上的双线性形式的GL(V)的子群。这包括

这些群提供了李群的重要例子。

有关的群

射影线性群

射影线性群 PGL(n, F)和射影特殊线性群 PSL(n,F)是GL(n,F)和SL(n,F)模以中心(它由某些倍数的单位矩阵的构成)的商群

仿射群

仿射群 Aff(n,F)是通过在 Fn中的转换的GL(n,F)的群扩张,它可以写为半直积

Aff(n, F) = GL(n, F) ⋉ Fn

这里的GL(n, F)自然方式作用在 Fn上。仿射群可以被看作在向量空间 Fn底层的仿射空间的所有仿射变换的群。

它有类似于一般线性群的其他子群的结构:例如,特殊仿射群是半直积SL(n, F) ⋉ Fn定义的子群,而庞加莱群是与洛伦兹群 O(1,3,F) ⋉ Fn关联的仿射群。

无限一般线性群

无限一般线性群稳定一般线性群是包含为上左分块矩阵的方向极限。它指示为要么要么,并可以解释为只与单位矩阵差异有限多个位置的可逆无限矩阵的集合。

它被用在代数K-理论中定义K1,并且在实数上有博特周期性定理贡献的被良好理解了的拓扑。

注释

  1. ^ 这里的环被假定为符合结合律和有乘法单位元的。
  2. ^ 因为扎里斯基拓扑是比度量拓扑更;等价的说,多项式映射是连续的。
  3. ^ 极大紧子群不是唯一而是本质唯一的。

参见

进一步阅读

{{bottomLinkPreText}} {{bottomLinkText}}
一般线性群
Listen to this article