×
刘江

将Gröbner基理论推广到无消元的指数多项式。 （英语） Zbl 1452.13034号

J.系统。科学。复杂。 第5期第33页，1708-1718（2020）.
摘要：在计算机代数中，建立确定指数多项式等价性的一般计算理论仍然是一个挑战。在以前的工作中，作者通过推广Gröbner基理论解决了黎曼张量多项式的等价性判定问题。本文通过ST限制环的方法，将先前的工作扩展到更一般的索引多项式，这些多项式不涉及索引和函数的消去。给出了每个ST限制环中定义合集的Gröbner基的分解形式，然后证明了一个指数多项式的标准形是关于ST基本限制环中的Gróbner基底的正规形。

引用于1文件

MSC公司：

第13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）

关键词：

标准形;爱因斯坦求和约定;自由交换幺半环;Gröbner基

软件：

信件位置;LieRing公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Liu}，J.Syst（系统）。科学。复杂。33，第5号，1708-1718（2020；Zbl 1452.13034）
全文： 内政部

参考文献：

[1] 刘杰。；Li，H.B。；Cao，Y.H.，涉及坐标变换的索引微分的简化和规范化，科学。中国Ser。A、 522266-2286（2009）·Zbl 1183.68756号 ·doi:10.1007/s11425-009-0005-y
[2] Buchberger，B.，环中有限生成理想的临界对完备算法，Proc。逻辑与机器：决策问题与复杂性，LNCS，171137-161（1983）
[3] Stifter，S.，《整数上的Gröbner基和一般约化环的计算》（1985），林茨：约翰内斯·开普勒大学，林茨
[4] Weispfenning，V.，交换正则环上多项式理想的Gröbner基，Proc。欧洲87年，LNCS，378336-347（1987）·Zbl 1209.13036号
[5] Kandri-Rody，A。；Kapur，D.，计算欧几里德域上多项式理想的Gröbner基，J.符号计算，637-57（1988）·Zbl 0658.13016号 ·doi:10.1016/S0747-7171（88）80020-8
[6] Kacem，A.H。；Yengui，I.，Dedekind环上的动态Gröbner基，《代数杂志》，324，12-24（2010）·Zbl 1200.13047号 ·doi:10.1016/j.jalgebra.2010.04.014
[7] 加曼达，M。；Yengui，I.，Noether正规化定理和Krull维1 Bezout域上的动态Gröbner基，J.代数，492，52-56（2017）·Zbl 1394.13011号 ·doi:10.1016/j.jalgebra.2017.09.002
[8] Lassner，W.，非交换代数的符号表示，EUROCAL’85，LNCS，20499-115（1985）·Zbl 0632.16003号
[9] 阿佩尔，J。；Lassner，W.，《李代数包络域中Buchberger算法和计算的扩展》，J.符号计算，6361-370（1988）·Zbl 0663.68044号 ·doi:10.1016/S0747-7171（88）80053-1
[10] 坎德里·罗迪，A。；魏斯芬宁，V.，可解型代数中的非交换Gröbner基，《符号计算杂志》，9，1-26（1990）·Zbl 0715.16010号 ·doi:10.1016/S0747-7171（08）80003-X
[11] 魏斯芬宁V，非Noetherian斜多项式环中的有限Gröbner基，Proc。伊萨克92年，1992年，第329-334页·Zbl 0925.16018号
[12] Kredel，H.，《可解多项式环》（1993），亚琛：Verlag Shaker·Zbl 0790.16027号
[13] Mora，T.，交换和非交换Gröbner基导论，理论。计算。科学。，134, 131-173 (1994) ·Zbl 0824.68056号 ·doi:10.1016/0304-3975（94）90283-6
[14] Reinert，B.，计算幺半群和群环中的Gröbner基（1995），凯泽斯劳滕：凯泽斯劳滕大学，凯泽斯劳滕
[15] Heyworth，A.，《单面非交换Gröbner基及其在计算格林关系中的应用》，《代数杂志》，242401-416（2001）·Zbl 0996.16035号 ·doi:10.1006/jabr.2001.8801
[16] Scala，R.L。；Levandovskyy，V.，《字母位置理想和非交换Gröbner基》，《符号计算杂志》，441374-1393（2009）·Zbl 1186.16014号 ·doi:10.1016/j.jsc.2009.03.002
[17] Scala，R.L。；Levandovskyy，V.，Skew多项式环，Gröbner基和自由结合代数的字母嵌入，《符号计算杂志》，48，110-131（2013）·兹比尔1272.16026 ·doi:10.1016/j.jsc.2012.05.003
[18] Gerritzen，L.，树多项式和非关联Gröbner基，《符号计算杂志》，41297-316（2006）·Zbl 1158.17300号 ·doi:10.1016/j.jsc.2003.09.005
[19] Rajaee，S.，Non-associative Gröbner bases，J.符号计算，41887-904（2006）·Zbl 1236.17006号 ·doi:10.1016/j.jsc.2006.04.005
[20] Cicaló，S。；De Graaf，W.，非关联Gröbner基，有限表示李环和Engel条件，II，J.符号计算，44786-800（2009）·Zbl 1189.17002号 ·doi:10.1016/j.jsc.2008.04.007
[21] Liu，J.，黎曼张量多项式环的归一化，系统科学与复杂性杂志，31，2，569-580（2018）·Zbl 1402.13024号 ·doi:10.1007/s11424-017-6325-z
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。