×
马提亚斯·阿斯琴布伦纳;安东·莱金

可解型代数中Gröbner基的度界。 （英语） Zbl 1166.13032号

J.纯应用。代数 213，第8期，1578-1605（2009）.
作者在某些（不一定是交换的）代数中建立了Gröbner基的双重指数度界，其中包括许多经典重要的代数。作者涵盖了关于单项式理想以及代数中Gröbner基的所有相关和重要信息。
覆盖的所有代数都是可解型的，包括交换多项式环、Weyl代数和有限维李代数的泛包络代数。在非交换的情况下，作者计算出单边（特别是左）理想的边界，然后利用这个边界将工作扩展到双边理想。
本文包含了几个明确列出的例子。论文的技术方面是彻底的、完整的，并且组织得很好。
审核人：Morgan Sherman（圣路易斯·奥比斯波）

引用于4文件

理学硕士：

13页第10页 Gröbner基地；理想和模块的其他基础（例如Janet和border基础）
13N10型 微分算子的交换环及其模

关键词：

Gröbner碱;可解型代数;单项式理想

软件：

复数
PDF格式BibTeX公司 XML格式引用
\textit{M.Aschenbrenner}和\textit{A.Leykin}，J.Pure Appl。《代数》213，第8期，1578--1605（2009；Zbl 1166.13032）
全文： 内政部 arXiv公司

参考文献：

[1] Castro，F.，《Calculs effectifs pour les idéaux d’operateurs différentiels》，（Aroca，J.-M.；Sánchez-Giralda，T.；Vincente，J.-L.，Géométrie Algébrique et Applications，III.Géomete trie Alg e brique et-Applications，III，Travaux en Cours，第24卷（1987），赫尔曼：赫尔曼巴黎），第1-19页·Zbl 0633.13009号
[2] Galligo，A.，《关于微分算子理想的一些算法问题》，（Caviness，B.，EUROCAL’85，第2卷，《1985年4月1日至3日在林茨举行的欧洲计算机代数会议论文集》。EUROCAL’85，第2卷，《1985年4月1日至3日在林茨举行的欧洲计算机代数会议论文集》，《计算机讲义》。科学。，第204卷（1985年），《斯普林格·弗拉格：柏林斯普林格尔·弗拉格》，413-421·Zbl 0634.16001号
[3] Takayama，N.，Gröbner基础与毗连关系问题，日本J.Appl。数学。，6, 1, 147-160 (1989) ·Zbl 0691.68032号
[4] 齐藤，M。；Sturmfels，B。；Takayama，N.，（超几何微分方程的Gröbner变形。超几何微分方程式的Gróbner形变，数学中的算法和计算，第6卷（2000年），Springer-Verlag:Springer-Verlag Berlin）·Zbl 0946.13021号
[5] A.Chistov，D.Grigoriev，Janet基的复杂性（D\）；A.Chistov，D.Grigoriev，A（D\）的Janet基的复杂性
[6] Janet，M.，《不同系统的Les modules de formes algébriques et la theorie générale des systèmes differentiels》，《科学年鉴》。埃科尔规范。Sup.，41，3，27-65（1924）
[7] Kandri-Rody，A。；魏斯芬宁，V.，可解型代数中的非交换Gröbner基，J.符号计算。，9, 1, 1-26 (1990) ·Zbl 0715.16010号
[8] Bueso，J。；Gómez-Terrecillas，J。；Verschoren，A.，（非交换代数中的算法方法.量子群的应用.非交换代数的算法方法.Quantum Group的应用，数学建模：理论与应用，第17卷（2003），Kluwer学术出版社：Kluwer-学术出版社Dordrecht）·Zbl 1063.16054号
[9] 罗曼，M.G。；Román，S.G.，PBW代数上双模上的Gröbner基和syzygies，J.符号计算。，40, 3, 1039-1052 (2005) ·兹比尔1126.16014
[10] Grabmeier，J.，《计算机代数手册：基础、应用、系统》（2003），Springer-Verlag:Springer-Verlag Berlin·Zbl 1017.68162号
[11] 列万多夫斯基，V。；Schönemann，H.，PLURAL-非交换多项式代数的计算机代数系统，（2003年符号和代数计算国际研讨会论文集（2003），计算机械协会：纽约计算机械协会），176-183，（电子版）·Zbl 1072.68681号
[12] Apel，J.，有限生成扩张环中的计算理想理论，Theoret。计算。科学。，244, 1-2, 1-33 (2000) ·Zbl 0945.68197号
[13] Mora，T.，交换和非交换Gröbner基简介，理论。计算。科学。，134, 1, 131-173 (1994) ·Zbl 0824.68056号
[14] Huỳnh，D.T.，Gröbner基和Church-Rosser交换Thue系统的超指数下界，Inform。和控制，68，1-3，196-206（1986）·Zbl 0612.68033号
[15] Möller，H.M。；Mora，F.，Groebner基阶的上下限，（Fitch，J.，EUROSAM 84，第三届国际研讨会论文集，剑桥，1984年7月9日至11日。EUROSAM 84，1984年7月9日至11日在剑桥举行的第三届国际研讨会论文集，计算机课堂讲稿。科学。，第174卷（1984年），《斯普林格·弗拉格：柏林斯普林格尔·弗拉格》，172-183·Zbl 0564.68030号
[16] Kredel，H。；魏斯芬宁，V.，可解型环中的参数Gröbner基，（Proc.IV.物理研究中的计算机代数国际会议，苏联杜布纳核研究联合研究所，1990年5月，236-244（1991），世界科学：世界科学新加坡）
[17] Dubé，T.，多项式理想和Gröbner基的结构，SIAM J.Compute。，19, 4, 750-775 (1990) ·兹伯利0697.68051
[18] Grigoriev，D.，求解微分算子环上线性方程组的复杂性，（Mora，T.；Traverso，C.，《代数几何中的有效方法》，1990年4月17日至21日在Castiglionselo举行的研讨会（MEGA-90）上的论文。代数几何的有效方法，1990年4月17日至21日在卡斯蒂格利昂塞洛举行的专题讨论会（MEGA-90）的论文，《数学进展》，第94卷（1991年），Birkhäuser Boston，Inc.：Birkháuser波士顿，Inc.Boston MA），195-202·Zbl 0749.16015号
[19] A.Chistov，D.Grigoriev，标准基的复杂性（D\）；A.Chistov，D.Grigoriev，标准基的复杂性·Zbl 1206.16050号
[20] Sturmfels，B。；怀特，N.，计算环的组合分解，组合数学，11275-293（1991）·Zbl 0739.68051号
[21] 麦克拉根，D。；Smith，G.，《多级正则性的一致界》，《代数几何》，第14期，第137-164页（2005年）·Zbl 1070.14006号
[22] Li，H.，（非交换Gröbner基和过滤分级转移。非交换Groöbnel基和过滤分层转移，数学课堂讲稿，第1795卷（2002），Springer-Verlag:Springer-Verlag Berlin）·Zbl 1050.16022号
[23] Latyshev，V.N.，Gröbner基的组合复杂性，数学杂志。科学。（纽约），102，3，4134-4138（2000）·Zbl 0976.13016号
[24] Weispfenning，V.，Gröbner基构造的一些界，（Beth，T.；Clausen，M.，适用代数，纠错码，组合数学和计算机代数，（Karlsruhe，1986）。《适用代数、纠错码、组合数学和计算机代数》（Karlsruhe，1986），《计算讲义》。科学。，第307卷（1988年），《施普林格-弗拉格：柏林施普林格》，195-201年·Zbl 0655.13018号
[25] Hermann，G.，《多项式理论与数学》中的Die Frage der endlich vielen Schritte。安，95，736-788（1926）
[26] 塞登伯格，A.，《代数构造》，Trans。阿默尔。数学。《社会学杂志》，197273-313（1974）·Zbl 0356.13007号
[27] Aschenbrenner，M.，多项式环的界和可定义性，Q.J.数学。，56, 3, 263-300 (2005) ·Zbl 1158.13310号
[28] Apel，J.，《理想的Gröbner基与G代数的向量模之间的关系》，（Bokut，L.A.，《国际代数会议论文集》，第2部分，新西伯利亚，1989年。《国际代数会议论文集》，第2部分，新西伯利亚，1989年，康特姆。数学。，第131卷，第2部分（1992年），美国。数学。Soc.：美国。数学。Soc.Providence，RI），195-204年·Zbl 0763.68045号
[29] Ōaku，T。；Shimoyama，T.，微分算子环上模的Gröbner基方法，符号计算杂志。，18, 3, 223-248 (1994) ·Zbl 0820.13023号
[30] Lazard，D.，（van Hulzen，J.A.，Gröbner Bases Gaussian Elimination and Resolution of Systems of Algebraic Equations。Gröbner Bases Gaussian Elimination and Resolution of Systems of Algebraic Equations，Comput.Sci.讲义，第162卷，计算机代数（伦敦1983）（1983），施普林格出版社：施普林格出版社，柏林），146-156·Zbl 0539.13002号
[31] Grigoriev，D.，（D\）模的弱Bézout不等式，《复杂性杂志》，21，4，532-542（2005）·2010年3月10日
[32] Hausdorf，M。；塞勒，W.M。；Steinwandt，R.，《Weyl代数中的对合基》，J.符号计算。，34, 3, 181-198 (2002) ·Zbl 1054.16023号
[33] M.Aschenbrenner，Gröbner碱的统一度界限，预印本，2008；M.Aschenbrenner，Gröbner碱的均匀度界限，预印本，2008
[34] Bergman，G.，环理论的钻石引理，高等数学。，29, 178-218 (1978) ·Zbl 0326.16019号
[35] Smith，S.，《量子群：环理论家的介绍和调查》，（Montgomery，S.；Small，L.，《非交换环》，1989年7月10日至21日在加利福尼亚州伯克利举行的微程序调查讲座。非交换环，1989年7月10日至21日在加州伯克利举行的微型程序调查讲座，数学。科学。Res.Inst.出版。，第24卷（1992），Springer-Verlag:Springer-Verlag纽约），131-178·兹伯利0744.16023
[36] 李，H。；Wu，Y.，可解多项式代数中Groebner基计算的过滤分级转移，《通信代数》，28，1，15-32（2000）·Zbl 0956.13009号
[37] Stanley，R.P.，线性丢番图方程和局部上同调，发明。数学。，68, 175-193 (1982) ·Zbl 0516.10009
[38] 查丁，M。；Moreno-Socías，G.，《分词理想的正则性：一些封闭公式和应用》，Proc。阿默尔。数学。Soc.，131，4，1093-1102（2003）·Zbl 1036.13014号
[39] 卡维利亚，G。；Sbara，E.，Castelnuovo-Mumford正则性的无特征边界，Compos。数学。，141, 6, 1365-1373 (2005) ·Zbl 1100.13020号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。