一般线性群

✍ dations ◷ 2025-07-07 07:04:18 #群表示论,线性代数,李群


无限单李群:An, Bn, Cn, Dn,
特殊单李群 G2(英语:G2 (mathematics)) F4E6 E7E8(英语:E8 (mathematics))

其他有限群
对称群,
二面体群,
无限群
整数, Z
模群, PSL(2,Z) 和 SL(2,Z)

G2 F4E6 E7E8
劳仑兹群
庞加莱群

环路群
量子群
O(∞) SU(∞) Sp(∞)


无限单李群:An, Bn, Cn, Dn,
特殊单李群 G2(英语:G2 (mathematics)) F4E6 E7E8(英语:E8 (mathematics))

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

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

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

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

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

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

如果 ≥ 2,则群 (, )不是阿贝尔群。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

GL(, )的阶是:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

无限一般线性群或稳定一般线性群是包含 GL ( n , F ) GL ( n + 1 , F ) {\displaystyle \operatorname {GL} (n,F)\to \operatorname {GL} (n+1,F)} 为上左分块矩阵的方向极限。它指示为要么 GL ( F ) {\displaystyle \operatorname {GL} (F)} 要么 GL ( , F ) {\displaystyle \operatorname {GL} (\infty ,F)} ,并可以解释为只与单位矩阵差异有限多个位置的可逆无限矩阵的集合。

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

相关

  • 烯醇烯醇(Enol)指的是双键碳上连有羟基的一类化合物,其(下图右)与羰基化合物(下图左)成互变异构:通常在平衡中烯醇式占的很少。这是由于氧的电负性大于碳,因而碳氧双键更加稳定。随着α氢
  • 奥陶系奥陶纪(英语:Ordovician,发音: /ɔːrdəˈvɪʃən/,符号O)是地质时代中显生宙古生代的第二个纪,约开始于4.85亿年前,结束于4.43亿年前。“奥陶”(Ordovices)之名来自英国威尔士一古
  • 约翰·策莱佩斯·科穆宁约翰·策莱佩斯·科穆宁(希腊语:Ιωάννης Κομνηνός Τζελέπης)是至尊者(英语:sebastokrator)伊萨克·科穆宁(英语:Isaac Komnenos (son of Alexios I))的长子以
  • 以色列总统列表以色列总统是以色列的国家元首,由以色列国会议员选举产生,总统是以色列国防军的统帅,但权力只是象征及礼仪性的,不过总统拥有对内阁的任免权力。总统由以色列国会议员选举产生,因
  • 强心甾强心甾或卡烯内酯(英语:Cardenolide)是一种甾体结构母核。许多种植物能产生其衍生物,常为强心苷的糖苷配基,通常具有毒性。
  • 东方美谷上海市奉贤区金海公路5885号东方美谷(英语:The Oriental Beauty Valley)是位于中国上海市奉贤区的生物科技园区,原为奉贤现代农业园区,成立于2001年。园区地处奉贤区中部,北起大叶
  • 亚瓦特马尔亚瓦特马尔(Yavatmal),是印度马哈拉施特拉邦Yavatmal县的一个城镇。总人口122906(2001年)。该地2001年总人口122906人,其中男性62838人,女性60068人;0—6岁人口14730人,其中男7652人,
  • 汉阳陵汉阳陵是西汉汉景帝刘启及其皇后王氏同茔异穴的合葬陵园,位于今陕西省咸阳市渭城区正阳镇张家湾、后沟村北的咸阳原上,是咸阳原西汉诸帝陵中最东的一座,地跨咸阳市渭城区、泾阳
  • 托达比姆托达比姆(Todabhim),是印度拉贾斯坦邦Karauli县的一个城镇。总人口20845(2001年)。该地2001年总人口20845人,其中男性10944人,女性9901人;0—6岁人口3887人,其中男2049人,女1838人;识字
  • 李宝奇李宝奇(1920年-2000年),男,山西长治人,中华人民共和国军事人物,曾任南京军区副政治委员,第五届全国人大代表。