×
阿米尔·哈希米；Werner M.塞勒。

多项式理想理论中与维数和深度相关的上界。 （英语） Zbl 1439.13076号

J.塞姆。计算。 98, 47-64 (2020).
摘要：我们改进了多项式理想的Gröbner基次数和Castelnuovo-Mumford正则性的某些上界。对于Gröbner基的度，我们只研究组合性质的可确定和可实现的一般位置，即强稳定位置或准稳定位置。此外，我们还展示了Castelnuovo-Mumford正则性的新维数和深度相关上界，以及同质理想在这些位置的约化Gröbner基元素的度（w.rt.度逆字典序）。最后，证明了类似的上界在正特征中成立。

MSC公司：

13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
13A35型 特征（p\）方法（Frobenius自同态）及其约简；紧密闭合

关键词：

Gröbner碱；Pommaret底座；度界限；通用位置；理想尺寸；理想深度

软件：

单一；NoetherBases.mpl公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Hashemi}和\textit{W.M.Seiler}，J.Symb。计算。98、47-64（2020年；Zbl 1439.13076）
全文： 内政部

参考文献：

[1] Bayer，D.，《除法算法和希尔伯特方案》（1982），哈佛大学博士论文
[2] 拜耳，D。；Stillman，M.，检测M-正则性的标准，发明。数学。，87, 1-11 (1987) ·Zbl 0625.13003号
[3] 贝克尔，T。；Weispfenning，V.，Gröbner Bases:A Computation Approach to Commutative Algebra（1993），Springer-Verlag:Springer-Verlag New York，与Heinz Kredel合作·Zbl 0772.13010号
[4] 伯梅霍，I。；Gimenez，P.，利用单项理想的商计算\（P_K^n\）的一些子项的Castelnuovo-Mumford正则性，J.Pure Appl。代数，164，1-2，23-33（2001）·Zbl 0989.13008号
[5] 贝尔梅乔，I。；Gimenez，P.，饱和与Castelnuovo-Mumford正则性，J.代数，303，2，592-617（2006）·Zbl 1105.13010号
[6] 布伦斯，W。；Herzog，J.，Cohen-Macaulay Rings（1998），剑桥大学出版社：剑桥大学出版社·Zbl 0909.13005号
[7] Buchberger，B.，Ein algorithmus zum auffinden der basiselemente des restklassenringes nach einem nulldimensionalen polynomideal（1965），因斯布鲁克大学博士论文·Zbl 1245.13020号
[8] Buchberger，B.，《检测Gröbner-bases构造中不必要减少的标准》，（符号和代数计算，符号和代数运算，EUROSAM’79，国际交响乐，马赛，1979年）。符号和代数计算。符号和代数计算，EUROSAM’79，国际交响乐团。，马赛，1979年，Lect。注释计算。科学。，第72卷（1979）），3-21·Zbl 0417.68029号
[9] Buchberger，B.，Bruno Buchberger1965年的博士论文：零维多项式理想剩余类环的基元的求法，J.Symb。计算。，41、3-4、475-511（2006），德语翻译·Zbl 1158.01307号
[10] 卡维利亚，G。；Sbara，E.，Castelnuovo-Mumford正则性的无特征边界，Compos。数学。，141, 6, 1365-1373 (2005) ·Zbl 1100.13020号
[11] 考克斯·D。；Little，J。；O'Shea，D.，《理想、多样性和算法》。计算代数几何和交换代数导论（2007），Springer:Springer New York，NY·Zbl 1118.13001号
[12] Dubé，T.W.，多项式理想和Gröbner基的结构，SIAM J.Compute。，1970-7773年（1990年）·Zbl 0697.68051号
[13] 艾森巴德，D.，交换代数。《代数几何观点》（1995年），《斯普林格·弗拉格：柏林斯普林格尔·弗拉格》·Zbl 0819.13001号
[14] 艾森巴德，D。；Goto，S.，《线性自由分辨率和最小多重性》，J.代数，88，89-133（1984）·Zbl 0531.13015号
[15] Fröberg，R.，《Gröbner Bases简介》（1997），John Wiley&Sons:John Willey&Sons Chichester·Zbl 0997.13500号
[16] Galligo，A.，《Weierstrass准备的建议》（Foctions de plusieurs Variables complexscripts.Foctions der plusieours Variable complexscripts，Sem.Francois Norguet，1970年10月至1973年12月）。变量复合函数。佛朗索瓦·诺格学院，1970年10月至1973年12月，Lect，《变量复合函数》。数学笔记。，第409卷（1974）），543-579·Zbl 0297.3203号
[17] Galligo，A.，《Théorème de division et stabilityéen géométrie analytique locale》，《傅里叶研究所年鉴》，29，2，107-184（1979）·2011年12月4日Zbl
[18] Giusti，M.，多项式理想理论中的一些有效性问题，（EUROSAM 84，符号和代数计算，Proc.Int.Symp.，Cambridge/Engl.，1984）。EUROSAM 84，符号和代数计算，Proc。国际交响乐团。，剑桥/英国。，1984年，Lect。注释计算。科学。，第174卷（1984年），159-171·Zbl 0585.13010号
[19] Green，M.L.，泛型初始理想，（交换代数六讲，交换代数六课，西班牙贝拉特拉，1996年7月16日至26日（1998年），Birkhäuser:Birkháuser Basel），119-186，暑期学校演讲·Zbl 0933.13002号
[20] 格雷厄尔，G.-M。；Pfister，G.，交换代数的奇异导论。Olaf Bachmann、Christoph Lossen和Hans Schönemann的贡献（2007），《施普林格：柏林施普林格》·Zbl 1133.13001号
[21] Hashemi，A.，《强Nœther位置和稳定规则》，Commun。代数，38，2，515-533（2010）·Zbl 1193.13019号
[22] 哈希米，A。；Seiler，W.M.，Gröbner基的维数相关上界，（第42届符号和代数计算国际研讨会论文集。第42届国际符号和代数计算机研讨会论文集，ISSAC 2017，德国凯泽斯劳滕，2017年7月25日至28日（2017），计算机械协会（ACM）：纽约计算机械协会（ACM），189-196年·Zbl 1450.13012号
[23] 哈希米，A。；Schweinfurter，M。；Seiler，W.M.，《准静态与一般性》，（科学计算中的计算机代数），第14届国际研讨会，2012年，斯洛文尼亚马里博尔，2012年9月3日至6日。《程序集》（2012），《施普林格：柏林施普林格》，172-184·Zbl 1373.13028号
[24] 哈希米，A。；Schweinfurter，M。；Seiler，W.M.，多项式理想的决定论一般性，J.Symb。计算。，86, 20-50 (2018) ·Zbl 1446.13021号
[25] 哈希米，A。；帕尼安，H。；Seiler，W.M.，Noether碱及其应用，公牛。伊朗。数学。Soc.（2019），出版中·Zbl 1430.13045号
[26] Lazard，D.，《系统方程解》，Theor。计算。科学。，15, 77-110 (1981) ·Zbl 0459.68013号
[27] Lazard，D.，Gröbner bases，Gaussian消去和代数方程组的分解，（计算机代数，计算机代数，欧洲’83，Proc.Conf.，伦敦，1983）。计算机代数。计算机代数，欧洲'83，Proc。Conf.，伦敦，1983年，Lect。注释计算。科学。，第162卷（1983）），146-156·Zbl 0539.13002号
[28] Lejeune-Jalabert，M.，《多项式计算的有效性》（1984），傅里叶研究所：傅里叶格勒诺布尔研究所
[29] Mall，D.，《关于Gröbner和Pommaret基地之间的关系》，Appl。代数工程通讯。计算。，9, 2, 117-123 (1998) ·Zbl 0926.13017号
[30] Matsumura，H.，交换环理论（1986），Transl。里德先生的《日本人》·Zbl 0603.13001号
[31] Mayr，E.W。；Meyer，A.R.，交换半群和多项式理想的词问题的复杂性，高级数学。，46305-329（1982年）·Zbl 0506.03007号
[32] Mayr，E.W。；Ritscher，S.，多项式理想Gröbner基的维数相关界，J.Symb。计算。，49, 78-94 (2013) ·Zbl 1258.13032号
[33] Möller，H。；Mora，F.，Gröbner基阶的上下限，（EUROSAM 84，符号和代数计算，Proc.int.Symp.，剑桥/英语，1984。EUROSAM 84，符号和代数计算，Proc。国际交响乐团。，剑桥/英语。，1984年，Lect。注释计算。科学。，第174卷（1984）），172-183·Zbl 0564.68030号
[34] Mora，T.，《多项式方程组的求解》。二、。《麦考利范式与哥伦布技术》（2005），剑桥大学出版社：剑桥大学出版社·Zbl 1161.13306号
[35] Mumford，D.，《代数曲面上的曲线讲座》，《数学研究年鉴》，第59卷（1966年），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿，XI，200页·Zbl 0187.42701号
[36] Seiler，W.M.，《对合和δ-正则性的组合方法》。二： 具有Pommaret基的多项式模的结构分析，应用。代数工程通讯。计算。，20, 3-4, 261-338 (2009) ·Zbl 1175.13011号
[37] Seiler，W.M.，有效一般性，δ-正则性和强Noether位置，Commun。代数，40，10，3933-3949（2012）·Zbl 1262.13043号
[38] Yap，C.K.，《带应用程序的可交换Thue系统的新下界构造》，J.Symb。计算。，12, 1, 1-27 (1991) ·Zbl 0731.68060号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。