[论文解读] Gröbner-Shirshov bases and PBW theorems

L. A. Bokut, Yuqun Chen|arXiv (Cornell University)|Nov 8, 2014

Algebraic structures and combinatorial models参考文献 52被引用 3

一句话总结

本文全面回顾了格罗布纳-希尔斯托夫（GS）基及其在代数中的应用，特别是通过组合-钻石引理，该引理为各种代数的线性基和标准形提供了系统化的方法。主要贡献在于统一了PBW型定理、群与半群的标准形，以及利用GS基对代数进行嵌入，其应用涵盖李代数、共形代数、罗塔-巴特勒代数及其他非结合代数。

ABSTRACT

We review some applications of Gröbner-Shirshov bases, including PBW theorems, linear bases of free universal algebras, normal forms for groups and semigroups, extensions of groups and algebras, embedding of algebras.

研究动机与目标

• 统一并系统化格罗布纳-希尔斯托夫基在各类代数结构（包括结合代数、李代数、共形代数和罗塔-巴特勒代数）中的应用。
• 基于组合-钻石引理建立一个通用框架，用于推导自由普遍代数中的线性基和标准形。
• 利用GS基技术为经典定理（如PBW定理和嵌入定理）提供新的证明与洞见。
• 将GS基方法扩展至交换代数上的代数及非结合代数种类，包括双代数和L-代数。
• 展示GS基在解决字问题、构造群（如辫群、HNN扩张）的标准形，以及实现可数生成代数嵌入到二生成代数中的实用性。

提出的方法

• 以组合-钻石引理作为基础工具，建立集合为GS基与通过不可约字构成线性基之间等价性的关系。
• 将引理应用于多种代数范畴：结合代数、李代数、双代数、共形代数和罗塔-巴特勒代数，为每类代数定义了特定的GS基。
• 采用两种组合方式：包含组合与交集组合，通过首项的最小公倍式定义，确保模基的约化为平凡。
• 通过引入双自由代数，将方法扩展至交换代数上的代数，处理系数部分中非平凡的最小公倍结构。
• 应用GS基技术推导群与半群的标准形，包括辫群、HNN扩张和单关系群。
• 利用GS基技术证明嵌入定理，例如将任意可数生成的李代数或微分代数嵌入到一个简单的二生成代数中。

实验结果

研究问题

• RQ1 组合-钻石引理如何推广至各类代数种类，包括非结合代数与共形代数？
• RQ2 何种条件可确保一组多项式构成格罗布纳-希尔斯托夫基，这与商代数中线性基的存在性有何关联？
• RQ3 GS基能否用于推导李共形代数与n-共形结合代数的PBW型定理？
• RQ4 GS基如何应用于构造复杂群（如辫群与HNN扩张）的标准形？
• RQ5 GS基在多大程度上可实现可数生成代数与群向有限生成代数的嵌入？

主要发现

• 组合-钻石引理表明：当且仅当S中元素的每一组合均能平凡约化时，集合S为GS基，从而确保不可约字的集合构成商代数的线性基。
• 对于李共形代数，证明了1/2 PBW定理：其普遍包络结合共形代数具有由定义关系的GS基生成的不可约字构成的线性基。
• 自由李代数的霍尔基与吕林-希尔斯托夫基作为反交换GS基在结合代数设定下的不可约字被导出。
• 自由双代数的洛代基与自由罗塔-巴特勒代数的基通过GS基构造，证实了其线性无关性与张成性质。
• 通过S-部分单项序，建立了HNN扩张群的标准形，证明了利用GS基可计算出标准形。
• 利用GS基技术，任一可数生成的李代数均可嵌入到一个简单的二生成李代数中，任一可数生成的微分代数亦可嵌入到一个简单的二生成微分代数中。