排序方式： 共有1条查询结果，搜索用时 5 毫秒
1
1.
设X是一个有限集,LC(X)表示由$X$生成的自由左交换代数;$f\in LC(X)$, Id(f)表示LC(X)的由f所生成的理想. 对于任意的$h$, 是否存在一个算法可以判断出$h\in Id(f)$或$h\notin Id(f)$?为了研究这个问题, 文中应用Gr\{o}bner-Shirshov 基理论的思想方法在自由左交换代数的线性基底上定义了一个良序,证明了这个良序保持运算,重写了由一个多项式所生成的自由左交换代数的理想的元素的表达式. 证明了一个定义关系的左交换代数具有可解的字问题并得到了左交换代数的自由定理. 相似文献
1