一般线性群

✍ dations ◷ 2025-04-04 20:52:55 #群表示论,线性代数,李群


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

相关

  • 空气污染指数空气污染指数(Air Pollution Index, API)是反映空气污染物,如最常见的氮氧化物、悬浮粒子(来自汽车)和二氧化硫(来自工厂)水平的一个指数,一般是根据实际污染物观测值并用特定公式算
  • 封建制封建是源自于中国古代天子依爵位高低将领土分封与宗室或功臣作为食邑的制度。在下,大地主或领主能强行索取土地收入,并且能在其领地上行使政府职权。而在现代的汉语使用上,“封
  • 大陆架大陆架,又称陆架、棚或陆棚,是大陆沿岸土地在海面下向海洋的延伸,可以说是被海水所覆盖的大陆。在过去的冰川期,由于海平面下降,大陆架常常露出海面成为陆地、陆桥;在间冰期(冰川消
  • 马其顿名称争议马其顿名称争议指希腊与北马其顿(原马其顿共和国)就“马其顿”一词的使用而引发的争议。马其顿共和国在1991年独立后,邻邦的希腊政府(英语:Government of Greece)承认其国家地位,但
  • 邹才能邹才能(1963年9月-),重庆江北人。石油天然气地质学家,教授级高级工程师,2017年当选为中国科学院院士。现任国家能源页岩气研发(实验)中心主任、中国石油勘探开发研究院副院长。1987
  • 伊斯兰法庭联盟伊斯兰法院联盟(索马里语:Midowga Maxkamadaha Islaamiga,阿拉伯语:اتحاد المحاكم الإسلامية‎,英语:Islamic Courts Union,缩写:ICU),或译联合伊斯兰法院、伊斯
  • 土耳其军队土耳其军队 (土耳其语:Türk Silahlı Kuvvetleri或TSK),是土耳其共和国的军事部队。包括陆军、海军(包括海军航空兵和海军步兵)和空军。 宪兵和海岸巡防队平时受内务部指挥,但战时
  • 李蓬李蓬(1965年10月-),女,江西宁都县人,分子生理学家,从事脂代谢和代谢性疾病研究。1987年毕业于北京师范大学,1995年取得加州大学圣地亚哥分校博士学位。2003年担任清华大学生命科学学
  • 青埔运动公园棒球场青埔运动公园棒球场位于桃园市中坜区青埔运动公园内,为桃园国际棒球场的附属场地,目前已有固定的地方性赛事,以及甲组成棒与职棒二军赛事在此举行。
  • 菲特里湖菲特里湖(Lac Fitri)是乍得中部的一座淡水湖,位于恩贾梅纳以东300公里,巴塔区的阿提以西约100千米,湖泊面积约5万公顷,湖水浅,在雨季的面积增加至平时的3倍,湖水由来自季节性雨水的