Loading AI tools
来自维基百科,自由的百科全书
在数学中,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 的所有自同构的群,就是说所有双射线性变换 V → V 的集合,和与之一起的函数复合作为群运算。如果 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)可以被定义为行列式为可逆元的矩阵的群。
在实数域上的一般线性群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)为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)的阶是:
这可以通过计数矩阵的可能纵列数来证明:第一列可以是除了零向量的任何向量;第二列可以是除了第一列的倍数的任何向量;并且一般的说第 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×,则行列式是群同态
这个映射的核就是特殊线性群。通过第一同构定理我们得出GL(n,F)/SL(n,F) 同构于 F×。事实上,GL(n, F)可以写为SL(n, F)与 F×的半直积:
在 F 是 R 或 C 的时候,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)的子群。在域如 R 和 C 中,这些对应于缩放这个空间;也就是扩张或收缩它。
标量矩阵是作为常量倍的单位矩阵的对角矩阵。所有非零标量矩阵的集合形成了同构于 F×的GL(n, F)的子群。这个群是GL(n, F)的中心。特别是,它是正规阿贝尔子群。
SL(n, F)的中心是带有单位行列式的所有标量矩阵的集合,并同构于在域 F 中 n 次单位根的群。
所谓的典型群是保持某种在向量空间 V 上的双线性形式的GL(V)的子群。这包括
这些群提供了李群的重要例子。
射影线性群 PGL(n, F)和射影特殊线性群 PSL(n,F)是GL(n,F)和SL(n,F)模以中心(它由某些倍数的单位矩阵的构成)的商群。
仿射群 Aff(n,F)是通过在 Fn中的转换的GL(n,F)的群扩张,它可以写为半直积:
这里的GL(n, F)自然方式作用在 Fn上。仿射群可以被看作在向量空间 Fn底层的仿射空间的所有仿射变换的群。
它有类似于一般线性群的其他子群的结构:例如,特殊仿射群是半直积SL(n, F) ⋉ Fn定义的子群,而庞加莱群是与洛伦兹群 O(1,3,F) ⋉ Fn关联的仿射群。
无限一般线性群或稳定一般线性群是包含为上左分块矩阵的方向极限。它指示为要么要么,并可以解释为只与单位矩阵差异有限多个位置的可逆无限矩阵的集合。
它被用在代数K-理论中定义K1,并且在实数上有博特周期性定理贡献的被良好理解了的拓扑。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.