罗伯托·斯卡拉 非分级非对易理想的扩展字母位置对应及相关算法。 (英语) Zbl 1329.16039号 国际代数计算杂志。 24,第8期,1157-1182(2014). 作者总结:设(K\langlex_i\rangle)是由有限或可数个变量生成的自由结合代数。“信笺通信”的概念由拉斯卡拉(R.La Scala)和V.列万多夫斯基[J.Symb.Comput.44,编号10,1374-1393(2009;Zbl 1186.16014号); 同上48、110-131(2013年;Zbl 1272.16026号)]对于\(K\langlex_i\langle\)的分次(双侧)理想,本文也将其推广到非分次情况。这意味着可以通过一类在自然数的幺半群作用下保持不变的分次交换代数来对非分次非交换表示代数进行建模。为此,我们提出了分次理想的饱和概念,其中(t)是一个额外的变量,而它们在交换多项式代数(K[x_{ij},t_j]\)中的字母位置类似物,其中(j)的范围为(mathbb N)。特别地,我们得到了一种使用齐次交换多项式计算非齐次非交换Gröbner基的替代算法。通过在计算机代数系统Maple中开发的一个实验实现以及使用Singular中包含的Buchberger算法的标准例程,证明了所提方法的可行性。审核人:陈玉群(广州) 引用于5文件 MSC公司: 2016年05月 结合环的计算方面(一般理论) 13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础) 16-04 与结合环和代数有关的问题的软件、源代码等 68瓦30 符号计算和代数计算 16秒10 由泛性质(自由代数、余积、逆的附加等)决定的结合环 16周50 分次环和模(结合环和代数) 关键词:非交换代数;信笺通信;非交换Gröbner基;自由代数;分次交换代数;Buchberger算法 引文:Zbl 1186.16014号;Zbl 1272.16026号 软件:单一;岩浆;枫树 PDF格式BibTeX公司 XML格式引用 \textit{R.La Scala},国际代数计算杂志。24,第8号,1157--1182(2014;Zbl 1329.16039) 全文: 内政部 arXiv公司 参考文献: [1] 内政部:10.1090/S0002-9947-07-04116-5·邮编1129.13008 ·doi:10.1090/S0002-9947-07-04116-5 [2] 内政部:10.1016/0001-8708(78)90010-5·Zbl 0326.16019号 ·doi:10.1016/0001-8708(78)90010-5 [3] 内政部:10.1016/j.jsc.2010.10.002·Zbl 1252.13018号 ·doi:10.1016/j.jsc.2010.10.002 [4] 内政部:10.1142/9789812790019_0003·Zbl 1207.16023号 ·doi:10.1142/9789812790019_0003 [5] 内政部:10.1006/jsco.1996.0125·Zbl 0898.68039号 ·doi:10.1006/jsco.1996.0125 [6] 内政部:10.1090/S0025-5718-2010-02415-9·Zbl 1211.13018号 ·doi:10.1090/S0025-5718-2010-02415-9 [7] 内政部:10.1007/BF01844169·Zbl 0212.06401号 ·doi:10.1007/BF01844169 [8] 科恩·R·M·差分代数(1965) [9] Connes A.,非交换几何(1994) [10] 数字对象标识码:10.1090/gsm/011·doi:10.1090/gsm/011 [11] DOI:10.1002/sapm1974533185·Zbl 0426.05009号 ·doi:10.1002/sapm1974533185 [12] Drensky V.,代数研究生课程:自由代数和PI-Algebras(2000)·Zbl 0936.16001号 [13] 内政部:10.1007/978-1-4612-5350-1·doi:10.1007/978-1-4612-5350-1 [14] 内政部:10.1016/j.代数.2014.09.040·Zbl 1327.12003年 ·doi:10.1016/j.jalgebra.2014.09.040 [15] 数字对象标识码:10.1090/surv/122·doi:10.1090/surv/122 [16] 内政部:10.1007/b52495·数字对象标识代码:10.1007/b52495 [17] DOI:10.1112/plms/s3-2.1.326·Zbl 0047.03402号 ·doi:10.1112/plms/s3-2.1.326 [18] 内政部:10.1515/9781400882533·Zbl 0821.57003号 ·doi:10.1515/9781400882533 [19] 内政部:10.1090/S0025-5718-2014-02859-7·2014年8月13日Zbl ·doi:10.1090/S0025-5718-2014-02859-7 [20] 内政部:10.1016/j.jsc.2009.03.002·Zbl 1186.16014号 ·doi:10.1016/j.jsc.2009.03.002 [21] 内政部:10.1016/j.jsc.2012.05.003·Zbl 1272.16026号 ·doi:10.1016/j.jsc.2012.05.003 [22] 内政部:10.1007/978-1-4020-6947-5·doi:10.1007/978-1-4020-6947-5 [23] Li H.,Gröbner Bases in Ring Theory(2012年)·兹比尔1254.16001 [24] 李宏,J.代数,数论:高级应用。第1页第35页–(2010年) [25] 内政部:10.1007/3-540-16776-5_740·doi:10.1007/3-540-16776-5_740 [26] DOI:10.1017/CBO9780511565847.028·doi:10.1017/CBO9780511565847.028 [27] 西伯利斯克Shirshov A.I。Mat.Z.3第132页–(1962) [28] DOI:10.1017/CBO9780511565847.015·doi:10.1017/CBO9780511565847.015 [29] Ufnarovski V.A.,计算。科学。《摩尔多瓦杂志》16页,第133页–(2008年) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。