[论文解读] Free associative algebras, noncommutative Grobner bases, and universal associative envelopes for nonassociative structures

Murray R. Bremner|arXiv (Cornell University)|Mar 4, 2013

Advanced Topics in Algebra被引用 4

一句话总结

本文将自由结合代数中的非交换格罗布纳基应用于构造由多重线性运算（特别是三重线性运算）定义的非结合代数结构的通用结合包络代数。通过计算代数方法，将Elgendy在2012年关于二维结合三重系统的工作扩展至四维和六维情形，通过显式构造与算法验证展示了该方法的有效性。

ABSTRACT

These are the lecture notes from my short course of the same title at the CIMPA Research School on Associative and Nonassociative Algebras and Dialgebras: Theory and Algorithms - In Honour of Jean-Louis Loday (1946-2012), held at CIMAT, Guanajuato, Mexico, February 17 to March 2, 2013. The underlying motivation is to apply the theory of noncommutative Grobner bases in free associative algebras to the construction of universal associative envelopes for nonassociative structures defined by multilinear operations. Trilinear operations were classified by the author and Peresi in 2007. In her Ph.D. thesis of 2012, Elgendy studied the universal associative envelopes of nonassociative triple systems obtained by applying these trilinear operations to the 2-dimensional simple associative triple system. In these notes I use computer algebra to extend some aspects of her work to the 4-dimensional and 6-dimensional simple associative triple systems.

研究动机与目标

• 开发一种基于非交换格罗布纳基的算法框架，用于构造由多重线性运算定义的非结合代数的通用结合包络代数。
• 将Elgendy在2012年关于二维结合三重系统的工作扩展至更高维情形（4D和6D）。
• 提供计算工具与实例，以说明非交换格罗布纳基理论在非结合代数结构背景下的应用。
• 解决非结合代数通用结合包络代数理论中的开放问题，特别是针对由三重线性运算定义的代数。
• 展示计算机代数系统在探索非结合代数结构及其结合包络代数中的实用性。

提出的方法

• 利用自由结合代数中的非交换格罗布纳基理论，定义并计算非结合代数结构的通用结合包络代数。
• 应用组合（钻石）引理，验证李代数的庞特里亚金-伯克霍夫-维尔特（PBW）定理，并将其推广至非结合情形。
• 采用计算代数技术，在自由结合代数中构造编码非结合三重系统关系的理想的代数结构。
• 利用计算机代数系统计算这些理想的格罗布纳基，从而将通用结合包络代数识别为自由结合代数的商代数。
• 应用Bremner与Peresi（2007）对三重线性运算的分类结果，定义非结合三重系统的定义关系。
• 通过通用性质验证所构造包络代数的普遍性：任何结合包络代数均能通过通用包络代数进行因子分解。

实验结果

研究问题

• RQ1 如何系统性地应用非交换格罗布纳基，以构造由多重线性运算定义的非结合代数的通用结合包络代数？
• RQ2 四维与六维单个结合三重系统的通用结合包络代数具有怎样的结构？
• RQ3 用于二维三重系统的计算框架能否以相似的算法效率扩展至更高维情形？
• RQ4 从乔丹代数到其通用结合包络代数的自然映射非单射性意味着什么？这对特殊与例外乔丹代数的分类有何影响？
• RQ5 非交换格罗布纳基理论在何种程度上可推广至双代数、二叉代数与四元代数？

主要发现

• n维交换李代数的通用结合包络代数同构于多项式代数 $F[x_1, \tdots, x_n]$，表明该方法与已知结果一致。
• 对于具有平凡乘积的n维交换乔丹代数，其通用结合包络代数为外代数 $\bigwedge(x_1, \tdots, x_n)$，维数为 $2^n$，证实了该方法在乔丹代数情形下的正确性。
• 本文成功将Elgendy关于2D结合三重系统的成果扩展至4D和6D情形，为自由结合代数中定义关系提供了显式格罗布纳基计算。
• 通过非交换格罗布纳基构造通用结合包络代数通常产生无限维代数，与PBW定理及通用包络代数的已知无限维性一致。
• 该方法证实了从非结合代数到其通用结合包络代数的自然映射在李代数情形下是单射的，通过格罗布纳基技术支持了PBW定理。
• 该算法方法能够识别定义关系与商代数，为通过结合代数工具研究非结合代数结构提供了计算路径。