×
劳拉·费利西亚·马图塞维奇;Yu，白俄罗斯

半群环中单项式理想的标准对。 （英语） Zbl 1486.13034号

J.纯应用。代数 226，第9期，文章ID 107036，23 p.（2022）.
摘要：我们将标准对的概念扩展到半群环中的单项理想的上下文中。标准对可以用作数据结构来编码这样的单项式理想，提供了一种替代生成集的方法，它非常适合计算交集、分解和重数。我们给出了从生成集计算标准对的算法，反之亦然，并使所有结果都有效。我们假设基础半群环是正分次的，但不一定是正规的。缺乏常态是这项工作中大多数挑战、微妙之处和创新的根源。

引用于1审查
引用于1文件

MSC公司：

13层65 由二项式理想、复曲面环等定义的交换环。
05E40型 交换代数的组合方面
20米25 半群环，环的乘法半群
68瓦30 符号计算和代数计算
13层55 由单项式理想定义的交换环；斯坦利·雷斯纳面环；单纯复形
14米25 双曲面、牛顿多面体、Okounkov体
52B20型 凸几何中的格多面体（包括与交换代数和代数几何的关系）
90 C90 数学规划的应用

软件：

麦考利2;4钛2;二项式.m2;SageMath公司;多面体;标准对
PDF格式BibTeX公司 XML格式引用
\textit{L.F.Matusevich}和\textit{B.Yu}，J.Pure Appl。代数226，第9号，文章编号107036，23 p.（2022；Zbl 1486.13034）
全文： 内政部 arXiv公司

参考文献：

[1] 4ti2团队，4ti2--线性空间上代数、几何和组合问题的软件包。
[2] 埃里克·巴布森；伊莎贝拉·诺维克；Thomas，Rekha，《对称迭代Betti数》，J.Comb。理论，Ser。A、 105,2233-254（2004年），2046082先生·Zbl 1098.13027号
[3] 勒内·伯克纳；卡斯特纳，拉尔斯；（维护作者），多面体：凸多面体计算软件包，1.10版，Macaulay2软件包，网址：
[4] 勒内·伯克纳；卡斯特纳，拉尔斯；（维护作者），《多面体：凸多面体对象计算软件包》，J.Softw。代数几何。，1 (2009) ·兹比尔1311.52001
[5] Bruns、Winfried；Herzog，Jürgen，半群环与单形复形，J.Pure Appl。代数，122，3，185-208（1997），MR1481087·Zbl 0884.13006号
[6] 艾丽西娅·迪肯斯坦；劳拉·费利西亚·马图塞维奇（Laura Felicia Matusevich）；米勒，埃兹拉，二项式初级分解组合数学，数学。Z.、264、4、745-763（2010）、MR2593293·Zbl 1190.13017号
[7] （David Eisenbud；Daniel R.Grayson；Michael Stillman；Bernd Sturmfels，Macaulay代数几何计算2）。用麦考莱2进行代数几何计算，数学中的算法和计算，第8卷（2002年），施普林格-弗拉格：柏林施普林格），MR1949544·Zbl 0973.00017号
[8] 戴维·艾森巴德（David Eisenbud）；Sturmfels，Bernd，二项式理想，杜克数学。J.，84，1，1-45（1996），MR1394747·Zbl 0873.13021号
[9] Eser、Zekiye Sahin；Matusevich，Laura Felicia，《细胞二项式理想的分解》，J.Lond。数学。Soc.（2），94，2，409-426（2016），MR3556446·Zbl 1351.13008号
[10] Daniel R.Grayson，Michael E.Stillman，Macaulay 2，代数几何研究软件系统。
[11] 大卫·赫尔姆；Miller，Ezra，半群环上分次内射分解和局部上同调的算法，J.Symb。计算。，39、3-4、373-395（2005）、MR2168288·Zbl 1120.13014号
[12] 雷蒙德·海梅克；竹村，明治；Yoshida，Ruriko，半群中的计算洞及其在运输问题中的应用，Contrib.离散数学。，4、1、81-91（2009），MR2541989·Zbl 1203.90115号
[13] 塞尔坎，赫什坦；Thomas，Rekha R.，格理想初始理想的相关素数，数学。Res.Lett.公司。，6183-97（1999），MR1682705·Zbl 0991.13002号
[14] 塞尔坎，赫什坦；Thomas，Rekha R.，整数规划中的标准对和群松弛，（代数几何中的有效方法。代数几何中有效方法，圣马洛，1998（1999）），133-157，MR1700541·Zbl 1010.13016号
[15] 塞尔坎，赫什坦；Thomas，Rekha R.，Gomory整数规划，（离散优化中的代数和几何方法（2003）），271-292，MR1993049·Zbl 1082.90068号
[16] 托马斯·卡勒，《二项式理想的分解》，《Ann.Inst.Stat.Math.》。，62,4727-745（2010），MR2652314·Zbl 1440.62394号
[17] Thomas Kahle；Miller，Ezra，交换幺半同余和二项式理想的分解，代数数论，8，6，1297-1364（2014），MR3267140·兹比尔1341.20062
[18] Thomas Kahle；以斯拉·米勒；克里斯托弗·奥尼尔，《二项式理想的不可约分解》，合著。数学。，152、6、1319-1332（2016）、MR3518313·Zbl 1348.13016号
[19] Lenstra，H.W.，变量数固定的整数编程，数学。操作。研究，8，4，538-548（1983），MR727410·Zbl 0524.90067号
[20] Miller，Ezra，Cohen-Macaulay正规半群环商的不可约分解，数学。Res.Lett.公司。，9、1、117-128（2002），MR1892318·Zbl 1044.13005号
[21] 以斯拉·米勒；Sturmfels，Bernd，组合交换代数，数学研究生论文，第227卷（2005），施普林格出版社：施普林格出版社，纽约，MR2110098·Zbl 1066.13001号
[22] 伊格纳西奥州奥杰达·马丁内斯·德·卡斯蒂利亚；Sánchez，Ramón Peidra，细胞二项式理想。二项式理想的初级分解，J.Symb。计算。，30、4、383-400（2000），MR1784749·Zbl 0991.13008号
[23] 埃德温·奥谢；Thomas，Rekha R.，Δ-正规构形的Toric初始理想：Cohen-Macaulay和度界，J.代数梳。，21、3、247-268（2005），MR2142838·兹比尔1082.13017
[24] 斋藤、木须弥；斯图尔姆费尔斯（Sturmfels，Bernd）；Takayama，Nobuki，超几何微分方程的Gröbner变形，数学中的算法和计算，第6卷（2000），Springer-Verlag:Springer-Verlag Berlin，MR1734566·Zbl 0946.13021号
[25] Stanley，Richard P.，《组合数学和交换代数》，《数学进展》，第41卷（1996），Birkhäuser Boston，Inc.：Birkháuser波士顿，Inc.马萨诸塞州波士顿，MR1453579·Zbl 0838.13008号
[26] 斯图尔姆费尔斯（Sturmfels，Bernd）；恩戈维特·特朗；沃格尔，沃尔夫冈，射影方案度的界限，数学。《年鉴》，302，3417-432（1995），MR1339920·Zbl 0828.14040号
[27] Vasconcelos，Wolmer V.，交换代数和代数几何中的计算方法，数学中的算法和计算，第2卷（1998），Springer-Verlag:Springer-Verlag Berlin，附David Eisenbud、Daniel R.Grayson、Jürgen Herzog和Michael Stillman的章节，MR 1484973·Zbl 0896.13021号
[28] Yu，Byongsu，sagemath中非正规仿射半群上的标准单项式理想对，J.Softw。代数几何。（2022），出版中
[29] 保罗·齐默尔曼（Paul Zimmermann）；亚历山大·卡萨马尤；内森·科恩（Nathann Cohen）；纪尧姆·康南；蒂埃里·杜蒙特（Thierry Dumont）；劳伦特·福斯（Laurent Fousse）；弗朗索瓦·马耳他；马提亚斯·穆利恩；马克·梅扎罗巴；佩内特，Clément；Nicolas M.Thiéry。；布雷，埃里克；约翰·克雷莫纳（John Cremona）；马塞洛·福雷茨；亚历山德鲁·吉萨；Thomas，Hugh，《计算数学与SageMath》（2018），工业与应用数学学会（SIAM）：工业和应用数学学会，宾夕法尼亚州费城，MR3909428
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。