环面理想的花束代数

对于任何由整数矩阵 $A$ 编码的环面理想 $I_A$，我们关联一个称为 $A$ 的 {\em 花束图} 的拟阵结构，并引入另一个称为 $A$ 的 {\em 花束理想} 的环面理想。我们展示了这些对象如何捕获关于 $I_A$ 的基本组合和代数信息。从环面理想过渡到其花束理想揭示了一种结构，使我们能够对几种情况进行分类。例如，在谱的一端，有我们称之为 {\em 稳定} 的理想，对于这些理想，花束捕获了各种生成集以及最小自由消解的复杂性。在谱的另一端，是那些各种基（例如，最小生成集、Gr"obner 基、Graver 基）都重合的环面理想。除了允许进行分类类型的结果外，花束还提供了一种新的方法来构造具有各种有趣性质（如稳健性、泛性和幺模性）的环面理想示例族。这个新的花束框架可用于刻画那些 Graver 基、通用 Gr"obner 基、任何约化 Gr"obner 基和任何最小生成集都重合的环面理想。