典型群

✍ dations ◷ 2025-12-07 15:22:27 #李群,有限群


无限单李群: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 群 ()。一般正交群由在二次型上的作用为乘以一个可逆纯量的自同构组成。

相关

  • 无衬线体无衬线体(英语:sans-serif)指没有衬线的字体,与衬线字体相反,完全抛弃装饰衬线,只剩下主干,造型简明有力,更具现代感,起源也很晚。适用于标题、广告,瞬间的识别性高。在汉字等东亚字体
  • Beta2微球蛋白1A1M, 1A1N, 1A1O, 1A6Z, 1A9B, 1A9E, 1AGB, 1AGC, 1AGD, 1AGE, 1AGF, 1AKJ, 1AO7, 1B0G, 1B0R, 1BD2, 1C16, 1CE6, 1CG9, 1DE4, 1DUY, 1DUZ, 1E27, 1E28, 1EEY, 1EEZ, 1EFX
  • C7补体成分C7(Complement component 7),即C7,在人体内是一个由C7基因编码的、分子量为97kD血清糖蛋白。C7分子的主要作用是参与形成膜攻击复合物(MAC)。在MAC形成过程中,在C5b-C6复合
  • 双眼竞争双眼竞争(Binocular rivalry)是指进入左眼和右眼中的图像在我们感觉中交替呈现的一种视觉现象。在同一时刻,给两只眼睛呈现差异很大的两幅图像,就会发现我们感觉到的并不是这两
  • 双连坡断层双连坡断层是台湾桃园的一条断层,根据经济部中央地质调查所2000年的资料,将双连坡断层列为存疑性活动断层,该断层始于上阴影窝附近的纵贯铁路南侧,截断伯公冈台地北侧社子溪的河
  • 拉姆琼县拉姆琼县(英语:Lamjung District,尼泊尔语:लमजुङ जिल्ला) ,尼泊尔的75个县之一,隶属于西部发展区的甘达基专区。拉姆琼县面积1692平方千米,人口17.71万人(2001年统计)。拉
  • 利韦济莱乡 (梅赫丁茨县)坐标:44°31′N 22°52′E / 44.517°N 22.867°E / 44.517; 22.867利韦济莱乡(罗马尼亚语:Comuna Livezile, Mehedinți),是罗马尼亚的乡份,位于该国西南部,由梅赫丁茨县负责管辖,
  • 武穆遗书《武穆遗书》 (原名《破金要诀》),金庸小说中虚构的兵法奇书,为岳飞所著。现代屡有《武穆遗书》面世,惟难以证实出自岳飞手笔,兼以武术为主,并非兵书,加上宋代史书对此书全无纪录、
  • 侯瑾侯瑾(?年-?年),字子瑜,敦煌郡人。东汉文学家、史学家。侯瑾年少时就成了孤儿,生活贫困,寄居在他的亲戚家里。侯瑾喜爱学习,白天为人做工,晚上回家烧柴读书。侯瑾时常以礼约束自己,独居在
  • 马蹄映射马蹄映射(英语:horseshoe map)在混沌理论中是指一类能将一个正方形映射到其自身的混沌映射。该映射最早是由斯蒂芬·斯梅尔在研究范德波尔振荡器时提出的。在马蹄映射的作用下,