[论文解读] Groebner-Shirshov Bases for Lie Algebras: after A. I. Shirshov

L. A. Bokut, Yuqun Chen|arXiv (Cornell University)|Apr 8, 2008

Advanced Topics in Algebra参考文献 8被引用 25

一句话总结

本文提供了对李代数的Shirshov组合-钻石引理的全面证明，确立了：一组首一李多项式构成格罗布纳-Shirshov基当且仅当该集合中多项式的每一个组合在基下约化为零。关键贡献在于格罗布纳-Shirshov基性质与如下条件之间的等价性：由该集合生成的李理想中每个元素的首项形式为 $a\bar{s}b$（其中 $s$ 属于基），从而确保 $S$-约化的非结合Lyndon-Shirshov词集合构成商代数的线性基。

ABSTRACT

In this paper, we review Shirshov's method for free Lie algebras invented by him in 1962 which is now called the Groebner-Shirshov bases theory.

研究动机与目标

• 为1962年A. I. Shirshov最初构想的李代数的组合-钻石引理提供完整且严谨的证明。
• 确立格罗布纳-Shirshov基性质与集合中所有多项式组合在基下约化为零的条件之间的等价性。
• 证明 $S$-约化的非结合Lyndon-Shirshov词集合构成商李代数 $Lie(X)/Id(S)$ 的线性基。
• 阐明结合代数中的格罗布纳-Shirshov基与其李代数对应物之间的联系，表明集合在 $Lie(X)$ 中是GSB当且仅当它在 $k\langle X\rangle$ 中是GSB。

提出的方法

• 该方法依赖于结合与非结合Lyndon-Shirshov词（ALSW与NLSW）的理论，使用字典序排序，并基于词长进行归纳。
• 采用Shirshov的消去过程（亦称Lazard–Shirshov消去）来约化首项并分析组合。
• 定义了相对于公共子词 $w$ 的李多项式组合 $(f,g)_w$，推广了交换格罗布纳基中的 $S$-多项式概念。
• 证明：一组首一李多项式集合 $S$ 是格罗布纳-Shirshov基当且仅当所有组合 $\< f,g\rangle_w$ 在 $S$ 下约化为零。
• 证明使用了通过 $S$-约化标准形对李多项式进行约化的方法，确保任何属于李理想 $Id_{Lie}(S)$ 的元素的首项形式为 $a\bar{s}b$（$s \in S$）。
• 确立了 $Lie(X)/Id(S)$ 的典范基为 $S$-约化的非结合Lyndon-Shirshov词集合，即不以特定方式包含任何 $\bar{s}$ 作为子词的 $S$-标准词。

实验结果

研究问题

• RQ1 在何种条件下，李多项式集合构成自由李代数中的格罗布纳-Shirshov基？
• RQ2 如何利用Lyndon-Shirshov词与消去过程，正式证明李代数的组合-钻石引理？
• RQ3 结合代数中的格罗布纳-Shirshov基与其李代数对应物之间的确切关系是什么？
• RQ4 如何算法性地判断给定的李多项式组合是否在集合 $S$ 下约化为零？
• RQ5 在 $S$-约化的非结合Lyndon-Shirshov词的术语下，商代数 $Lie(X)/Id(S)$ 的线性基结构是怎样的？

主要发现

• 一组首一李多项式集合 $S$ 是 $Lie(X)$ 中的格罗布纳-Shirshov基当且仅当每个组合 $\langle f,g\rangle_w$ 在 $S$ 下约化为零，从而确保所有首项均可约化。
• $S$-约化的非结合Lyndon-Shirshov词集合 $Red(S)$ 构成商代数 $Lie(X)/Id(S)$ 的线性基，为商代数提供了典范基。
• 任何属于 $Id_{Lie}(S)$ 的元素 $f$ 的首项必须具有形式 $a\bar{s}b$（$s \in S$，$a,b \in X^*$），这刻画了其在李理想中的成员资格。
• 确立了 $S$ 在 $Lie(X)$ 中为格罗布纳-Shirshov基与在自由结合代数 $k\langle X\rangle$ 中为格罗布纳-Shirshov基之间的等价性：$S$ 是 $Lie(X)$ 中的GSB当且仅当它是 $k\langle X\rangle$ 中的GSB。
• 证明表明李多项式的约化过程保持李代数结构，所有约化均可表示为 $S$-约化标准形 $[a_i s_i b_i]_{\bar{s_i}}$ 的形式。
• 该证明确认了典范基 $Red(S)$ 既线性无关又张成 $Lie(X)/Id(S)$，这等价于格罗布纳-Shirshov基条件。