×
米歇拉·塞里亚

单项式理想的条形码。 （英语） Zbl 1423.13104号

J.塞姆。计算。 91, 30-56 (2019).
用固定希尔伯特多项式列出所有稳定和强atble理想的问题与希尔伯特方案的研究有关。
本文旨在计算2和3个变量中的零维稳定理想和强稳定理想，给出它们的希尔伯特多项式。
为此，作者引入了条形码，它提供了零维（强）稳定单项式理想和整数分区之间的联系。
本文的主要结果是：
-
在两个变量中，具有仿射希尔伯特多项式（p）的（强）稳定理想与具有不同部分的（p）分区之间存在双射，参见命题42。
-
在三个变量中，（强）稳定理想与其仿射希尔伯特多项式（p）的某些特殊平面划分之间存在双射，参见定理55和定理64。
审核人：爱德华多·萨恩兹·德卡贝松（洛格罗尼奥）

引用于8文件

MSC公司：

13层20 多项式环与理想；整值多项式环
13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）

关键词：

（强）稳定理想;整数分区;行列式;蓬马雷特基

软件：

强稳定理想;组织环境信息系统;单一
PDF格式BibTeX公司 XML格式引用
\textit{M.Ceria}，J.Symb。计算。91、30-56（2019年；Zbl 1423.13104）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Andrews，G.E.，《分割理论》，第2卷，（1998），剑桥大学出版社·Zbl 0996.11002号
[2] Aramova，A。；Herzog，J.，Koszul旋回和Eliahou-Kervaire型分辨率，J.代数，181，2，347-370，（1996）·Zbl 0868.13014号
[3] Aramova，A。；赫尔佐格，J。，ρ-Borel主要理想，伊利诺伊州数学杂志。，41, 1, 103-121, (1997) ·Zbl 0871.13007号
[4] Auzinger，W。；Stetter，H.J.，计算多元多项式方程组所有零点的消除算法，（新加坡数值数学，（1988），Springer），11-30·兹伯利0658.65047
[5] 拜耳，D.A.，1983年。除法算法与Hilbert格式。；拜耳，D.A.，1983年。除法算法和希尔伯特格式。
[6] 拜耳博士。；Stillman，M.，检测标准米-规律，发明。数学。，87, 1, 1-11, (1987) ·Zbl 0625.13003号
[7] Bertone，C.，具有给定Hilbert多项式的拟稳定理想和Borel固定理想，Appl。代数工程通信计算。，26, 6, 507-525, (2015) ·Zbl 1327.13098号
[8] 伯顿，C。；Cioffi，F。；Lella，P。；Roggero，M.，强稳定理想上标记格式有效计算的升级方法，J.符号计算。，50, 263-290, (2013) ·Zbl 1314.14008号
[9] 伯顿，C。；Lella，P。；Roggero，M.，《Hilbert格式的Borel开盖》，J.符号计算。，53, 119-135, (2013) ·Zbl 1312.14011号
[10] Bigatti，A.M.，给定Hilbert函数Betti数的上界，通信代数，21，7，2317-2334，（1993）·Zbl 0817.13007号
[11] Ceria，M.，2014年。对不同点的“恶轴定理”的证明。2014年Rendiconti del Matematico研讨会。；Ceria，M.，2014年。对不同点的“恶轴定理”的证明。2014年Rendiconti del Matematico研讨会·Zbl 1358.13028号
[12] Ceria，M.，2018年a。条形码在对合除法中的应用和贪婪算法在完备集上的应用。预打印。；Ceria，M.，2018年a。条形码在对合除法中的应用和贪婪算法在完备集上的应用。预打印。
[13] Ceria，M.，2018年b。条形码：有限项集及其应用的可视化表示。预打印。；Ceria，M.，2018年b。条形码：有限项集及其应用的可视化表示。预打印。
[14] Ceria，M.，Mora，T.，2018年。点的理想组合：迭代lex对策的类Cerlienco-Mureddu方法。预打印。；Ceria，M.，Mora，T.，2018年。点理想的组合数学：迭代lex游戏的Cerlienco-Mureddu-like方法。预打印。
[15] Ceria，M。；莫拉·T。；Roggero，M.，术语排序自由对合基，符号计算杂志。，68, 87-108, (2015) ·Zbl 1311.13036号
[16] Cerlienco，L.，Mureddu，M.，1990年。维数≥2的l'interpolazione多项式的算法组合。预打印。；Cerlienco，L.，Mureddu，M.，1990年。维数≥2的l'interpolazione多项式的算法组合。预打印。
[17] Cioffi，F。；Lella，P。；Marinari，M.G。；Roggero，M.，点的分段和Hilbert格式，离散数学。，311, 20, 2238-2252, (2011) ·Zbl 1243.14007号
[18] Cioffi，F。；Roggero，M.，强稳定理想的平面族和Gröbner基的推广，J.符号计算。，46, 9, 1070-1084, (2011) ·Zbl 1231.13024号
[19] Comtet，L.，《高级组合学：有限和无限扩张的艺术》（2012），施普林格科学与商业媒体
[20] 德克尔，W。；格雷厄尔，G.-M。；普菲斯特，G。；Schönemann，H.，奇异3-1-6-多项式计算的计算机代数系统，（2015）
[21] Eisenbud，D.，《交换代数：代数几何的观点》，第150卷，（2013），Springer Science&Business Media
[22] Eliahou，S。；Kervaire，M.，一些单项式理想的极小分解，J.代数，129，1，1-25，（1990）·Zbl 0701.13006号
[23] Felszeghy，B。；Ráth，B。；Rónyai，L.，lex游戏和一些应用程序，J.符号计算。，41, 6, 663-681, (2006) ·兹伯利1128.13012
[24] Galligo，A.，《Weierstrass的政治主张》（Foctions de Plusieurs Variables Complexes，（1974），施普林格），543-579·Zbl 0297.3203号
[25] 格罗森迪克（Grothendieck），A.，《建筑技术与存在》（Techniques de construction et the oremes d’existence en géométrie algébrique IV）：《希尔伯特修道院》（LES schémas de Hilbert），塞姆。布尔巴吉，221，61，（1960）·兹比尔0236.14003
[26] Gunther，N.，《方程规范》，C.R.Acad。科学。巴黎，157577-580，（1913）·JFM 44.0119.01号
[27] Gunther，N.，《同质系统方程规范》，Izdanie Inst.Inz。Putej Soobcenija Imp.Al.I.，84，（1913），（俄语）[J.Inst.Ponts Chaussées Russ.]
[28] 哈代，G.H。；Wright，E.M.，《数论导论》（1979），牛津大学出版社·Zbl 0423.10001号
[29] Hulett，H.A.，具有给定Hilbert函数的齐次理想的最大Betti数，通信代数，21，7，2335-2350，（1993）·Zbl 0817.13006号
[30] Janet，M.，《Sur LES sysèmes d’équations aux dériveées partelles》，J.Math。Pures应用。，3, 55-151, (1920)
[31] Janet，M.，《不同系统的LES模块》，《科学年鉴》。埃及。标准。上级。，第41卷，第27-65页，（1924），爱思唯尔·JFM 50.0321.03标准
[32] Janet，M.，1927年。微分方程组。；Janet，M.，1927年。Les systèmes d’équations aux dériveées partielles（水粒子系统方程）·JFM 53.0439.01号
[33] Janet，M.，Leçons sur LES systèmes d’équations aux dériveées partielles，（1929），高瑟·维拉斯·JFM 55.0276.01标准
[34] Kreattehaler，C.，给定形状平面分区的生成函数，手稿数学。，69, 1, 173-201, (1990) ·Zbl 0726.05007号
[35] Kreattehaler，C.，《移位平面分区的生成函数》，J.Statist。计划。推理，34，2，197-208，（1993）·Zbl 0777.05009号
[36] Lella，P.，计算Hilbert格式Borel不动点算法的有效实现，（第37届符号与代数计算国际研讨会论文集，（2012），ACM），242-248·Zbl 1323.68611号
[37] Lella，P。；Roggero，M.，《关于标记族的功能性》，J.Commut。代数，8，3，367-410，（2016）·兹比尔1348.14010
[38] Lundqvist，S.，《比较单项式的复杂性和buchberger-Möller算法的两个改进》，（计算机科学中的数学方法，（2008），Springer），105-125·Zbl 1178.68691号
[39] Lundqvist，S.，与点的消失理想相关的向量空间基，J.Pure Appl。代数，214，4，309-321，（2010）·兹比尔1194.13023
[40] Macaulay，F.S.，模块系统理论中枚举的一些性质，Proc。伦敦。数学。学会，2，1，531-555，（1927年）·JFM 53.0104.01号文件
[41] 摩尔，D。；Nagel，U.，《强稳定理想的算法》，数学。公司。，832892527-2552，（2014）·Zbl 1305.14028号
[42] Mora，F.，De nugis groebnerialium 2:应用Macaulay的技巧以轻松编写Gröbner基，Appl。代数工程通信计算。，13, 6, 437-446, (2003) ·Zbl 1017.13011号
[43] Mora，T.，《求解多项式方程组》，第二卷，（2005），剑桥大学出版社·Zbl 1161.13306号
[44] Mora，T.，《求解多项式方程组》，第四卷，（2016），剑桥大学出版社·Zbl 1362.12001年
[45] Onn，S。；Sturmfels，B.，《应用前沿》。数学。，23, 1, 29-48, (1999) ·Zbl 0955.52008号
[46] Pardue，K.，非标准Borel-固定理想，（1994），布兰迪斯大学博士论文
[47] Peeva，I.，0-Borel固定理想，J.代数，184,3945-984，（1996）·Zbl 0877.13012号
[48] Pommaret，J.-F.，偏微分方程和李伪群系统，第14卷，（1978），CRC出版社·Zbl 0418.35028号
[49] Pommaret，J.-F。；Haddak，A.，代数偏微分方程组的有效方法，（代数几何中的有效方法（1991），Springer），411-426·Zbl 0734.13014号
[50] Reeves，A.A.，1993年。hilbert方案上的组合结构。；Reeves，A.A.，1993年。希尔伯特格式的组合结构。
[51] 罗宾逊，L.，《高等教育系统与局部河流方程》，C.R.学院。科学。巴黎，157106-108，（1913年）·JFM 44.0424.03号
[52] Robinson，L.，偏微分方程组的一种新标准形，Amer。数学杂志。，39, 1, 95-112, (1917) ·传真：46.0728.01
[53] Seiler，W.M.，《对合：微分方程的形式理论及其在计算机代数中的应用》，第24卷，（2009年），Springer Science&Business Media
[54] 斯隆，N.，2010年。整数序列在线百科全书。；斯隆，N.，2010年。整数序列的在线百科全书·Zbl 1044.11108号
[55] 斯坦利，R。；Fomin，S.，枚举组合学，剑桥高等数学研究，第2卷，（1999），剑桥大学出版社·Zbl 0928.05001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。