双射偏斜PBW扩张上的正确Buchberger算法
摘要：在本文中，我们介绍了一种对于在左情况下在[3]中给出的双射偏斜PBW扩展中计算Gr"obner基的算法进行了正确的版本的算法。特别地，我们适应了归约理论，并构建了一个正确的除法算法和生成了双射偏斜PBW扩展中Buchberger算法的右版本，最后我们使用在Maple中实现的SPBWE.lib库（参见[1]，[4]）举例说明。值得注意的是，开发这一理论对于完善SPBWE.lib库并能够开发许多由于获得正确的Gr"obner基而产生的同调应用是至关重要的。
作者：W. Fajardo
论文ID：2101.12563
分类：Rings and Algebras
分类简称：math.RA
提交时间：2023-06-22