×
维克托·列万多夫斯基;托拜厄斯·梅兹拉夫;扎伊德，卡里姆·阿布

使用单数：Letterplace。 （英语） Zbl 1523.16055号

J.塞姆。计算。 115, 201-222 (2023)。
本论文是ISSAC 2020大会上同一作者提交的演示文稿的延伸[V.列万多夫斯基等，ISSAC 2020，312–319（2020；兹比尔07300086)].
本文的主题是计算自由结合代数上的Grobner（-Shirshov）基，如（mathbb{Z}langleXrangle）。特别是，作者补充了关于如何处理具有零直径的系数欧几里德环的结果，例如，对于（m\neq 0）一个非单位非素数，使用（mathbb{Z}/m mathbb}Z}）。特别地，其思想是，如果所涉及多项式的系数是可逆的，则可以将环（mathbb{Z}/m）视为域，否则可以将（m）分解为互质因子并处理这些因子。本文假设（m）分解为互质数，因此避免了素数幂，并从C.伊德和T.霍夫曼[J.Symb.计算，103，1-13（2021；Zbl 1451.13078号)]负责处理减刑案件。
提供了一个处理无用对的标准的部分和Singular（称为Letterplace）中的实现。
审核人：米歇拉·塞里亚（巴里）

引用于1文件

MSC公司：

2016年05月 结合环的计算方面（一般理论）

关键词：

非交换代数;环中的系数;Gröbner碱;算法

引文：

Zbl 1451.13078号;兹比尔07300086

软件：

SageMath公司;费利克斯;复数;单一;JAS公司;奥尔加.lib;霍马格;信件位置;奥斯卡
PDF格式BibTeX公司 XML格式引用
\textit{V.Levandovskyy}等人，J.Symb。计算。115、201-222（2023年；Zbl 1523.16055）
全文： 内政部

参考文献：

[1] Apel，J.，有限生成扩张环中的计算理想理论，Theor。计算。科学。，244, 1-33 (2000) ·Zbl 0945.68197号
[2] 阿佩尔，J。；Klaus，U.，FELIX——代数学家助理（Proc.ISSAC’91（1991），ACM出版社），382-389，另见·Zbl 0925.68238号
[3] Barakat，M。；Gutsche，S。；Lange-Hegermann，M.，homalg-可计算阿贝尔范畴的同调代数元包（2021）
[4] 贝尔，J.P。；海因勒，A。；Levandovskyy，V.，关于非交换有限因式分解域，Trans。美国数学。Soc.，369，2675-2695（2016年）·Zbl 1392.16033号
[5] 伯格曼，G.M.，环理论的钻石引理，高等数学。，29, 178-218 (1977) ·Zbl 0326.16019号
[6] 布鲁姆，H。；Kreuzer，M.，非交换环上双边合子的计算，Contemp。数学。，45-64 (2007)
[7] 博尔赫斯医学硕士。；Borges，M.，Gröbner在非对易情形下基于消去理想的性质，（Buchberger，B.；Winkler，F.，Groöbner-bases and Applications（1998），剑桥大学出版社），323-337·兹比尔0924.16001
[8] Decker，W。；格蕾尔，G.M。；普菲斯特，G。；Schönemann，H.，奇异4-2-1-多项式计算的计算机代数系统（2021）
[9] Eder，C。；Hofmann，T.，《主理想环上的高效Gröbner基计算》，J.Symb。计算。，103, 1-13 (2019) ·Zbl 1451.13078号
[10] Eder，C。；普菲斯特，G。；Popescu，A.，《标准基础的新战略》（mathbb{Z}（2016））
[11] Eder，C。；普菲斯特，G。；Popescu，A.，欧几里得域上的标准基，J.Symb。计算。，102, 21-36 (2021) ·Zbl 1444.13035号
[12] 霍夫曼，J。；Levandovskyy，V.，《具有足够交换性的矿石局部化中的构造算法》，J.Symb。计算。，102, 209-230 (2021) ·Zbl 1455.16014号
[13] 汉弗莱斯，J.E.，《反射群和考克塞特群》（1990），剑桥大学出版社·Zbl 0725.20028号
[14] Kredel，H.，参数可解多项式环及其应用，（Gerdt，V.P.；Koepf，W.；Seiler，W.M.；Vorozhtsov，E.V.，Proc.CASC’15（2015），Springer:Springer-Cham），275-291·Zbl 1434.16021号
[15] Kredel，H.，Java计算机代数系统（jas）（2020年）
[16] La Scala，R.，非分级非对易理想和相关算法的扩展字母位置对应，国际代数计算杂志。，24, 1157-1182 (2014) ·Zbl 1329.16039号
[17] 拉斯卡拉，R。；Levandovskyy，V.，Letterplace理想和非交换Gröbner基，J.Symb。计算。，44, 1374-1393 (2009) ·Zbl 1186.16014号
[18] 拉斯卡拉，R。；Levandovskyy，V.，Skew多项式环，Gröbner基和自由结合代数的字母嵌入，J.Symb。计算。，48, 110-131 (2013) ·兹比尔1272.16026
[19] Levandovskyy，V.，《多项式代数的非交换计算机代数：Gröbner基，应用与实现》（2005），凯泽斯劳滕大学，博士论文
[20] 列万多夫斯基，V。；Abou Zeid，K。；施奈曼，H。，单数：Letterplace-非交换有限表示代数的奇异4-1子系统（2021）
[21] 列万多夫斯基，V。；梅兹拉夫，T。；Abou Zeid，K.，（mathbb{Z}）上自由非交换Gröbner基的计算单数：Letterplace，（符号和代数计算国际研讨会论文集。符号和代数计算国际研讨会论文集，ISSAC’20（2020），ACM出版社），312-319·Zbl 07300086号
[22] 列万多夫斯基，V。；Schönemann，H。；Abou Zeid，K.，《字母位置——通过字母位置嵌入使用自由代数进行计算的奇异子系统》，（符号和代数计算国际研讨会论文集，符号和代数运算国际研讨会论文，ISSAC’20（2020），ACM出版社），305-311·Zbl 1514.68327号
[23] 列万多夫斯基，V。；斯图津斯基，G。；Schnitzler，B.，自由代数中Gröbner基的增强计算，作为字母位置范式的新应用，（Kauers，M.，符号和代数计算国际研讨会论文集，ISSAC’13（2013），ACM出版社），259-266·Zbl 1360.68942号
[24] Li，H.，环上一元Gröbner基定义的代数，国际数学。论坛，1427-1450（2012）·Zbl 1269.16047号
[25] Lichtblau，D.，欧几里德域上强Gröbner基的有效计算，《数学杂志》。，56, 177-194 (2012) ·Zbl 1275.13021号
[26] Markwig，T。；任，Y。；Wienand，O.，环上混合幂级数和多项式环中的标准基，J.Symb。计算。，79 (2015)
[27] Mora，T.，非交换代数中的Gröbner基，（符号和代数计算国际研讨会论文集88。程序。符号和代数计算国际研讨会88，Lect。注释计算。科学。，第358卷（1989）），150-161
[28] Mora，T.，《交换和非交换Gröbner基导论》，J.Symb。计算。，134, 131-173 (1994) ·Zbl 0824.68056号
[29] Mora，T.，《多项式方程组的求解IV：第4卷，Buchberger理论及其以外》（2016），剑桥大学出版社·Zbl 1362.12001年
[30] Pauer，F.，环中系数的Gröbner基，J.Symb。计算。，421003-1011（2007年）·Zbl 1127.13024号
[31] Pritchard，F.L.，非交换多项式环中的理想隶属度问题，J.Symb。计算。，22, 27-48 (1996) ·Zbl 0954.16019号
[32] Stein，W.，Sage数学软件。圣人发展团队（2020）
[33] 这个奥斯卡项目（2021年）
[34] Wienad，O.，《符号计算算法及其应用——环上的标准基和统计学中的秩检验》（2011），凯泽斯劳滕大学，博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。