这26个群虽然很奇怪，但是数学家根据它们之间或强或弱的联系，还是分成了四类。最早发现的一类叫“马蒂厄群”，它们是1860，70年代法国数学家马蒂厄发现的，甚至比李群的发现还早些。要理解马蒂厄群，我们还是可以先做一道智力题：请你在纸上随便画7个点，然后给这些点连线。连线要求是，每条线恰好经过三个点，不一定是直线，任意的曲线都行。而且连好之后，任意两个点属于且仅属于一条线，就是不能有任何两个点之间没有连线或者有多余1条的连线。你可以暂停试试看这道智力题。

三维中的kissing number problem:

上图： 120元胞体，一个四维的晶格

微信订阅：dalaoli_shuxue