非结合代数

[拼音]：feijiehe daishu

[外文]：non-associative algebra

一般环论中的一个分支，与结合代数在方法和内容上都有非常密切的联系。从结合代数的定义中把乘法适合结合律这一条件删去，就是非结合代数的定义。李代数、若尔当代数、交错代数，以及李型代数、若尔当型代数都是非结合代数最重要的类型。非交换若尔当代数、右交错代数、交错李代数、马尔采夫代数、幂结合代数则是李代数、交错代数或若尔当代数的推广。非结合代数中的乘法往往满足某些恒等式。

李代数是一种非结合代数，其乘法满足恒等式:x²=0和(xy)z+(yz)x+(zx)y=0。在一个域F（特征非2）上结合代数〈A，+，·〉中，将原来的有结合律的乘法·换成新引入的乘法×：

　 　　(1)

得到的〈A，＋，×〉就是一个李代数。由结合代数A如此得来的李代数，记作A^_。

若尔当代数是20世纪30年代P.若尔当、J.冯·诺伊曼和E.威格纳等人，在研究量子力学的基础时引用的一种非结合代数。在描述量子力学基础时涉及结合代数〈A，＋，·〉（希尔伯特空间的算子代数）中，将原来的有结合律的乘法·换成新的乘法。：

　 　(2)

就得到非结合代数〈A，+，。〉，其中乘法。满足恒等式x。y=y。x和x²。(y。x)=(x²。y)。x，这里x²＝x。x；后来，就把满足这两个恒等式的代数称为若尔当代数， 并将如此得出的若尔当代数记作 A⁺。之所以规定乘法。 如(2)，是因为考虑到:若x、y都是埃尔米特算子，则x。y也是埃尔米特算子，但一般说来，x·y已不是埃尔米特算子。

李型代数和若尔当型代数的概念，早在20世纪40年代末期就由A.A.阿尔贝特提出来了，但它的重要性还是自70年代以来由于理论物理的需要，例如在统计物理、力学、原子物理中讨论无势相互作用等，才显示出来。所谓一个代数〈A，+，·〉为李型代数，是指〈A，+，×〉是李代数，其中新乘法×由(1)定义。结合代数和李代数都是李型代数。所谓一个代数〈A，+，·〉为若尔当型代数，是指〈A，+，。〉是若尔当代数，其中新乘法。由(2)定义。结合代数和交错代数都是若尔当型代数。

交错代数的产生是由于推广数系。令Q表实数域R上四元代数。它是可除结合代数，取其标准基1，i，j，k，则Q中元素 α有惟一的表示式α_i∈R。再定义α的共轭元为 则α→是Q的一个对合，且有α=α∈R，α+∈R。所谓Q的一个对合，是指Q 的反自同构，且其平方等于恒等自同构。

仿照由复数作四元数的方法，用四元数来构造八元数即凯莱数。令C是一切四元数对(α，b)的集合，规定其运算：(α，b)+(с，d)=(α+с，b+d);α(α，b)=(αα，αb)；(α，b)·(с，d)=(αс-b，dα=b)，这里α，b，с，d∈Q，、分别是с、d的共轭元，α ∈R。由直接验证可知，C 是实数域R上的8维代数，有单位元(1，0)。它是可除代数，即对于任意u，v∈C，u≠0，在C 中ux=v和xu=v有解。它的乘法不适合结合律，却满足恒等式x²y＝x(xy)和yx²＝(yx)x 。把满足这两个恒等式的代数称为交错代数。凯莱代数是交错可除代数的一个例子。结合代数是交错代数。刻画交错代数与结合代数的接近程度的是阿廷定理：一个代数A是交错代数，当且仅当其中任意两个元素生成的子代数是结合代数。

所谓幂结合代数，是指一代数中任意元素生成的子代数都是结合代数。可以证明，以上提到的各种类型代数都是幂结合代数。

在非结合代数中进行计算时，某些恒等式具有很重要的作用。在交错代数中有常用的毛凡恒等式:x(yzy)=[(xy)z]y，(yzy)x=y[z(yx)]，(xy)(zx)=x(yz)x；在若尔当代数中有常用的恒等式: {xyx}²={x{yx²y}x}，zU（xU(y)）＝zU)U(x)U(y)，其中{xyx}＝(xy)z＋(yz)x－(xz)y，而算子 这里的第二个恒等式，常称为麦克唐纳恒等式。

非结合代数理论在很大程度上是沿着结合环与结合代数的发展道路发展的。结合环与结合代数的发展初期，大致可分为三个阶段：有限维代数的韦德伯恩理论，对右理想适合极小条件的环的阿廷理论，以雅各布森根和本原环理论为中心的一般环理论。目前，各种非结合代数都有着不同的发展深度，有些还处于一种相当于结合代数的韦德波恩理论的阶段，例如马尔采夫代数，而交错代数和若尔当代数的发展最快，大致完成了上述结合环的三个阶段。以下是关于交错代数和若尔当代数的一些结果的简介。

推广的弗罗贝尼乌斯定理：实数域上有限维交错可除代数只有实数域、复数域、四元数代数以及凯莱代数等四种。它们在实数域上的维数是 1，2，4，8。与此定理有关的一个有趣问题是：在实数域中，n个平方数的和乘以n个平方数的和，仍是n个平方数的和吗？利用这个定理中的四种代数以及其中的共轭元素概念，不难作出当n=1，2，4，8时确是成立的结论。A. 胡尔维茨以及阿尔贝特指出，n只能是1，2，4，8，从而完满地解决了这个问题。

R.博特、J.W.米尔诺和M.克拉尔应用代数拓扑工具，证明了一个重要的定理：实数域上有限维(非结合)可除代数的维数，只能是1，2，4，8。

阿尔贝特、R.D.谢弗、A.J.佩尼罗和M.佐恩等人证明了与有限维结合代数的韦德伯恩定理相平行的关于交错代数和若尔当代数的定理。

单代数的分类是有限维代数研究中的一个重要问题。设A是域F上有限维单代数，而且是交错代数或若尔当代数，此时A必有单位元1，定义C={с｜с∈A，сx=xс，с，x，y之间的乘法适合结合律，凬x，y∈A}是A的中心。可以证明，C必是一个域。如果C＝F，那么A称为F上中心单代数。交错单代数的品种不多，域F上有限维中心单代数，或是结合代数，或是F上凯莱-迪克森代数。任意域F上的凯莱-迪克森代数是F上8维代数，其定义与实数域上凯莱代数的定义类似，它是实数域上凯莱代数的推广，其中也有共轭元素的概念。E.克莱因菲尔德把上述结果推广到任意交错环上。

中心单若尔当代数的类型则较多，有A、B、C、D、K型。仅仅就例外单若尔当代数(K型单代数)而论，它和五个例外单李代数类型处于类似的地位。取D为域F上的一个凯莱－迪克森代数，D₃表D上三阶矩阵组成的代数，任取，令 即将矩阵X转置，并把每一系数换成其共轭元素。可知映射是F上代数D₃的一个对合。令 即H(D₃)是D₃中关于对合的所有埃尔米特元素的全体。可以证明，H(D₃)关于若尔当乘法 作成一个若尔当代数。注意到D是F上 8维交错代数，还可以证明<H(D₃)，+，。>是F上中心单代数，其维数是27，并且是例外若尔当代数。例外单李代数与凯莱－迪克森代数也有密切关系。所谓例外的若尔当代数，即指不是特殊的若尔当代数。若A是结合代数，则A ^_是李代数，A⁺是若尔当代数。A^_(A⁺)、A^_(A⁺)的子代数以及与之同构者，称为特殊李代数（特殊若尔当代数）。虽然不是每一个李环都是特殊的，但是著名的伯克霍夫－维特定理指出，域上李代数都是特殊的。Α.И.希尔绍夫的定理又指出，任意具有两个生成元的若尔当代数（环）是特殊的。

K.A.日弗拉科夫完整地刻画了阿廷交错环。由于缺乏适当的“单侧理想”概念，长期未能定出与阿廷结合环相平行的阿廷－若尔当环的概念。 D.M.托平引入二次理想概念：如果对若尔当环 A的子环 B的任意元素 b有AU(b)吇B，那么B 称为二次理想。N.雅各布森刻画了对二次理想有极小条件的若尔当环，与结合环中的阿廷理论相平行。利用算子U可定义二次若尔当代数，K.麦克里芒作了许多贡献。结合环的雅各布森根和莱维茨基根等在若尔当环和交错环中，都有相应的讨论。对交错代数和若尔当代数都有表示论的研究。交错环与若尔当环和投射平面有联系。若尔当代数不仅与李代数、代数群有着联系，而且对实分析和复分析都有应用。