一般线性群

✍ dations ◷ 2025-04-02 12:52:41 #群表示论,线性代数,李群


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

相关

  • 朱道本朱道本(1942年8月20日-),有机化学、中国物理化学家。生于上海,籍贯浙江杭州。1965年毕业于华东化工学院。1968年华东化工学院有机化学系研究生毕业。中国科学院化学研究所研究员
  • 性角色扮演性角色扮演是具有色情元素的角色扮演,是两个或两个以上的人扮演与性幻想相关的角色,也可能是激起性欲的前戏。很多人把性角色扮演作为克服性压抑的一种手段。性角色扮演可能发
  • 巴萨尔博瑟尔(英语:Bothell)位于美国华盛顿州金县及斯诺霍米什县,西雅图都会区的一部分。美国2010年人口普查时人口为33,505人。位于斯诺霍米什县的地区在合并前及2000年人口普查时,被
  • 阿姆贡河坐标:51°42′04″N 136°42′22″E / 51.701°N 136.706°E / 51.701; 136.706阿姆贡河,清代称为兴滚河,是今天俄罗斯境内位于哈巴罗夫斯克边疆区的属于黑龙江的左支流。自发
  • 乌尔巴诺·拉塔齐乌尔巴诺·拉塔齐(Urbano Pio Francesco Rattazzi) (意大利语发音:; 1808年6月29日-1873年6月5日) 意大利政治家。他在意大利共和国早期担任过许多重要的职务,包括首相;他模棱
  • 大山包大山包位于中国云南省昭通市昭阳区西北部大山包乡。面积19200公顷。最高海拔3364米,最低海拔2210米。属暖温性高原季风气候,冬寒夏凉,年平均气温为 6.2℃,日照长。境内有天然湖
  • 极微之歌《A小调之歌》(英语:)是由美国歌手艾莉西亚·凯斯于2001年6月5日在J唱片公司发行的首张个人专辑,高中毕业之后,凯斯与哥伦比亚唱片公司签约,开始她的音乐事业。并于1998年,在地下推
  • 推理 (短篇小说)《推理》()是美国作家艾萨克·阿西莫夫创作的一篇短篇科幻小说。这篇小说初次出版在1941年四月的《超级科学故事》()杂志上。后来收录于1950年的《我,机器人》()、1982年的《机器
  • 韩滉韩.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger{f
  • 美梦成真 (电影)美梦成真()是1998年的美国电影。是一部描述爱的坚强的人间剧。原作为李察·麦森。以CG的方式将天堂变成像是油彩画的世界。负责VFX部分的是数字王国及Pacific Ocean Post。本