介准素分解的一些代数方面

Kahle 和 Miller 的近期结果给出了一种构造二项式理想准素分解的方法，即首先构造由其底层幺半群同余决定的“介准素分解”。幺半群同余（进而二项式理想）会呈现许多必须加以仔细考量才能得到一般结果的微妙行为，这使得该理论变得复杂。本文中，我们在正 $A$-分次存在的情况下检验了他们的结果，其中某些病态行为得以避免，理论也变得更易处理。我们的方法是代数的：尽管介准素分解的关键概念最初是从组合角度发展而来的，但这里我们以代数语言陈述定义与结果，且由于我们（略微）受限的设定，这些表述得到了显著简化。对于环面分量（在 $A$-分次下行为良好），在额外假设下我们能够获得进一步的简化。我们还提供了两个开放问题的反例，分别确定了 (i) 一个其包络非二项式的二项式理想，回答了 Eisenbud 和 Sturmfels 的问题；以及 (ii) 一个使得 $I_\text{toral}$ 非二项式的二项式理想 $I$，回答了 Dickenstein、Miller 和第一作者的问题。