有限单群分类

✍ dations ◷ 2025-04-26 13:22:20 #群论,散在群,有限群,代数定理

其他有限群
对称群,
二面体群,
无限群
整数, Z
模群, PSL(2,Z) 和 SL(2,Z)

G2 F4E6 E7E8
劳仑兹群
庞加莱群

环路群
量子群
O(∞) SU(∞) Sp(∞)

有限单群的分类是代数学里的一个巨大的工程。有关的文章大多发表于1955年至2004年之间,目的在于将所有的有限简单群都给清楚地分类。这项工程总计约有100位作者在500篇期刊文章中写下了上万页的文字。

若结果是正确的话,分类表示每个有限简单群都会是下列每类型的其中一种:

此一定理在数学的许多分支都有着广泛的应用,有关有限群的问题通常可以归并至有关有限简单群的问题上,再依此一分类即可将问题限于有限个例子的列举。

有时提次群会被归类为一种散在群(在此故而有27个散在群),因为严格来说它不是李群。

散在群中的其中五个是在1860年代中由马提厄(Mathieu)所发现的,而其他的21个则是在1965年至1975年之间被找出来的。有一些此类的群在它们被建构出来前曾被预测其会存在。大多数此类的群是以第一个预测出其存在之数学家来命名的。其完整的列表如下:

对于所有散在群在有限域上的矩阵表示除了怪兽群之外都已经被算出来了。

在26个散在群当中,有20个可以看做是如怪兽群的子群或其子群的商一般地在怪兽群之内。其他6个为134、、和。这6个群有时会被称为贱民(pariahs)。

直至目前为止,对散在群的一个可信的统一叙述方面的进展还是很少。

因为发表出来的文章的长度及复杂度和实际上有些假设的证明还没有被发表出来,有些人依然对这些文章能否对此定理提供一个完整且正确的证明有所怀疑。让-皮埃尔·塞尔即为对其证明提出怀疑的人之中很有名的一位。这些怀疑被证实是证明中的空白,这些空间都在之后被找了出来且最终被填补了起来。

经过了一个年代的时间,专家们查觉到了一个“严重的空白”(由麦克·亚许巴赫所发现),在Geoff Mason(未发表地)对准薄群的分类上。葛仑斯坦(Gorenstein)在1983年宣称已完成有限简单群的分类,部分基于对准薄群方面的证明已完成的认知上。亚许巴赫在1990年代早期将此一空白填补起来。亚许巴赫和史蒂芬·史密斯发表了两册约有1300页的不同证明。

因为有限简单群分类的证明真的实在是太长了,所以有许多被称做“修正”的工作,原本由丹尼尔·葛仑斯坦所领导,在找寻着一个更简单的证明。这即是所谓的二代分类证明。

直到2005年,已有六册被发表了出来,其他还有许多的原稿存在。亚许巴赫和史密斯的两册提供了可以作用在一代和二代证明上有关准薄群方面的一个证明。预计当新的证明完成之后将会有大约5000页的页数。(需注意的是,较新的证明会以较丰富的形式写出。)

葛仑斯坦和其同事给出了一些对于较简单的证明是可能达成的理由。其中最重要的一点是因为现在已经知道了正确且最终的叙述,而所能应用的技术也已足够用来研究这些群。相反地,在原本的证明里,没有人知道到底有多少个散在群,且实际上有些散在群还是在试图证明分类定理的过程中被发现出来的,如扬科群,以致于应用了些过分一般的技术。

而且,也因为不知道结论是什么,甚至有很长的一段时间是令人觉得不可信的,所以原本的证明中有含有许多个单独的完整定理,分类了一些重要的特例。这些定理为了达成其自身的最终叙述,必须要去分析数个特例。通常,大多数的工作都是在做这些例外的事情。做为一个较大且协调的证明之一部分,这些许多特例都是可以不需要去理会的,当更强的假设被加上来时即可得到。因此而得到的收获即为,原本的定理在修正后就不再会有那么较小的证明了,但还是会有一个完整的分类。

不再有那些需要去理会例子的再细分才有效的单独定理。多个目标的群因此都会有多重的等价。修正后的证明会依靠着不同例子的细分来减少其多余的部分。

最后,有限群论学家将会有更多的经验和更新的技术。

相关

  • 六方最密堆积六方晶系(英语:hexagonal crystal system),有一个6次对称轴或者6次倒转轴,该轴是晶体的直立结晶轴C轴。另外三个水平结晶轴正端互成120°夹角。轴角α=β=90°,γ=120°,轴单位a=b
  • 西戎西戎是西周对其边界西方的部落的泛指,商代称为羌或氐羌,相传为炎帝之后,是汉族与羌族的先民之一。在战国时期之后,“西戎”被用来代指位于汉族以西的各个非汉民族,为四夷之一。在
  • 唐浦釜山镇 – 多大浦 – 东莱城 – 尚州 – 忠州弹琴台 – 玉浦 – 泗川 – 临津江 – 唐浦 – 唐项浦 – 闲山岛 – 龙仁 – 梨峙 – 平壤 – 釜山浦 – 北关
  • 安禄山安禄山(703年2月19日-757年1月30日),本姓康,名轧荦山,营州柳城(今辽宁省朝阳市)人。母阿史德氏。父为昭武九姓的粟特人,母为突厥巫师,信仰祆教。安禄山是唐代藩镇割据势力之一的最初建
  • 小行星46737小行星46737(46737 Anpanman)是一颗绕太阳运转的小行星,为主小行星带小行星。该小行星于1997年11月1日发现。该小行星是以日本动漫画作品《面包超人》进行命名。小行星46737的
  • 圣阿吉迪教堂 (吕贝克)坐标:53°51′50.06″N 10°41′23.18″E / 53.8639056°N 10.6897722°E / 53.8639056; 10.6897722圣阿吉迪教堂(德语:)是德国吕贝克内城最东面的一座教堂,也是吕贝克内城七座教
  • 詹姆斯·穆勒詹姆斯·穆勒(英文:James Mill,1773年4月6日-1836年6月23日),也译作詹姆斯·密尔,是一位苏格兰历史学家、经济学家、政治理论家、哲学家。他与大卫·李嘉图一同是古典经济学的创始
  • 锺同明《三才图会》载《监察御史钟公像》锺同(1424年-1455年),字世京,江西永丰县人。明朝政治人物。探花锺复之子。官至监察御史,景泰年间因上疏立储之事下狱身死。父锺复,宣德进士,与刘
  • 日本叉牙鱼日本叉牙鱼(学名:,英语:Sailfin sandfish)是鲈形目鳄�亚目毛齿鱼科的鱼。日语称为ハタハタ(鰰、鱩、雷魚、燭魚),别名カミナリウオ、シロハタ。日语ハタ是石斑鱼亚科的鱼类,和叉牙鱼没
  • 谢金銮谢金銮(1757年-1820年),字巨庭,一字退谷,晚年时改名为灏,福建侯官人,清朝官员,曾参与《续修台湾县志》的编纂。谢金銮于乾隆五十三年(1788年)中举,嘉庆六年(1801年)大挑二等,试以福建邵武教