关于格理想的广义Scarf复形

设 $k$ 是一个域，$\mathcal{L}\subset \mathbb{Z}^n$ 是一个满足 $\L\cap \mathbb{N}^n=\{{\bf 0}\}$ 的格，且 $I_\L\subset \Bbbk[x_1,..., x_n]$ 是相应的格理想。我们给出了 $I_\L$ 的广义 Scarf 复形，并证明了它在如下意义上是不可或缺的：它包含在 $R/I_\L$ 的每一个极小自由消解中。