阅读后这我想知道数学家是否试图为特殊的简单李群创造更好的名字$F_4、E_6、E_7、E_8$? 这些名字似乎有点模糊,并没有显示我们这里有四组的系列。这个级数当然不同于无穷级数$SO_n、SU_n、Sp_n$(对不起,英语中“series”似乎没有复数形式,波兰语中有)。信件美元A、B、C、D、E、F、G$可以用于Killing和Cartan,他们对所有简单紧凑的Lie组进行分类。现在我们可以有更好的名称来表明,这些群是代数上射影空间系列的等轴测群,这些代数是八元数与实代数、复代数、四元数和八元数代数的张量积。这在弗洛伊登塔尔幻方然而,魔术方块中使用的字母似乎并不代表对称性。例如,第一行是:$A_1、A_2、C_3、F_4$。换句话说,我们可以将其命名为:$SO_3、SU_3、Sp_3、F_4$.这并没有反映出该立场k,n美元$在幻方中表示除代数的张量积$\mathcal A_k\otimes\mathcall A_n$哪里k美元,n=1,2,4,8$其中我表示为$\mathcal A_k(_k)$实数、复数、四元数或八元数。
更好地命名的努力不应被低估。通过正确命名组,我们也能更好地理解它们。你同意吗?
编辑
由于评论中对是否存在任何疑问射影空间对于特殊的李群,我在下面提供了以下参考。
本文定义了例外的黎曼对称空间。
黄永东;梁乃忠柯南,用幻方将紧对称空间统一描述为格拉斯曼空间,数学。Ann.350,No.1,79-106(2011)。兹比尔1280.53050.
本文利用弗洛伊登塔尔幻方,用除法代数统一定义例外李代数。
巴顿,C.H。;A.苏德贝里。,李代数的幻方和矩阵模型。高级数学。180,第2期,596-647(2003)。ZBL1077.17011号.
鲁思·穆芳开始研究八次几何。我对它了解不多。也许在这方面还有一些工作要做。
每个李群都揭示了一些对称性——什么对称性?我们如何定义李群?通常,它们被定义为某些结构的自同构。或者,可以首先定义组,然后使用它定义结构它保存了下来。对于特殊的李群,既不容易定义群,也不容易定义结构。作为练习,请尝试定义E_7美元$李群。