×
米歇拉·塞里亚;特奥·莫拉

多元Ore扩展的Buchberger-Zacharias理论。 （英语） Zbl 1379.16025号

J.纯应用。代数 221，第12号，2974-3026（2017）。
小结：继最近对酉有效环和有效幺半群上幺半群环（R[mathsf{S}]\）的Buchberger-Zacharias理论的研究之后，我们在这里提出了Buchberger-Zacharias理论和相关的Gröbner基计算算法，用Möller-Pritchard提升定理将环的多元Ore扩张表示为主理想域上的模。

引用于1审查
引用于11文件

MSC公司：

16岁至20岁 矿石环，乘法集合，矿石定位
13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
20米25 半群环，环的乘法半群

关键词：

Buchberger-Zacharias理论;矿石延伸;Möller-Pritchard提升定理

软件：

信件位置;复数
PDF格式BibTeX公司 XML格式引用
\textit{M.Ceria}和\textit{T.Mora}，J.Pure Appl。代数221，第12号，2974--3026（2017；Zbl 1379.16025）
全文： 内政部

参考文献：

[1] Apel，J.，Gröbnerbasen，《尼切特科姆变通代数与ihre Anwendung》（1988），莱比锡论文·Zbl 0716.16001号
[2] Apel，J.，有限生成扩张环中的计算理想理论，Theor。计算。科学。，224, 1-33 (2000) ·Zbl 0945.68197号
[3] 阿佩尔，J。；Lassner，W.，《李代数包络域中的计算算法》（Proc.Int.Conf.on Comp.Algebra and Its Appl.in Theory Physics.Proc.Int Conf.on Comp.Algerbra and Its Appl.on Theory Physics），Dubna（1985），231-241，JINR D11-85-792
[4] 阿佩尔，J。；Lassner，W.，Lie Fields中的计算和简化，Lect。注释计算。科学。，第378卷，468-478（1987），施普林格出版社·Zbl 1209.68663号
[5] Bergman，G.H.，环理论的钻石引理，高等数学。，29, 178-218 (1978) ·Zbl 0326.16019号
[6] Byerne，E.，交换环上的Gröbner基及其在编码理论中的应用，（Sala，M.，Gróbner bases，coding，Cryptography（2009），Springer），239-262·Zbl 1179.13019号
[7] Buchberger，B.，Ein Algorithmus zum Auffinden der Basiselemente des Restklasseringes nach einem nulldimensionalen Polynomidel（1965），博士论文，因斯布鲁克·Zbl 1245.13020号
[8] Buchberger，B.，Ein算法Kriterium für die Lösbarkeit eines代数系统，Aequ。数学。，4, 374-383 (1970) ·Zbl 0212.06401号
[9] Buchberger，B.，《检测Gröbner基底施工中不必要减少的标准》，Lect。注释计算。科学。，第72卷，3-21（1979），施普林格·兹伯利0417.68029
[10] Buchberger，B.，Gröbner bases:多项式理想理论中的算法方法，（Bose，N.K.，多维系统理论（1985），Reider），184-232·Zbl 0587.13009号
[11] Bueso，J。；Gomez-Torrecillas，J。；Verschoren，A.，《非交换代数中的方法》（2003），Kluwer·Zbl 1063.16054号
[12] Ceria，M。；Mora，T.，Buchberger-Weispfenning有效结合环理论，ISSAC 2015特刊。ISSAC 2015特刊，J.Symb。计算。(2017) ·Zbl 1371.68331号
[13] Chyzak，F.等人。；Salvy，B.，Ore代数中的非交换消去证明了多元恒等式，J.Symb。计算。，26, 187-227 (1998) ·Zbl 0944.05006号
[14] Cohn，P.M.，非交换唯一因子分解域，Trans。数学。《社会学杂志》，109，313-331（1963）·Zbl 0136.31203号
[15] Cohn，P.M.，《弱算法的环》，Trans。数学。《社会学杂志》，109，332-356（1963）·Zbl 0136.31202号
[16] Gateva-Ivanova，T.，斜多项式环中的Groebner基，J.代数，138，13-35（1991）·Zbl 0723.16012号
[17] Gateva-Ivanova，T.，具有二项式关系的斜多项式环的Noetherian性质，Trans。数学。《社会》，345203-219（1994）·Zbl 0807.16026号
[18] Gateva-Ivanova，T.，具有二项式关系的斜多项式环，J.代数，185710-753（1996）·Zbl 0863.16016号
[19] Gebauer，R。；Möller，H.M.，关于Buchbgerger算法的安装，J.Symb。计算。，6, 275-286 (1988) ·Zbl 0675.13013号
[20] Janet，M.，Sur les systems d’équations aux dérivées partielles，数学杂志。Pures应用。，3, 65-151 (1920)
[21] Kandri-Rody，A。；Kapur，D.，计算欧几里德环上多项式环中理想的Gröbner基，J.Symb。计算。，6, 37-56 (1990)
[22] Kandri-Rody，A。；Weispfenning，W.，可解型代数中的非交换Gröbner基，J.Symb。计算。，9，1-26（1990年）·Zbl 0715.16010号
[23] Kredel，H.，可解多项式环（1992），论文，帕绍
[24] 拉斯卡拉，R。；Levandovskyy，V.，Skew多项式环，Gröbner基和自由结合代数的字母嵌入，J.Symb。计算。，48, 110-131 (2013) ·Zbl 1272.16026号
[25] Lazard，D.，解零维代数系统，J.Symb。计算。，15, 117-132 (1992) ·Zbl 0753.13012号
[26] Levandovskyy，V.G.，《多项式代数的非交换计算机代数：Gröbner基，应用与实现》（2005），论文，Kaiserslautern
[27] Levandovsky，V.G.，PBW基于非简并条件和应用，（Buchweitz，R.-O.；Lenzing，H.，代数的表示和相关主题（ICRA X会议记录），第45卷（2005年），AMS。Fields Institute Communications），229-246·Zbl 1094.16030号
[28] 曼斯菲尔德，E.L。；Szanto，A.，微分差分多项式的消元理论（Proc.ISSAC 2002（2002），ACM），283-290
[29] Mora，F.，De Nugis Groebnerialium 4:Zacharias，Spears，Möller，（ISSAC'15（2015），ACM），191-198年·Zbl 1346.13060号
[30] Mora，T.，《标准基的七种变化》（1988年）
[31] Mora，T.，《求解多项式方程系统II：Macaulay范式和Gröbner技术》（2005），剑桥大学出版社·Zbl 1161.13306号
[32] Mora，T.，有效结合环的Zacharias表示，J.Symb。计算。（2017），提交出版·Zbl 1445.16044号
[33] Mosteig，E。；Sweedler，M.，《估值和过滤》，J.Symb。计算。，34, 399-435 (2002) ·Zbl 1010.13018号
[34] Möller，H.M.，经典理想理论中的新构造方法，J.代数，100138-178（1986）·Zbl 0621.13007号
[35] Möller，H.M.，《关于使用syzygies构造Gröbner碱》，J.Symb。计算。，6345-359（1988年）·Zbl 0695.13003号
[36] 诺顿，G.H。；Sélégean，A.，主理想环上多项式的强Gröbner基，Bull。澳大利亚。数学。Soc.，64，505-528（2001）·Zbl 1046.13019号
[37] 诺顿，G.H。；Sălăgean，A.，Gröbner基和系数环的乘积，Bull。澳大利亚。数学。《社会学杂志》，65，147-154（2002）·Zbl 1042.13018号
[38] Ore，O.，《非交换域中的线性方程》，《数学年鉴》。，32, 463-477 (1931)
[39] Ore，O.，《非交换多项式理论》，《数学年鉴》。，34, 480-508 (1933)
[40] Pan，L.，《关于主理想域上多项式理想的D-基》，J.Symb。计算。，7, 55-69 (1988) ·Zbl 0668.68034号
[41] Pesch，M.，《斜多项式环中的Gröbner基》（1997），论文，帕绍
[42] Pesch，M.，《重复矿石延伸中的双面Gröbner基础》，《计算机科学和应用逻辑进展》，第15卷，225-243（1991），Birkhäuser·兹伯利0930.16019
[44] Pritchard，F.L.，非交换多项式环中的理想隶属度问题，J.Symb。计算。，22, 27-48 (1996) ·Zbl 0954.16019号
[45] Reinert，B.，《Gröbner基方法的系统研究》（2003），《习惯化》，凯泽斯劳滕出版社
[46] Reinert，B.，《函数环中的Gröbner基——将约简关系引入代数结构的指南》，J.Symb。计算。，41, 1264-1294 (2006) ·Zbl 1128.68117号
[47] Schreyer，F.O.，Die Berechnung von Syzygien mit dem verallgemeinenten-Weierstrass's chen Divisionsatz（1980），汉堡外交部
[48] Schreyer，F.O.，标准曲线合子的标准基方法，J.Reine Angew。数学。，421, 83-123 (1991) ·Zbl 0729.14021号
[49] Spear，D.A.，《交换环理论的构造方法》，（1977年MACSYMA用户会议（1977年），369-376，NASA CP-2012
[51] Szekeres，L.，多项式域理想的规范基础，《美国数学》。周一。，59, 379-386 (1952) ·Zbl 0047.03303号
[52] Tamari，D.，关于环和半群的某些分类，Bull。数学。《社会学杂志》，54，153-158（1948）·Zbl 0032.00601号
[53] 魏斯芬宁，V.，非noetherian斜多项式环中的有限Gröbner基，（Proc.ISSAC’92（1992），ACM），320-332·兹伯利0925.16018
[54] Zacharias，G.，交换多项式环中的广义Gröbner基（1978），麻省理工学院，学士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。