赫尔德说：“不论是点对称还是轴对称，都是一种东西，经过对称变换之后，没有脱离这一套东西。这一套东西，我们姑且叫做群。点对称和轴对称是一个东西变成这个东西的另外一个位置而已，东西本身没有什么变化。而你说的轮换对称性，它也是一种变换之后，又回到了自己，然后就是周期性的变化了。”
赫尔德沉浸在自己的思维里，而若尔当说：“我们刚刚考虑的两个和三个的对称，那么四个轮换对称，其实更加复杂，可能还会有一种内在的对角线交叉结构。”
赫尔德说：“以此类推的话，那这些对称就是有两种东西构造的，一个是对象，一个是作用方式。我们只需要给一个作用方式即可。那么，按照你的那个方法，就会找到很多种对称方式了，也就是找到了很多种群。这些群都具备循环不变的性质，就叫循环群。但是我们知道了这些循环后，会发现他们不像数学那么简单。”
若尔当说：“所以，我们需要对这些群分类。”
赫尔德说：“如何去分，才能达到真正的分类效果呢？”
若尔当开始作图，赫尔德也开始跟着作图和写数学符号。
之后若尔当说：“找到其中的一些不变量，如果两个循环群的这种不变量是相等的，就可以证明这两个群是相等的，或者是这两种对称是相等的，不管这两种对称看起来都多不一样。”
赫尔德说：“我找到了一种可以将复杂对称性拆分的方式，如果拆分后那些不变量是相同的，就可以认定这两种对称性相同。”
若尔当说：“我刚刚看到一个12阶长的循环群，发现有1、2、6、12的拆分方式，也有1、2、4、12的拆分方式，也有1、3、6、12这样的拆分方式，这种拆分就是前面是后面群的子群了。发现他们都是可以拆成4步。同时继续让后面对前面做商后，又称为2、3、2和2、2、3和3、2、2等方式。这三组的商是相同的数字，只是顺序不一样罢了。”
赫尔德说：“照你这么说，若群或R模 M有合成列，则任两个合成列都有相同长度。合成因子的同构类与合成列的选取无关，其间至多差一个置换。”
若尔当-赫尔德定理，证明了每一满足阿基米德性质的全序群都同构于实数的加法群的某一子群，200阶以下简单群的分类，发现了对称群S6的异常外自同构。
喜欢数学心请大家收藏：数学心本站更新速度全网最快。