最近在读《数学之书》中看到一个数学概念“怪兽群”。“美国数学家格里斯在1981年创造了怪兽群”，书中称“我们可以把怪兽群视为一片撼动人心、存在于196884维度空间内、包含10∧53种对称形式的雪花”“怪兽群的结构显示对称与物理之间有着非常深切的连结，甚至还能跟断定宇宙中所有基本粒子，都是由细微荡能量回线组成的弦理论搭得上线”。读后仍感疑惑不解，求数学学霸给出通俗解释。

数学, 学术, 高等数学

只有有限个元素的群称为有限群。

群中部分元素对于原来的运算也组成一个群，叫做 群的子群 。

有些子群“除”原来的群，得到的也是一个群。这样的子群叫做 正规子群。

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

共有18个有限单群家族：

交错群A_n对于所有n>=5都是单群，从而不是可解群。

素数阶的循环群Z_p，它们也是唯一的 交换单群。

还有16族所谓的有限李群，它们可以看作 离散域上的矩阵组成的群。

除了这一共18个有限单群家族之外，还有 26个 单独存在的有限单群。它们不属于任何一个家族，而它们之间也没有一个统一的联系，三三两两各自放浪于数学天地之间。数学家给他们起了个相当适合的名字： 散在单群 。

最大的散在单群——魔群（Monster Group）

“魔群”这个名字源于它庞大的体积。 魔群的准确元素个数是808017424794512875886459904961710757005754368000000000，也就是大概8*10^53个。 与之相比，太阳系的原子个数也就是大约10^57个，仅仅高了两个数量级。如果我们用线性空间和矩阵变换来表示魔群的话，至少需要一个196883维的线性空间，才能忠实表达魔群的整体结构。这种表达方式又被称为 群的线性表示 。

1982年，Griess提出了一个名为Griess代数的代数结构，而魔群恰好就是这个代数结构的自同构群。换句话说，魔群恰好刻画了Griess代数的所有对称性。 值得一提的是，Griess代数的维度是196884，比196883多1。

如果说每一族单群和每一个散在单群代表一种对称性的话，那么魔群一定有着非同寻常的对称性。 体积如此庞大的群，却仍然是一个不可分解的单群， 这本来就是个奇迹；而且与那些成系列的量产型单群不同，它的结构和对称性还是独一无二的。

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

第二个傅立叶系数196884， 正好是Griess代数的维数，也就是魔群的最小忠实线性表示的维数加1。 j不变量的其它傅立叶系数也与魔群的所谓不可约表示的维数有着紧密的联系：这些傅立叶系数恰好可以表示成不可约表示维数的一些简单的线性组合。 在这些基础上，Conway和Norton提出了“ 魔群月光猜想 ”。 他们猜想，存在一个基于魔群的无限维代数结构，通过魔群的不可约线性表示，它恰好给出了j不变量的所有傅立叶系数，而魔群每一个元素在这个代数结构上的作用，都自然地给出了与某个群相关的模形式。

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

证明魔群模的确满足魔群月光猜想。在1992年由Brocherds完成，证明同时包含了数学和物理，其中用到了弦论中的 No-ghost定理来构造证明中必不可少的一个代数结构，Brocherds也由于这个证明获得了菲尔兹奖。通过这个定理架起的桥梁，数学家们也发现了 魔群、模函数和弦理论 之间更多的千丝万缕的联系。

王筝: 既然monster group翻译成魔群，那monster module就是。。魔模？ (17 赞)

王崇政 -> 王筝:

文献里面极少出现 "monster module" 这个词。通常的叫法是 "moonshine module" 或者 "moonshine VOA" （它是 Monster 的 module 同时也是一个 VOA 故得名） (4 赞)

Vegetabble -> 王崇政: 是指那个V natural被叫做moonshine module吗

王崇政 -> Vegetabble: 是的

Frank: 太专业，看不懂，好多名词都没听说过😂 厚着脸皮说一句，一直想入门群论，却一直没开始 (5 赞)

赫特列斯 -> Frank: 很简单的 快冲 (1 赞)

孙天: 196884是第二个系数吗？看到一些英文文献说是第一个系数，能再解释一下吗？ (1 赞)

明月清风 -> 孙天:

知乎上有个科普这么说的两者的联系，不知道后面的还有没有这个规律，哈哈。The j-function’s second coefficient, 21,493,760, is the sum of the first three special dimensions of the monster: 1 + 196,883 + 21,296,876. It seemed as if the j-function was somehow controlling the structure of the elusive monster group.

知乎用户: 请介绍一些这方面好的入门资料，物理背景

Vegetabble -> 知乎用户: 推荐书籍《Vertex operator algebra and the monster》 (1 赞)

知乎用户 -> Vegetabble: 谢谢

知乎用户E384Ss: 字我都认识，连一起就看不懂了

Kantorovich: 怪兽，魔群月光……这些词都好酷啊

from: https://api.zhihu.com/appview/api/v4/answers/358979421