Werner M.塞勒。 对合和δ-正则性的组合方法。一： 可解型多项式代数中的对合基。 （英语） Zbl 1175.13012号 申请。代数工程通讯。计算。 20，编号3-4，207-259（2009）. 摘要：对合基是非约化Gröbner基的一种特殊形式，具有额外的组合性质。它们起源于Janet-Riquier的线性偏微分方程组理论。我们研究了一类相当一般的多项式代数，包括非交换代数，如线性微分算子和差分算子生成的代数或（有限维）李代数的泛包络代数。我们使用弱对合基的新概念回顾了它们的基本性质，并给出了构造它们的具体算法。作为新的原始结果，我们分别发展了关于半群阶（如局部计算中出现的那样）和超系数环的对合基理论。在这两种情况下，结果证明通常只有弱对合基存在。[第二部分，参见同上20，第3-4号，261-338（2009年；Zbl 1175.13011号).] 引用于2评论引用于23文件 MSC公司： 13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 引文：Zbl 1175.13011号 软件：复数;单数的;SYMMGRP公司 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Seiler}，应用。代数工程通讯。计算。20，编号3--4，207--259（2009；Zbl 1175.13012） 全文： 内政部 arXiv公司 参考文献： [1] Adams，W.W.，Loustauna，P.：Gröbner Bases简介。数学研究生课程，第3卷。美国数学学会，普罗维登斯（1994）·Zbl 0803.13015号 [2] Apel，J.：Gröbnerbasen在《Nichtkomusiven Algebren und ihre Anwendung》中。莱比锡大学博士论文（1988年）·Zbl 0716.16001号 [3] Apel J.：使用替代算法计算Gröbner基。收录：Bronstein，M.，Grabmeier，J.，Weispfenning，V.（编辑）符号重写技术，《计算机科学与应用逻辑进展》，第15卷，第35-45页。Birkhäuser，巴塞尔（1998年）·兹伯利0985.16034 [4] Apel J.：对合除法理论及其在希尔伯特函数计算中的应用。J.塞姆。计算。25, 683–704 (1998) ·Zbl 0943.68191号 ·doi:10.1006/jsco.1997.0194 [5] Apel J.，Hemmecke R.：检测对合基计算中不必要的减少。J.塞姆。计算。40, 1131–1149 (2005) ·Zbl 1120.13028号 ·doi:10.1016/j.jsc.2004.04.004 [6] Becker Th.，Weispfenning V.：Gröbner Bases。数学研究生教材，第141卷。施普林格，纽约（1993）·Zbl 0772.13010号 [7] Bell A.D.，Gooderl K.R.：微分算子环和Poincaré–Birkhoff–Witt扩张上的一致秩。太平洋数学杂志。131, 13–37 (1988) ·Zbl 0598.16002号 [8] Berger R.：量子Poincaré–Birkhoff–Witt定理。公共数学。物理学。143, 215–234 (1992) ·Zbl 0755.17006号 ·doi:10.1007/BF02099007 [9] 比约克J.E.：微分算子环。北荷兰数学图书馆21。荷兰北部，阿姆斯特丹（1979） [10] 于布林科夫。对合除法的分离单项式方法。掠夺。计算。柔和。27, 139–141 (2001) ·Zbl 0991.68158号 ·doi:10.1023/A:1010986332560 [11] Bueso J.L.、Gómez-Terrecillas J.、Lobillo F.J.：PBW模块中的同调计算。阿尔及利亚。代表Theor。4, 201–218 (2001) ·Zbl 1054.16040号 ·doi:10.1023/A:1011455831400 [12] Bueso J.L.、Gómez-Terrecillas J.、Lobillo F.J.、Castro-Jiménez F.J.：量子群中有效微积分的介绍。收录于：Caenepeel，S.，Verschoren，A.（eds）Rings，Hopf代数和Brauer群。纯数学和应用数学课堂讲稿，第197卷，第55-83页。马塞尔·德克尔（Marcel Dekker），纽约（1998）·Zbl 0898.17007号 [13] Bueso J.L.，Gómez Torrecillas J.，Verschillen A.：非交换代数中的算法方法。《数学建模：理论与应用》，第17卷。Kluwer，Dordrecht（2003）·Zbl 1063.16054号 [14] 陈Y.F.，高X.S.：对合方向和新的对合划分。计算。数学。申请。41, 945–956 (2001) ·2010年10月18日Zbl ·doi:10.1016/S0898-1221（00）00332-1 [15] 科恩·P.M.：代数II。约翰·威利，伦敦（1977）·Zbl 0341.0002号 [16] Cox D.、Little J.和O'Shea D.：使用代数几何。数学研究生教材，第185卷。施普林格，纽约（1998） [17] Drinfeld V.G.：Hopf代数和量子Yang-Baxter方程。苏联。数学。多克。32, 254–258 (1985) [18] Gerdt V.P.：线性微分系统对合的完成。收录于：Ghanza，V.G.，Mayr，E.W.，Vorozhtsov，E.V.（编辑）《科学计算中的计算机代数——CASC'99》，第115-137页。柏林施普林格（1999） [19] Gerdt V.P.：关于对合基计算中的算法优化。掠夺。计算。柔和。28, 62–65 (2002) ·Zbl 1037.68063号 ·doi:10.1023/A:1014816631983 [20] Gerdt V.P.，Blinkov Yu。多项式理想的对合基。数学。计算。模拟。45, 519–542 (1998) ·Zbl 1017.13500号 ·doi:10.1016/S0378-4754（97）00127-4 [21] Gerdt V.P.，Blinkov Yu。答：最小对合基。数学。计算。模拟。45, 543–560 (1998) ·Zbl 1017.13501号 ·doi:10.1016/S0378-4754（97）00128-6 [22] Gerdt V.P.，Blinkov Yu。A.，Yanovich D.A.：Janet基地的建设。一、单项基础。收录于：Ghanza，V.G.，Mayr，E.W.，Vorozhtsov，E.V.（编辑）《科学计算中的计算机代数——CASC 2001》，第233-247页。柏林施普林格（2001a）·Zbl 1015.13012号 [23] Gerdt V.P.，Blinkov Yu。A.，Yanovich D.A.：Janet基地II的建设。In：多项式基数。Ghanza，V.G.，Mayr，E.W.，Vorozhtsov，E.V.（编辑）科学计算中的计算机代数——CASC 2001，第249–263页。施普林格，柏林（2001b）·Zbl 1015.13013号 [24] Gianni P.，Trager B.，Zacharias G.：Gröbner基和多项式理想的主分解。J.塞姆。计算。6, 149–167 (1988) ·Zbl 0667.13008号 ·doi:10.1016/S0747-7171（88）80040-3 [25] Giesbrecht，M.，Reid，G.J.和Zhang，Y.：Poincaré–Birkhoff–Witt扩展中的非交换Gröbner基。收录：Ghanza，V.G.，Mayr，E.W.，Vorozhtsov，E.V.（编辑）科学计算中的计算机代数–CASC 2002。Fakultät für Informatik，慕尼黑理工大学（2002） [26] Gräbe H.-G.：切线锥算法和均匀化。J.纯应用。阿尔及利亚。97, 303–312 (1994) ·Zbl 0813.13027号 ·doi:10.1016/0022-4049（94）00020-4 [27] Gräbe H.-G.：局部代数中的算法。J.塞姆。计算。19, 545–557 (1995) ·Zbl 0844.68066号 ·doi:10.1006/jsco.1995.1031 [28] Greuel G.-M.，Pfister G.：标准基和合成理论的进展和改进。架构（architecture）。数学。66, 163–176 (1996) ·Zbl 0854.13015号 ·doi:10.1007/BF01273348 [29] Greuel G.-M.，Pfister G.：交换代数的奇异导论。柏林施普林格出版社（2002年）·Zbl 1023.13001号 [30] Greuel，G.-M.，Pfister，G.，Schönemann，H.：奇异2.0——用于多项式计算的计算机代数系统。凯泽斯劳滕大学计算机代数中心技术报告（2001年）。http://www.singular.uni-kl.de ·Zbl 1344.13002号 [31] Hausdorf M.，Seiler W.M.：对合几何补全的有效代数算法。申请。阿尔及利亚。工程通信。计算。13, 163–207 (2002) ·Zbl 1095.13550号 ·doi:10.1007/s002000200099 [32] Hausdorf M.，Seiler W.M.：MuPAD中的对合基。I.对合除法。mathPAD 11，51–56（2002） [33] Hausdorf，M.，Seiler，W.M.：MuPAD中的对合基。二、。可解型多项式代数。mathPAD（即将出现） [34] Hausdorf M.，Seiler W.M.，Steinwandt R.：Weyl代数中的对合基。J.塞姆。计算。34181–198（2002年）·兹伯利1054.16023 ·doi:10.1006/jsco.2002.0556 [35] Hereman W.：微分方程Lie对称性计算符号软件综述。欧洲数学。牛市。2, 45–82 (1994) ·Zbl 0891.65081号 [36] 珍妮特·M。：《河流粒子的系统方程》。数学杂志。纯应用程序。3, 65–151 (1920) ·JFM 47.0440.04（联合部队司令部） [37] Janet M.：不同系统的模块形式。《安娜·埃科尔规范》。补充41、27–65（1924）·JFM 50.0321.03标准 [38] Janet，M.：Leçons sur les Systèmes d’Equations aux dériveées Partielles.（《巴黎市政厅系统方程》）。Cahiers Scientifiques，Fascicule IV.Gauthier-Villars，巴黎（1929）·JFM 55.0276.01标准 [39] Jimbo M.：（{U（mathfrak{g}）}）和Yang-Baxter方程的q差分模拟。莱特。数学。物理学。10, 63–69 (1985) ·Zbl 0587.17004号 ·doi:10.1007/BF00704588 [40] Kandry-Rody A.，Weispfenning V.：可解型代数中的非交换Gröbner基。J.塞姆。计算。9, 1–26 (1990) ·Zbl 0715.16010号 ·doi:10.1016/S0747-7171（08）80003-X [41] Kredel H.：可解多项式环。Verlag Shaker，亚琛（1993）·Zbl 0790.16027号 [42] Lazard，D.：Gröbner基底，高斯消去和代数方程组的分解。收件人：van Hulzen，J.A.（编辑）Proc。83年欧洲。计算机科学课堂讲稿，第162卷，第146-156页。柏林施普林格（1983）·Zbl 0539.13002号 [43] Levandovskyy，V.：关于非交换G-代数的Gröbner基。收录：Calmet，J.、Hausdorf，M.、Seiler，W.M.（编辑）Proc。欠定和超定代数或微分方程组，第99–118页。Fakultät für Informatik，卡尔斯鲁厄大学（2002） [44] Levandovskyy，V.：多项式代数的非交换计算机代数：Gröbner基，应用和实现。凯泽斯劳滕大学Fachbereich Mathematik博士论文（2005年）·Zbl 1094.16030号 [45] McConnell J.C.和Robson J.C.：非交换Noetherian环。威利，纽约（1987）·Zbl 0644.16008号 [46] Méray C.，Riquier C.：关于不同党派的普通系统内部发展的融合。科学年鉴。欧洲标准。Sup.7，23-88（1890年）·JFM 22.0348.02号 [47] Miller E.，Sturmfels B.：组合交换代数。数学研究生教材，第227卷。施普林格，纽约（2005）·Zbl 1090.13001号 [48] Mora，T.：计算切线锥方程的算法。收录：Calmet，J.（编辑）Proc。82年欧洲摄像展。计算机科学课堂讲稿，第144卷，第158-165页。柏林施普林格出版社（1982）·Zbl 0568.68029号 [49] Noether E.，Schmeidler W.：nichtkomvarifien Bereichen中的模，inbesondere aus Differential-und Differenzausdrücken。数学。宙特。8, 1–35 (1920) ·肯尼迪47.0097.03 ·doi:10.1007/BF01212856 [50] 矿石O.：非交换域中的线性方程组。安。数学。32, 463–477 (1931) ·JFM 57.0166.01号文件 ·doi:10.2307/1968245 [51] Ore O.：非交换多项式理论。安。数学。34, 480–508 (1933) ·Zbl 0007.15101号 ·doi:10.2307/1968173 [52] Riquier C.：Les Sysèmes d’equations aux Deriveées Partielles。巴黎戈蒂尔·维拉斯（1910） [53] Saito M.、Sturmfels B.、Takayama N.：《超几何微分方程的Gröbner变形——数学中的算法和计算》，第6卷。施普林格，柏林（2000）·兹伯利0946.13021 [54] Seiler，W.M.：对合——微分方程的形式理论及其在计算机代数中的应用。数学算法与计算，第24卷。柏林施普林格出版社（2009年出版） [55] Sturmfels B.，White N.：计算环的组合分解。组合数学11，275–293（1991）·Zbl 0739.68051号 ·doi:10.1007/BF01205079 [56] Thomas J.M.：微分系统。学术讨论会出版物二十一。美国数学学会，纽约（1937） [57] Tresse A.：Sur les不变量différentiels des groupes continus de transformations。数学学报。18，1–88（1894年）·表格25.0641.01 ·doi:10.1007/BF02418270文件 [58] Trinks W.：U ber B.Buchbergers Verfahren，Systeme algebraischer Gleichungen zu lösen。J.Num.Th.10，475–488（1978年）·Zbl 0404.13004号 [59] Varadarajan V.S.：李群、李代数及其表示。数学研究生教材，第102卷。施普林格，纽约（1984）·Zbl 0955.22500 [60] Wu W.T.：关于基于Riquier–Janet理论的多项式理想的Gröbner基的构造。系统。科学。数学。科学。4, 194–207 (1991) ·Zbl 0802.13006号 [61] 扎尔科夫A.Yu。，于布林科夫。答：求解代数方程组的对合方法。收录：Jacob，G.，Oussous，N.E.，Steinberg，S.（编辑）Proc。国际IMACS交响乐团。符号计算，第11-17页。法国里尔（1993） 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。