[论文解读] Composition-Diamond lemma for associative $n$-conformal algebras

L. A. Bokut, Yuqun Chen+1 more|ArXiv.org|Mar 5, 2009

Advanced Topics in Algebra参考文献 21被引用 5

一句话总结

本文在特征为0的域上建立了自由结合 $n$-共形代数的组合-钻石引理，为该代数结构中格罗布纳-希里绍夫基底的构造提供了理论基础。主要贡献在于开发了一种约化算法并证明了组合-钻石引理，从而可通过定义关系构造李 $n$-共形代数的线性基底。

ABSTRACT

In this paper, we study the concept of associative $n$-conformal algebra over a field of characteristic 0 and establish Composition-Diamond lemma for a free associative $n$-conformal algebra. As an application, we construct Gröbner-Shirshov bases for Lie $n$-conformal algebras presented by generators and defining relations.

研究动机与目标

• 为结合 $n$-共形代数发展格罗布纳-希里绍夫基底理论。
• 将希里绍夫的组合-钻石引理推广至结合 $n$-共形代数的框架。
• 将该理论应用于通过生成元与关系构造李 $n$-共形代数的线性基底。
• 证明某些定义关系集合构成格罗布纳-希里绍夫基底，从而确保字问题的可解性。

提出的方法

• 将经典组合-钻石引理由结合代数推广至结合 $n$-共形代数的框架。
• 将关系的组合定义为 $ (f,g)_w = fb - ag $，其中 $ ar{f} = ac $，$ ar{g} = cd $，且 $ w = acb $，$ c \neq \emptyset $。
• 在共形词的自由幺半群上引入良序，以确保约化过程的终止性。
• 利用 $ S $-不可约规范词的概念，构造商代数的线性基底。
• 证明所有组合（经约化后）的平凡性可推出该集合为格罗布纳-希里绍夫基底。
• 将该理论应用于环状李 $n$-共形代数，表明其定义关系构成格罗布纳-希里绍夫基底。

实验结果

研究问题

• RQ1 能否为自由结合 $n$-共形代数建立组合-钻石引理？
• RQ2 在结合 $n$-共形代数中，定义关系的集合在何种条件下构成格罗布纳-希里绍夫基底？
• RQ3 格罗布纳-希里绍夫基底如何用于构造李 $n$-共形代数的线性基底？
• RQ4 环状李 $n$-共形代数的定义关系是否构成其普遍包络结合 $n$-共形代数中的格罗布纳-希里绍夫基底？

主要发现

• 组合-钻石引理在结合 $n$-共形代数中成立，确保此类代数中任意理想均存在格罗布纳-希里绍夫基底。
• 集合 $ S = \{ f, g, h, p, q, s \} $ 构成给定结合 $n$-共形代数的格罗布纳-希里绍夫基底，因为所有组合均可约化为零。
• $ S $-不可约规范词构成商代数的线性基底，其显式列出为 $[a\langle 1,0\rangle a]$, $[a\langle 0,1\rangle a]$, $[a\langle 1,1\rangle a]$, $[a\langle 1,0\rangle a\langle 1,1\rangle a]$, $[a\langle 0,1\rangle a\langle 1,1\rangle a]$, 以及 $[(a\langle 1,0\rangle a\langle 0,1\rangle)^k a]$, $[(a\langle 0,1\rangle a\langle 1,0\rangle)^l a] $，其中 $ k,l \geq 1 $。
• 对于环状李 $n$-共形代数，集合 $ S = \{ a_i\langle 0,0\rangle a_j - a_j\langle 0,0\rangle a_i - [a_i a_j] \mid i > j \} $ 是其普遍包络结合 $n$-共形代数中的格罗布纳-希里绍夫基底。
• 定义集合 $ S $ 中元素的所有组合在约化后均为平凡，证实 $ S $ 关于组合封闭，因此构成格罗布纳-希里绍夫基底。
• 该理论可通过约化至 $ S $-不可约词，实现了结合 $n$-共形代数中字问题的可解性。