一般线性群

✍ dations ◷ 2025-07-19 06:29:43 #群表示论,线性代数,李群


无限单李群: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,并且在实数上有博特周期性定理贡献的被良好理解了的拓扑。

相关

  • 辑佚学辑佚是对已经失传,但其内容等仍以引用的形式保存在其它存世文献中的文献材料加以搜集整理,使得佚失的书籍文献恢复原貌的行为。通过辑佚得到的文献,称为辑本或者辑佚本,研究辑佚
  • 丹麦社会民主党社会民主党(丹麦语:Socialdemokraterne)是1871年成立的丹麦社会民主主义政党。 该党目前为丹麦议会第一大党,拥有47席。社民党是欧洲社会党与社会党国际成员。社民党在1884年首
  • 别洛韦日协议《别洛韦日协议》(俄语:Беловежские соглашения,白俄罗斯语:Белавежскае пагадненне,乌克兰语:Біловезькі угоди),正式
  • 反潜直升机反潜直升机是在航空母舰、驱逐舰、护卫舰等大中型舰艇上起飞和降落,专门负责攻击敌方潜艇和中小型军舰的一种直升机。反潜直升机的武器一般有反舰导弹、鱼雷和深水炸弹等武器
  • 快速约会快速约会(或称闪电约会或极速约会,英文为Speed Dating)是一种有组织的联谊或约会模式,目的就是为了鼓励人们在短时间内与大量的陌生人见面。它最初是犹太人发明的一种婚恋方式。
  • 桑格阿姆内尔桑格阿姆内尔(Sangamner),是印度马哈拉施特拉邦Ahmadnagar县的一个城镇。总人口61958(2001年)。该地2001年总人口61958人,其中男性31679人,女性30279人;0—6岁人口7887人,其中男4152
  • 新民 (新加坡)新民(英语:Sin Ming;白话字:Sin-bîn)是位于新加坡碧山汤申(英语:Thomson, Singapore)的一个住宅区。大致位于麦里芝蓄水池和碧山-宏茂桥公园之间,由住宅区与工业区组成。新加坡最大的
  • 保育钧保育钧(1942年5月9日-2016年5月31日),江苏南通人,蒙古族,中华人民共和国政治人物。1966年毕业于中国人民大学新闻系,历任人民日报社记者、编辑、组长、部主任、编委、秘书长、副总
  • 泛亚泛亚,意即泛亚洲区域,多指包含中国、日本、韩国与新加坡等东亚主要国家为首的区域,或是亚洲-环太平洋区域。
  • 帕科·埃雷拉弗朗西斯科·“帕科”·埃雷拉·洛伦佐(西班牙语:Francisco "Paco" Herrera Lorenzo,1953年12月2日-)是西班牙前足球运动员,司职中场,现在担任教练。