首页 >> 专题:孤独 >> 数学 >> 文章

1832年的某个清晨,革命中的法国见证了又一次决斗。在某个瞬间,某位青年被对手的枪射中腹部,随后去世。在当时狂热的政治斗争中,只有寥寥数人意识到,法国,甚至世界,又失去了另一个伟大的头脑。这位青年姓伽罗华,他的最大遗产围绕着一个数学概念:群。

在接下来的一百多年后,一群在世界各地的数学家,沿着这位青年开辟的路径,对有限群的结构进行了彻底的分析。其中的发现,可能出乎所有人的意料。

这是一个关于群的故事,这是一个关于单群的故事。

高度抽象的对称

交错群A_5的一个Cayley图(一种群的图示)

交错群A_5的一个Cayley图(一种群的图示)

什么是群?一个数学家可能会给你这样的回答:

一个群是一个集合G以及在G上的一个运算·,满足以下三个条件:
1. 存在一个G中的元素e,使得对于G中的任意元素x,有x=x·e=e·x。这样的e叫做群的单位元
2. 对于G中的任意元素x,y,z,有(x·y)·z=x·(y·z),这是结合律
3. 对于G中的任意元素x,存在G中的一个元素y,使得e=x·y=y·x。这样的y被称为x的逆元

这样的定义,即使是对一名刚进大学的数学系学生来说也稍显抽象。但数学的力量就在于它的抽象。它什么都不是,所以它什么都是。

整数和加法就构成一个群。什么数加上0都不变,所以0是单位元;a+(b+c)=(a+b)+c,这是小学的加法结合律;一个数加上它的相反数是单位元0,所以相反数就是逆元。正实数和乘法也构成一个群,1是它的单位元,乘法有结合律,倒数是逆元。如果我们认为9点+5点相当于9点的5个小时后,也就是2点的话,就连时钟也构成一个群。宝石的晶体构造,电脑的压缩校验算法,以至于魔方的还原,无不牵涉“群”这个概念。而对于自然界的各种对称性,群也是对其最自然的描述方式。难怪有人会说,群就是对称,研究群,就是研究各种对称性。

正是由于放弃了与现实的对应,像群这样的抽象数学概念才能在现实中获得广泛的对应。我们研究群,并不关心它的具体元素是什么,是x,y,z还是姬十三、猛犸、桔子都无所谓,只要知道元素通过运算产生的关系就够了,这就是群的全部。只要符合群的公理,能应用到x,y,z上的结论就能应用到姬十三、猛犸、桔子上,这就是抽象的力量。

超越时代的孤独

 

伽罗华的画像

伽罗华的画像

也正由于这种抽象,群的概念在一开始并没有很快地被接受。

伽罗华是在研究一元五次方程的根式解时开始触及群的概念的。对于一元二次方程来说,我们可以将方程的所有解写成有关方程系数的一个根式(允许四则运算和开常数次方运算组成的式子),这称为方程的根式解。对于三次以及四次方程,也有这样的公式,可以直接从方程的系数得到方程的所有解。然而,对于五次以及更高次的方程来说,此前阿贝尔已经证明一般的公式并不存在。伽罗华要解决的,是判断何时存在这样的根式表达。

为了解决这个问题,他首次定义了群这种代数结构,仔细地研究了群的各种性质,以及它与更高级的一种代数结构——域——的关系,并以此发展了一套理论,完整地解决了这个问题。他写下了关于这套理论与高次方程根式解的备忘录,并将其递交到法兰西科学院。

他的不幸从此开始。

这份备忘录的评审人是柯西。虽然认识到了伽罗华工作的重要性,柯西却没有接受这份备忘录,而是建议伽罗华修改这份备忘录以竞逐科学院的数学奖。

伽罗华接受了这个建议,第二次提交了备忘录。

天意弄人,评审人傅里叶之后不久就逝世了,伽罗华的备忘录不知所踪。

伽罗华决定最后一搏,但这也被泊松驳回,理由是“无法理解”。当消息传到伽罗华耳中时,他早已因为政治斗争而身陷囹圄,此时离他的决斗只有半年时间。

没有人理解他的理论,或者说没有人愿意去理解他的理论。

就是这套理论,使伽罗华的名声流芳百世。尽管他无法发表他的备忘录,但他此前发表的论文讲述了这个理论的一些基础。泊松的驳回理由,使他更认真地打磨他的理论,以冀数学界的认同。

但死神的镰刀没有给他这个时间,上天不打算给他安排生前的荣耀。1832年5月30日,年方二十的伽罗华,迎来了他第一次也是最后一次的决斗。这场决斗的细节已经被时间之砂打磨掩盖,什么对手,什么原因,有人说是为了爱情,有人说对手背后有政治阴谋,众家各执一词。我们只知道,在这场决斗中,伽罗华腹部中枪,不久后魂归天国。

“不要哭,阿尔弗雷德!在二十岁死去,我需要我的全部勇气。”这就是他对弟弟说的最后一句话。

而决斗前夕给他的朋友Chevalier的信,可以算是他对世界的遗言。信中密密麻麻地写着他的数学理论,他正在思考的问题,他脑中的一切。他大概冀图某天,世界能够通过这封信,理解他。

幸而,Chevalier实现了他挚友的意愿。伽罗华的理论,现在以他的名字命名:伽罗华理论。

也就是这封信,吹响了一场百年战役的号角。

构筑对称的砖块

Z/6Z的一个Cayley图,其中可以看出它可分解为两个单群

Z/6Z的一个Cayley图,其中可以看出它可分解为两个单群

在伽罗华理论,乃至于更广泛的群的理论中,有一个很重要的概念:正规子群。

我们以下只讨论那些只有有限个元素的群,它们被称为有限群。例如,魔方操作组成的群就是有限群,因为变化的可能性是有限的。而整数与加法组成的群则不是有限群,因为整数有无限个。

在一个群里,有些元素自己会组成一个小圈子。它们并非不与外界交流,但无疑它们喜欢抱团:小圈子内的元素经过运算得到的结果仍然在这个小圈子里,而它们的逆元也在小圈子里。简而言之,这个小圈子对于原来的运算也组成一个群。这样的小圈子,叫做群的子群。

有些子群比别的子群更特别,它们不仅自己是一个群,如果“除”原来的群,得到的也是一个群。这样的子群叫做正规子群,而它们对原来的群作“除法”得到的群叫商群。首先观察到并提出正规子群这个概念的,正是伽罗华。

通过研究更简单的正规子群和商群,我们可以得到群的很多性质。这就是数学家特别钟爱正规子群的原因。

如果我们将正规子群和商群看成群的一种分解的话,那么必定有着不能被继续分解的群,我们将之称为单群。

对于任意的有限群,我们可以将其分解成一串单群,而且这样的分解是唯一的。单群在有限群论中的地位,跟素数在数论中的地位,还有原子在化学中的地位一样:它们都是构建它们所在世界的砖块。通过研究这些“砖块”,我们可以知道它们组成的各种结构的性质。如果能列出所有有限单群,就能从一个侧面了解所有离散的对称性的性质。

有限单群就是这个故事的主角。

与化学家当年寻找新元素的动机一样,数学家也开始了对有限单群的寻找。他们想做的跟化学家做的差不多:列一个单群的“元素周期表”。不过数学家要做的任务多了一项:证明这个“周期表”包含了所有的单群。

这看起来不太容易,事实正是如此。

转眼百年的长征

Higman-Sims图,可导出散在单群Higman-Sims群

Higman-Sims图,可导出散在单群Higman-Sims群

伽罗华是寻找有限单群当之无愧的第一人。是他首先发现所谓的交错群A_n对于所有n>=5都是单群,从而不是可解群。正是从这个结果出发,他证明了高于五次的方程一般而言没有根式解。而数学家此前对数论的研究也容易导出另一族的单群:素数阶的循环群Z_p。它们也是唯一的交换单群,也就是说运算满足交换律(a·b = b·a)的单群。

无需太纠结为何这些群取这样的名字。对于数学家而言,群就像是宠物,给宠物取的名字可能反映了宠物的性格,也可能是纯粹的趣味。但名字毕竟只是名字,只是称呼这些群的一种方式而已。

像这样整个家族出现的单群,还有16族所谓的有限李群,它们可以看作离散域上的矩阵组成的群。对它们的系统化研究是由挪威数学家Sophus Lie开始的,所以后人以此命名。而其中首先被发现的是所谓的射影特殊线性群PSL_n(q),其中q是一个素数的幂。在伽罗华生命最后的那封信上,就已经提到PSL_2(p)对于大于3的素数p是单群。后来Chevalley对其进行了更深入的研究,将其推广到一般的素数的幂。对于其余的15族有限李群,Chevalley也功不可没。

除了这一共18个有限单群家族之外,还有26个单独存在的有限单群。它们不属于任何一个家族,而它们之间也没有一个统一的联系,三三两两各自放浪于数学天地之间。数学家给他们起了个相当适合的名字:散在单群。它们是单群中自成一派的例外。成家族出现的单群结构总是相似的,而散在单群却各有各的美丽。

同时进行的则是证明这就是所有的有限单群,这就是所谓的有限单群分类定理。如果将寻找单群比作在森林里抓兔子的话,有限单群分类定理的证明则是确保森林里所有的兔子都被抓光了。这就要求数学家对森林的地形——也就是有限群的结构——有一定的了解。

从某种意义上,整个证明可以追溯到1872年的Sylow定理。这个定理不仅使数学家开始明白有限群更深层的结构,也为后来对各种群的分类讨论提供了武器。而真正明确提出对有限单群分类的,则是1892年的Hölder。他同时也证明了,每一个非交换有限单群的元素个数,是至少四个素数的乘积。

从此开始便是百年的征程,对数学家更不利的一面是,出发的时候还不知道森林里有多少兔子要抓。事实上,分类定理的证明和对有限单群的寻找,很大程度上是交错叠积的。有时是证明的途中,忽然找到了又一个新的有限单群;有时是对于已有的单群的研究启发了证明。这也是可以理解的,毕竟这是研究同一件事物的两条路径。

所以,当1983年Gorenstein宣称有限单群分类定理被证明之时,群论学界可是欢呼雀跃。整个证明散落在各期刊的500多篇论文之中,合计过万页,每篇论文都对某种特殊情况进行了处理。将这些特殊情况合起来,覆盖了绝大多数的有限群类别,而Gorenstein认为,他的新论文恰好补上了仍未处理的那些有限群,从而完成了整个分类定理的证明。

问题是,他弄错了。他以为一类名为“拟薄群”(quasi-thin group)的类别已经被处理好了,但事实上没有。直到2004年,由Aschbacher和Smith撰写的一篇一千多页的论文才将这个情况完全处理妥当,从而填补了这个漏洞。此时,有限单群分类定理,这个有限群理论的圣杯,才正式被圆满证明。

18个有限单群家族,再加上26个散在单群,这就是所有的有限单群。从伽罗华开始历时一个多世纪,跨越两次世界大战的搜索,随着1976年最后一个散在单群被发现,2004年有限单群分类定理的最终证明,这场数学家和有限单群之间的捉迷藏游戏才告结束。这个列表,包含着数代数学家辛勤的汗水,大概还有不少的咖啡、粉笔、墨水和纸。

故事仍未结束。在所有有限单群中,那些散在单群特别令人在意。成它们的出现看似无章可循,没有什么必然的规律。但是,尽管有着“散在单群”这个名字,它们并非与世隔绝之徒。最有名的例子,莫过于那个最大的散在单群——魔群(Monster Group)。

意料之外的联系

魔群是在1973年被Fischer和Griess分别独立发现的。虽然它是最大的散在单群,但它并不是最后一个被发现的。实际上,“魔群”这个名字就源于它庞大的体积。魔群的准确元素个数是808017424794512875886459904961710757005754368000000000,也就是大概8*10^53个。与之相比,太阳系的原子个数也就是大约10^57个,仅仅高了两个数量级。如果我们用线性空间和矩阵变换来表示魔群的话,我们至少需要一个196883维的线性空间,才能忠实表达魔群的整体结构。这种表达方式又被称为群的线性表示。

也正是由于魔群如此庞大,所以一开始数学家们并没有直接将它构造出来,而只能指出它的存在性。发现魔群的Griess,也要几个月后,才最终把魔群的元素个数计算出来。而魔群的直接构造,要等到9年后的1982年。那年,Griess提出了一个名为Griess代数的代数结构,而魔群恰好就是这个代数结构的自同构群。换句话说,魔群恰好刻画了Griess代数的所有对称性。值得一提的是,Griess代数的维度是196884,比196883多1。

如果说每一族单群和每一个散在单群代表一种对称性的话,那么魔群一定有着非同寻常的对称性。体积如此庞大的群,却仍然是一个不可分解的单群,这本来就是个奇迹;而且与那些成系列的量产型单群不同,它的结构和对称性还是独一无二的。用个物理上不太恰当的比喻,如果第二大的散在单群是一颗无暇的钻石的话,按照比例,魔群大概就是一颗完全由钻石组成的星球,而且透明得能从一边看到另一边的星空。

如果说如此瑰丽的魔群,仅仅是数学中的一个与世隔绝的孤岛的话,那数学之神未免太浪费了。

而此时,在数学的另一个领域——数论,另一群数学家正在研究一些完全不同的东西。

模形式理论是数论的一个分支,它研究的正是模形式。模形式是复平面上满足一定性质的函数,它们跟一类叫“椭圆曲线”的数学对象密切相关。椭圆曲线是平面上的一类曲线,它经过的整点有一种自然的群的结构,而对这些群的结构的研究可以获得整数的很多性质,包括轰动一时的费马大定理的证明。

在模形式理论中,有一个特殊的函数占据着相当重要的地位,它叫j不变量。它的历史也不短,各种性质已经被数学家们研究得相当透彻了,也为模形式理论的发展立下过汗马功劳。它可以干净利落地展开成如下的傅立叶级数,其中每个系数都是整数:

moonshine.png

其中是不是有个数字很眼熟?对,就是第二个傅立叶系数196884,正好是Griess代数的维数,也就是魔群的最小忠实线性表示的维数加1。这仅仅是个巧合,还是有某种内在的联系?

当John McKay在上个世纪七十年代末将这个发现告诉Conway时(顺带一提,这位就是发明“生命游戏”的那个Conway),他们并不认为这是一个单纯的巧合。如果是3或者5这种小数字,那巧合或许还能解释,但196884的话,说是巧合未免过于牵强,“有某种尚未发现的内在联系”这个解释听起来更加合理。Conway和另一位数学家Norton随后发现,j不变量的其它傅立叶系数也与魔群的所谓不可约表示的维数有着紧密的联系:这些傅立叶系数恰好可以表示成不可约表示维数的一些简单的线性组合。这就远远不是巧合能够解释的问题了。

在这些基础上,Conway和Norton提出了他们的所谓“魔群月光猜想”。他们猜想,存在一个基于魔群的无限维代数结构,通过魔群的不可约线性表示,它恰好给出了j不变量的所有傅立叶系数,而魔群每一个元素在这个代数结构上的作用,都自然地给出了与某个群相关的模形式。这其中牵涉到的数学,即使笔者也无从驾驭,需要长时间的学习,方能领会个中美妙滋味。

“魔群月光”这个名字,奇怪地带着些浪漫色彩,但这不过是错觉。“月光”的原文是“moonshine”,在俚语中的意思毫不浪漫,反而是用作形容那些带点疯狂的主意。这就是当时Conway听到这个巧合之时的反应。即使对于最有想象力的数学家来说,要承认数论中被研究得相当透彻的j不变量,与有限群论这个不太相关的领域中新发现的魔群有着这么紧密的联系,这个主意也未免有些疯狂。

但更疯狂的还在后头。

不久,数学家们构造出了一个被称为魔群模(Monster Module)的特殊代数结构,被认为极有可能是满足魔群月光猜想的那个代数结构。要构造这个代数结构,首先要从一个名为Leech格的代数结构开始(顺带一提,这个代数结构有着特殊的对称性,可以构造出数个散在单群),构造一个24维的环面。在这个环面上的玻色弦理论,通过共形场论中的顶点算子来表达,就是魔群模。换句话说,联系着有限群论中的魔群与数论中的j不变量的魔群模,实际上是一个高维空间中的弦理论,表达的是某个高维空间中的可能的物理理论。

数学的两个不同分支,居然通过理论物理被联系了起来。

接下来的事情,就是证明魔群模的确满足了魔群月光猜想。这项工作在1992年由Brocherds完成,证明同时包含了数学和物理,其中用到了弦论中的No-ghost定理来构造证明中必不可少的一个代数结构,Brocherds也由于这个证明获得了菲尔兹奖。通过这个定理架起的桥梁,数学家们也发现了魔群、模函数和弦理论之间更多的千丝万缕的联系。甚至有人过于疯狂地设想,魔群也许就代表着我们这个宇宙终极的对称性。

如果伽罗华仍然在世的话,会对这种柏拉图式的设想有什么看法呢?不过毫无疑问的是,他一定会赞叹他的后继者在他之后,在他铺设的地基上建起的这些晶莹无暇的数学理论。

不应重现的叹息

有限单群分类定理是有限群理论的一块里程碑,标志了我们对所有有限对称性的系统理解的开端。对于魔群的研究,也引发了数学家对散在单群的兴趣。关于有限单群的各种研究,至今方兴未艾。

在这个关于单群的故事中,最值得关注的就是整个故事的起点,也就是伽罗华。他的研究奠定了整个有限单群研究的基础。超越时代的他,活着的时候是个孤独的研究者,但现在,谁谈到群论又能绕过他呢?

在数学的天空中,伽罗华宛如一颗匆匆划过的璀璨流星。他的身体太单薄,无法承受时代的狂风;但他发出的光芒,照亮了整个天空,被不同的人以不同的形式记录下来,并将长久不息。以他的名字命名的各种数学概念,已经产生了深远的影响。这使人不禁思考:如果没有那场决斗,他将会做出多大的成就呢?然而,历史没有假设。

这使人不禁想起同为法国人的化学家拉瓦锡的遭遇。在拉瓦锡被构陷上断头台后,数学家拉格朗日的叹息是:“砍下这颗头颅只需一瞬,但百年的等待可能仍不足以使其重现。”一根有智慧的芦苇,需要整个社会长期的积淀产生的土壤,方能破土而出。但芦苇总归是芦苇,命运无常,须臾即可毁去;即便是它脚下的土壤,赤炎燎原,十年亦成焦土。伽罗华的悲剧,现在还在很多地方,以不同的形式,或明或暗地上演着。

0
为您推荐

106 Responses to “[孤独专题]有限单群:一段百年征程”

  1. 跳海的鱼儿说道:

    不是有本书叫百年孤独吗?

  2. 陈筱歪说道:

    写的好

  3. ZKL47说道:

    陈景润五十多岁时,挤公交车时被挤下脑受伤。北京那么多官车,忽略了那么宝贵的头。

    • 飘香天梦说道:

      陈景润留在中国,本身就是对他宝贵的头的不负责任。
      我们也同理,在我们看来,我们的松鼠头是无限宝贵的,但对于领导,那只不过是十多亿圆滚滚东西中的一个,毫无特点,也毫无价值。
      关于这件事儿,无论你信不信,反正我是信了......

    • 丫十四说道:

      五十多岁的数学家的头。。。。

    • xxx说道:

      陈景润是被人骑车撞了之后诱发了帕金森氏综合症

  4. jamesr说道:

    高深的数学。

  5. windswipe说道:

    唉,在数学系学习的才能体会到我们损失了多么天才的大脑啊

    • 幽灵的哀伤说道:

      我不是学数学的,准确的说,大学才刚刚迈进。但是作为一名物理爱好者,确实很早就开始了解甚至是崇拜伽罗华此人了。也不是说只有学数学的能懂得天才的逝去会对一项事业造成多大损失,相反,知识、头脑、追求、真理,都是相通的,正如文章所说群论与弦论的研究相互助力一样。数学出身的各位同学,或者前辈吧,希望你们记得,总会有理解你们的人存在。可能你不认识,甚至根本不认为对方能懂,但是存在。

  6. piccolo说道:

    写的非常好。认真学习了。

  7. 聂超说道:

    文中说一个数加上它的相反数是单位元0,所以相反数就是逆元。
    而3:对于G中的任意元素x,存在G中的一个元素y,使得e=x·y=y·x。这样的y被称为x的逆元
    这是什么情况
    - -

  8. solostar说道:

    文中定理里的点乘是不是当做加号理解啊

  9. 浅栖说道:

    看的头昏脑胀,一丝领悟

  10. 普通人说道:

    荡气回肠啊,和着西葫芦馅儿包子的香味,萦绕不散。

  11. Metaverse说道:

    炫目……给无限的时间,也未必能读得完,这本伟大的是书……自然定律。

  12. TooCold说道:

    这么专业的科普都上了……

  13. iGuang说道:

    我这个一向非常讨厌数学的数学白痴居然把这篇文章看完了,数学家真是太伟大了,宇宙的奥秘真是令人遐想无限!

  14. 愤怒的大鸟说道:

    一想到人脑用来处理 三维世界 旋转群 的 MRT 能力 通过锻炼和幻想居然可以处理如此复杂的超对称系统。 就觉得很感动。 我们诞生自三维世界 但是思维却已占领了 196884维。 想到这里 二向箔 也不觉得可怕了。

  15. 名無し说道:

    数学好美。

  16. Harrison说道:

    数学一般的科普内容都要比其他学科的专业内容要难啊

  17. 比价网说道:

    太高深的东西总是让人难以理解····

  18. 漢尼拔说道:

    汗、叹、赞

  19. 说道:

    有人能看懂吗

  20. yaoliding说道:

    整篇文章看下来我快把伽罗瓦无视得一干二净了,各种概念完全不懂啊

  21. byzod说道:

    一个学计算机的对数学这么痴迷…完全看不懂不过好厉害。历史没有假设,突然想起了伤心者…由衷地想感谢各个领域付出的学者们,不过身体这个臭皮囊在很多情况下是伟大的头脑被浪费的唯一原因…所以如果人是硅基多好…不过如果是硅基,还会有这么灵动的头脑么?

    • CAB说道:

      确实跟伤心者狠像啊!
      一个无人理解的完美证明,100年后才被发现和一个重要物理定律相关
      真是。。。。
      握爪、、、、、

  22. 双黄蛋说道:

    我们是生活在社会最底层的人

    我们需要低俗的快乐

    科学在我们眼中

    只是那些权贵资本主义者们的新游戏而已

  23. 各色帽子说道:

    果断看不懂

  24. Bakaee Mason说道:

    咋和普希金死法雷同,搞文学的和数学的,在这点上真是一致,冲动

  25. 入木仅一分说道:

    这块木头。。。。。。难啊

  26. laoma说道:

    如果姬十三、猛犸、桔子可以组成一个群,那么他们之间的关系一定是这样的:
    姬十三×姬十三=姬十三
    姬十三×猛犸=猛犸
    姬十三×桔子=桔子
    猛犸×姬十三=猛犸
    猛犸×猛犸=桔子
    猛犸×桔子=姬十三
    桔子×姬十三=桔子
    桔子×猛犸=姬十三
    桔子×桔子=猛犸

  27. 卫琴说道:

    原PO不孤独,好文必有观众围观。给一个打气!静待专题下一发!

  28. pob说道:

    文笔流畅,有一点群的知识认真看就能看懂

  29. 歌瑞尔说道:

    以前数学不好。现在也看不懂这个文章。呵呵

  30. 史氏shop说道:

    学数学的都是奇葩

  31. 中子豆说道:

    后面的部分对于群只有说明缺少举例,能看懂就鬼了。

  32. 轻似梦说道:

    1. 存在一个G中的元素e,使得对于G中的任意元素x,有x=x·e=e·x。这样的e叫做群的单位元
    后面又说,整数和加法就构成一个群。什么数加上0都不变,所以0是单位元
    上面是不是该是 x = x + e = e + x?
    要么就是 1 是单位元, x = x * e = e * x

  33. 轻似梦说道:

    O(∩_∩)O哈哈~,原来 · 号不是代表乘,而是代表一种运算。

  34. Freehv说道:

    表示不懂,太深奥了。提个建议(不是拒绝深奥)像这么深奥的科普,能不能分几个章节,让非数学专业的也能有看完的勇气?

  35. Ekoms说道:

    就没有人想起那首歌么……
    Finite Simple Group (of Order Two)

  36. 异教徒说道:

    这一篇太难了。。。

  37. biohu说道:

    内容很好,文笔也好。不过我想,要是加几个非常简单的群的配图就好了。

  38. mj说道:

    好传奇而又生动的故事,叹!

  39. 蓝鸢唯紫说道:

    “魔群恰好刻画了Griess代数的所有对称性。值得一提的是,Griess代数的维度是196884,比196883多1” 少一个维度还能完全刻画吗?

  40. sheldon说道:

    求楼主介绍群的分类

  41. 蓝鸢唯紫说道:

    魔群模理论就是弦理论?

  42. 空间端点说道:

    数学菜鸟看完以后,归纳如下:

    从前有一个牛人,
    提出了一个牛理论,
    但还没牛起来就死了,
    后来又有一群大牛把这个牛理论弄得更牛,
    但到头来还是要感谢创始人这头牛。

    归纳完毕。

  43. jamesonh说道:

    能拜读到现代数学的科普文,真实弥足珍贵啊。。。。作为喜欢数学,但数学不喜欢的我,跪求LZ用更多的例子来让我们接近、了解、熟悉这些概念。
    谢谢啦!

  44. 说道:

    被抢!!!!!
    。。。。。。。。。

  45. 猴子说道:

    写的真好
    看完了又感慨又感动
    虽然只能看懂一半,但觉得数学好美
    有时间真想好好研究研究

  46. hkxld说道:

    太好了!很精彩,散在单群这方面的东西找了好久都找不到科普。只不过文章内容有点太普了,能不能再多介绍一些知识方面的内容

  47. manifold说道:

    很喜欢这样的方式,介绍数学理论的发展历史,受益。

  48. hkxld说道:

    http://ishare.iask.sina.com.cn/f/14595026.html?from=like

    这里有篇关于大魔群的资料

  49. hkxld说道:

    阿拉我就晕,论坛的程序也太N了。看不到自己的发言。等我用同样的名称和邮箱发另外之后,提示我正在审核中。倘若这样,我用别人的ID发一下,是不是能看到许多隐私了……

  50. hqcola说道:

    挑个骨头~~

    "在所有有限单群中,那些散在单群特别令人在意。成它们的出现看似无章可循,没有什么必然的规律。"

    成 --> 从

  51. hqcola说道:

    表示勉强看懂了,写得真好~~

    大学里蜻蜓点水般讲的一点《近世代数》,当时就觉得是天书,现在发现早就全还给老师了,只剩下伽罗华传奇还有点印象,无限惭愧~~

  52. DING说道:

    真美……

  53. rfyr说道:

    插图画得真好看!
    其它的么,不懂!

  54. 何时才能看清前方说道:

    看回复也是一种享受

  55. 所托非人说道:

    这有毛用??能吃能喝?

    • 爱在左岸说道:

      LS,您对于有用无用的判断标准就是能不能吃喝?那还真是简单实用啊……

    • sh1986ye说道:

      现代科学大量运用的数学知识,如粒子物理,固体物理的等,这些学科的发展对现代科技贡献,你懂的!

  56. sh1986ye说道:

    群的性质:还有一个闭合性没说

    • 方弦说道:

      “G上的一个运算”其实已经隐含了这个运算是对G封闭的,不过这是次要的细节。

  57. 幽灵月光说道:

    完全看不懂 我被无视了

  58. 人神之间说道:

    赞一个!松鼠会需要更多这样的文章!!

  59. 珍珍说道:

    我说··解方程的公式··我完全忘记了哎··有这些几次方程的详解吗?在哪里找啊··我是说这个网站~·

  60. huaa说道:

    在生活中有什么应用?希望作者写更多类似文章,同时有更多生活中的例子。

  61. 乐乐说道:

    英才总是早逝啊

  62. 果然应如是说道:

    这么长。。。
    开头那一段在《数学大师》这本书中看过的。

  63. 某技术宅说道:

    作为计算机系学生,虽然离散数学也是必修科目,但是这个。。。看得还是浑身发汗啊。。。课本上那么简洁的群论,竟然演化到这种程度。。。

  64. 袋鼠说道:

    我看不懂,只能感慨

  65. 为美震撼说道:

    真心赞文笔和作者在通俗化上所做的努力,尽快很多地方还不明白,不过外行看了也能感受到那“晶莹璀璨”的美感。谢谢

  66. Hilbert说道:

    “而真正明确提出对有限单群分类的,则是1892年的Hölder。他同时也证明了,每一个非交换有限单群的元素个数,是至少四个不同素数的乘积。”

    这个结果出处在哪里?五元交错群A_5阶数是60,似乎是个反例...

    • 方弦说道:

      嗯,我看错了,没有素数相异的限制,已经修正,谢谢指出~~~

  67. evolvemunger说道:

    令人神往

  68. mathyaoyao说道:

    作为一个数学系的学生,并且代数是跟正正学的,我表示鸭梨很大~~~~~

  69. sheen说道:

    “它可以干净利落地展开成如下的傅立叶级数,其中每个系数都是整数:”

    这哪里是傅立叶级数 明明是洛朗级数

  70. 毛毛说道:

    天妒

  71. 金色葡萄说道:

    干着急,看不懂。这些东西如果从大一开始,学四年就可以明白?

  72. SillyDaddy说道:

    好神奇的魔群啊!真的想象不出这么一个庞然大物!
    “如果第二大的散在单群是一颗无暇的钻石的话,按照比例,魔群大概就是一颗完全由钻石组成的星球,而且透明得能从一边看到另一边的星空”这句话很形象。

  73. hr说道:

    哎~~深夜做着抽象代数习题,点进这篇文章,看我的蛋疼菊紧TAT

  74. Aaa说道:

    Conway起名moonshine的意思不是月光,而是一种酒的名字。这种事情最好听当事人自己说,不要胡猜。

  75. 滕理者说道:

    群,总觉得能用到 图像识别上,但总找不到入口

  76. Astron说道:

    无穷级数之和之美!

  77. [...]   这里的a,b,c,d都是整数,也正因如此,模形式与数论天生就具有密不可分的关系。许多数论中的问题,甚至最耀眼的黎曼猜想,都能在模形式中找到联系,特别是一类被称为“椭圆曲线”的特殊曲线,与之关系更为密切,而这正是泰勒与他的合作者证明的谷山-韦伊猜想(现在又被称为模性定理)的内容。不仅是费马大定理,许多形式类似的方程解是否存在的问题,最终也能归结到有关某类椭圆曲线与模形式之间的关系,经过谷山-韦伊猜想指示的联系,从而得到解决。(有关群论与模形式理论的另一个联系,请参见科学松鼠会文章《有限单群:一段百年征程》) [...]

  78. [...]   这里的a,b,c,d都是整数,也正因如此,模形式与数论天生就具有密不可分的关系。许多数论中的问题,甚至最耀眼的黎曼猜想,都能在模形式中找到联系,特别是一类被称为“椭圆曲线”的特殊曲线,与之关系更为密切,而这正是泰勒与他的合作者证明的谷山-韦伊猜想(现在又被称为模性定理)的内容。不仅是费马大定理,许多形式类似的方程解是否存在的问题,最终也能归结到有关某类椭圆曲线与模形式之间的关系,经过谷山-韦伊猜想指示的联系,从而得到解决。(有关群论与模形式理论的另一个联系,请参见科学松鼠会文章《有限单群:一段百年征程》) [...]

Leave a Reply