一般线性群

✍ dations ◷ 2025-04-26 13:00:28 #群表示论,线性代数,李群


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

相关

  • 液态氮液态氮(常写为LN2)是指惰性、无色、无嗅、无腐蚀性、不可燃的氮气在温度极低的环境下而得到的液体,是氮气在低温下形成的液体形态。氮的沸点为−195.79 °C(77 K),在正常大气压下
  • 南乌班吉省南乌班吉省(法语:Province du Sud Ubangi)是位于刚果民主共和国西北部的一个省,首府盖梅纳(Gemena),与中非共和国及刚果共和国接壤,人口2,744,345(2005年),面积51,648 km²。
  • 文化观光部2000年式文化观光部2000年式,亦称国语罗马字表记法(朝鲜语:국어의 로마자 표기법/國語의 로마字表記法 )为现在韩国所使用的韩国语(谚文)拉丁文字转写规则。2000年7月1日由大韩民国文化观
  • 欧洲中央银行行长欧洲中央银行行长主管负责管理欧元与欧盟欧元区货币政策的欧洲中央银行。欧洲央行行长主管欧洲央行执行董事会、管理委员会和全体理事会。在G20峰会中,他也代表海外银行。央
  • 2010年5月逝世人物列表2010年逝世人物列表:1月 - 2月 - 3月 - 4月 - 5月 - 6月 - 7月 - 8月 - 9月 - 10月 - 11月 - 12月下面是2010年5月逝世的知名人士列表:
  • 异柠檬酸裂合酶有关缩写为ICL的其他条目,请参见此结构 / ECOD异柠檬酸裂合酶(英语:Isocitrate lyase,缩写ICL,EC 4.1.3.1)是以一种在乙醛酸循环中将异柠檬酸切割为乙醛酸和琥珀酸的酶。其产物再
  • 贤淑贤淑(越南语:Hiền Thục,1981年5月13日-)是越南女歌手。出生在胡志明市一个中产家庭。发现孩子的歌唱天赋,父母送贤淑到第一郡少儿之家歌唱队活动。12年级毕业后,贤淑考入胡志明市
  • 伊莎贝拉·弗尔曼《孤儿》伊莎贝拉·弗尔曼(Isabelle Fuhrman,1997年2月25日-)美国女演员,她也是童星,因在电影《孤儿》(2009)中扮演艾丝特这一角色而著名。伊莎贝拉·弗尔曼1997年2月25日出生在美国
  • IPv6转换机制IPv6转换机制指那些用来促进Internet从IPv4架构向下一代地址系统——IPv6转换的技术。具体来说,就是那些允许仅与IPv4或IPv6网络连接的主机能够访问与之不同协议下资源的方法
  • 戈尔迪·霍恩戈尔迪·霍恩(英语:Goldie Hawn,全名:Goldie Jean Hawn;1945年11月21日-)是美国女演员、导演、电影监制,在1969年凭《偷恋隔墙花》(Cactus Flower)荣获奥斯卡最佳女配角和金球奖最佳