典型群

✍ dations ◷ 2025-12-04 02:32:28 #李群,有限群


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

在数学中,典型群(classical group)指与欧几里得空间的对称密切相关的四族无穷多李群。术语“经典”的使用取决于语境,有一定的灵活性。这个用法可能源于赫尔曼·外尔,他的专著 Weyl (1939) 以“典型群”为题。在菲利克斯·克莱因爱尔兰根纲领的观点下,也许反映了它们和“经典”几何(classical geometry)的关系。

有时在紧群的限制下讨论典型群,这样容易处理它们的表示论和代数拓扑。但是这把一般线性群排除在外,当前都认为一般线性群是最典型的群。

和典型李群相对的是例外李群,具有一样的抽象性质,但不属于同一类。

典型李群共同的特点是它们都与某个特定的双线性或半双线性形式的等距同构群密切联系。这四类用邓肯图标记(下标 ≥ 1),可以描述为:

为了某些特定的目的,去掉行列式为 1 的条件考虑酉群和(不连通)正交群也是自然的。表中所列即为所谓连通紧实形式群;在复数域中有相应的类比,以及多种非紧形式,例如,和紧正交群一起可考虑不定正交群。这些群相应的李代数称为“典型李代数”。

在代数中,考虑更广泛的典型群,给出特别值得关注的矩阵群。当矩阵群的系数环为实数或复数域时,这些群就是上述的典型李群。

当系数环是有限域时,典型群是李型群。这些群在有限单群的分类中扮演着重要的角色。考虑他们的抽象群理论,许多线性群有一个“特殊”子群,常常由行列式为 1 的元素组成,大部分有一个伴随的“射影”群,它们是除掉群中心的商群。

“一般”一词在群的名称前面通常表示这个群可以用常数乘以某个形式,而不是保持不变。下标 经常表示群作用的模之维数。特别注意:这种记法和 Dynkin 图中的 (为秩)可能冲突。

一般线性群 () 是某个模的自同构群。有子群特殊线性群 () ,以及商群射影一般线性群 () = ()/(()) 和射影特殊线性群 () = ()/(())。当 2 或 =2 且域 的阶数不为 2 或 3 时,域 上的射影特殊线性群 () 为单群。

酉群 () 是保持某个模的半双线性形式的群。有子群特殊酉群 (),以及他们的商群射影酉群 () = ()/(()) 与射影特殊酉群 () = ()/(())。

辛群 2() 保持一个模的斜对称形式。它有一个商群射影辛群 2()。将模的斜对称形式乘以一个可逆纯量的所有自同构组成一般辛群 2() 。除了 =1 且域的阶数为 2 或 3 这两个例外,域 上射影辛群 2() 是单群。

正交群 () 保持一个模的非退化二次型。有子群特殊正交群 (),以及商群射影正交群 () 与射影特殊正交群。在特征为 2 时,行列式总是 1,故特殊正交群常定义为 Dickson 不变量为 1 的元素。

有一个没有名字的群,经常记为 Ω(),由所有 Spinor 模为 1 的正交群中元素组成。相应的子群和商群为 Ω(),Ω(),Ω()(对实数域上正定二次型,群 Ω 就是正交群,但一般要比正交群小)。Ω() 也有一个二重复盖群,称为 Spin 群 ()。一般正交群由在二次型上的作用为乘以一个可逆纯量的自同构组成。

相关

  • 胎儿窘迫胎儿窘迫(fetal distress),是胎儿宫内缺氧的医学上统称,是一种综合症状。当胎儿的心跳变慢,并且于子宫收缩后保持缓慢,这表示婴儿无法得到足够的氧气。此情况并非罕见,根据医学研究
  • 朊蛋白朊毒体(英语:prion,发音为/ˈpriː.ɒn/;又译为普利昂、蛋白质侵染因子、毒朊、感染性蛋白质、普恩蛋白等)是一种具感染性的致病因子,能引发人类及哺乳动物的传染性海绵状脑病。朊
  • 阿波菲斯阿佩普(Apep),或译阿波菲斯(Apophis),为古埃及神话中的神,被认为是破坏、混沌、黑暗的化身,因此是拉(太阳神)和玛亚特(真理和正义女神)的死对头,祂常以巨蛇的形象出现在艺术作品中。
  • 不定式在语法中,动词不定式(又称不定词)是动词的一种不带词形变化从而不指示人称、数量、时态的形式。它叫做不定式,是因为动词不受限定,或者说不为词形变化所局限。不定式属于非谓语动
  • 享元模式享元模式(英语:Flyweight Pattern)是一种软件设计模式。它使用共享物件,用来尽可能减少内存使用量以及分享资讯给尽可能多的相似物件;它适合用于当大量物件只是重复因而导致无法
  • 多里斯·米勒第二次世界大战多里斯·“多里”·米勒(英语:Doris "Dorie" Miller,1919年10月12日-1943年11月24日)是美国海军的一位非裔美国人厨师,1941年12月7日的珍珠港事件中的英雄。他还是
  • 勃极烈勃极烈(女真语: .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alter
  • 菲利普·希肖夫菲利普·希肖夫(保加利亚语:Филип Шишов),保加利亚男子羽毛球运动员。2016年8月,希肖夫与亚历克斯·弗拉尔合作出战保加利亚羽毛球公开赛男子双打项目,在决赛中以2-0的
  • 伊朗伊斯兰共和国新闻网络伊朗伊斯兰共和国新闻网络(波斯语:شبکه خبر جمهوری اسلامی ایران‎;英语:Islamic Republic of Iran News Network,简称:IRINN)是伊朗伊斯兰共和国广播电视
  • 梁昌汉梁昌汉(1917年10月-2004年10月27日),男,安徽霍山人,中华人民共和国政治人物,曾任青海省卫生厅厅长、党组书记,青海省人大常委会副主任。