×
克里斯蒂娜·伯顿

具有给定Hilbert多项式的拟稳定理想和Borel-固定理想。 （英语） Zbl 1327.13098号

申请。代数工程通讯。计算。 26，第6期，507-525（2015）.
摘要：本文研究了多项式环（k[x_0，\dots，x_n]\）中拟稳定理想和Borel不动点理想的性质，以设计两种算法：第一种算法以输入为输入，并设计了一个可容许的Hilbert多项式（P（z）\），并使用给定的希尔伯特多项式输出所选多项式环中饱和拟稳定理想的完整列表。第二个算法有一个额外的输入，即字段的特征，并使用Hilbert多项式（P（z））输出（k[x_0，dots，x_n]\）中饱和Borel固定理想的完整列表。证明这两种算法的关键工具是准静态理想的组合结构，特别是我们为所考虑的理想使用了一组特殊的生成器，即Pommaret基。

引用于10文件

MSC公司：

13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
2014年第20季度 代数几何的有效性、复杂性和计算方面
2005年12月 场论和多项式的计算方面（MSC2010）
05E40型 交换代数的组合方面

关键词：

准稳定理想;孔固定理想;Pommaret基础;希尔伯特多项式

软件：

强稳定理想
PDF格式BibTeX公司 XML格式引用
\textit{C.Bertone}，应用程序。代数工程通讯。计算。26，No.6，507--525（2015；Zbl 1327.13098）
全文： 内政部 arXiv公司

参考文献：

[1] Bayer，D.：除法算法和Hilbert方案，哈佛大学博士论文，剑桥，（1982）·Zbl 0926.13017号
[2] Bermejo，I.，Gimenez，P.：饱和和卡斯特诺沃-穆福德规律。《代数杂志》303（2），592-617（2006）·Zbl 1105.13010号 ·doi:10.1016/j.jalgebra.2005.05.020
[3] Bertone，C.，Cioffi，F.，Lella，P.，Roggero，M.：在强稳定理想上有效计算标记格式的升级方法。J.塞姆。计算。50, 263-290 (2013) ·Zbl 1314.14008号 ·doi:10.1016/j.jsc.2012.07.006
[4] Bertone，C.，Cioffi，F.，Roggero，M.：涵盖Hilbert方案的平面族仿射框架中的除法算法，可在arXiv:1211.7264[math.AC]上获得，（2013）·Zbl 1305.14028号
[5] Bertone，C.，Lella，P.，Roggero，M.：Hilbert方案的Borel公开封面。J.塞姆。计算。53119-135（2013）·Zbl 1312.14011号 ·doi:10.1016/j.jsc.2013.01.001
[6] Bruns，W.，Herzog，J.：Cohen-Macaulay Rings，《剑桥高等数学研究》，第39卷。剑桥大学出版社，剑桥（1993）·Zbl 0788.13005号
[7] Caviglia，G.，Sbara，E.：Castelnuovo-Mumford正则性的无特征边界。作曲。数学。141(6), 1365-1373 (2005) ·Zbl 1100.13020号 ·doi:10.1112/S0010437X05001600
[8] Ceria，M.，Mora，T.，Roggero，M.：Term-ordering free对合基。J.塞姆。计算。68（第2部分），87-108（2015）·Zbl 1311.13036号 ·doi:10.1016/j.jsc.2014.09.005
[9] Cioffi，F.，Lella，P.，Marinari，M.G.，Roggero，M.：分段和希尔伯特点方案。离散数学。311（20），2238-2252（2011）·兹比尔1243.14007 ·doi:10.1016/j.disc.2011.07.011
[10] Cioffi，F.，Roggero，M.：强稳定理想的平坦族和Gröbner基的推广。J.塞姆。计算。46(9), 1070-1084 (2011) ·Zbl 1231.13024号 ·doi:10.1016/j.jsc.2011.05.009
[11] 艾森巴德：《交换代数与代数几何》，数学研究生教材，第150卷。施普林格，纽约（1995）·Zbl 0819.13001号
[12] 艾森巴德：《Syzygies的几何学》。交换代数和代数几何第二课程，数学研究生教材，第229卷。施普林格，纽约（2005）·Zbl 1066.14001号
[13] Floystad，G.，Roggero，M.：P3 internat中算术Cohen-Macaulay曲线的Borel退化。代数计算J。24(05), 715-739 (2014) ·Zbl 1339.14006号 ·doi:10.1142/S0218196714500301
[14] Gerdt，V.P.，Blinkov，Y.A.：多项式理想的对合基。数学。计算。模拟。45(5-6), 519-541 (1998). 代数和微分方程组的简化及其应用·Zbl 1017.13500号 ·doi:10.1016/S0378-4754（97）00127-4
[15] Green，M.L.：一般初始理想，交换代数六讲（Bellaterra，1996），Progr。数学。，第166卷。Birkhäuser，巴塞尔，1998年，第119-186页·Zbl 1312.14011号
[16] Herzog，J.，Popescu，D.，Vladoiu，M.：关于Borel型理想的外模，交换代数（Grenoble/Lyon，2001）。康斯坦普。数学。331, 171-186 (2003) ·Zbl 1050.13008号 ·doi:10.1090/conm/331/05909
[17] Lella，P.：计算hilbert格式的borel不动点的算法的有效实现，In:符号和代数计算国际研讨会论文集，ISSAC，2012年，第242-248页·Zbl 1323.68611号
[18] Mall，D.：关于Gröbner和Pommaret基地之间的关系。申请。代数工程通讯。计算。9（2），117-123（1998）·Zbl 0926.13017号 ·数字对象标识代码：10.1007/s002000050097
[19] Maplesoft，M.：面向工程师、数学家、科学家、教师和学生的技术计算软件（2012）
[20] Moore，D.，Nagel，U.：强稳定理想的算法。数学。公司。83(289), 2527-2552 (2014) ·Zbl 1305.14028号 ·doi:10.1090/S0025-5718-2014-02784-1
[21] Seiler，W.M.：对合和δ-正则性的组合方法。可解型多项式代数中的对合基。申请。代数工程通讯。计算。20(3-4), 207-259 (2009) ·Zbl 1175.13012号 ·doi:10.1007/s00200-009-0098-0
[22] Seiler，W.M.：对合和\[\delta\]δ-正则性的组合方法。二、。具有Pommaret基的多项式模的结构分析。申请。代数工程通讯。计算。20(3-4), 261-338 (2009) ·Zbl 1175.13011号 ·doi:10.1007/s00200-009-0101-9
[23] Vasconcelos，W.V.：交换代数和代数几何中的计算方法，数学中的算法和计算，附艾森巴德，D.，格雷森，D.R.，赫尔佐格，J.，斯蒂尔曼，M.编的章节，第2卷，斯普林格，柏林，1998·Zbl 1100.13020号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。