形式模的 Cohen-Macaulay 性判别准则

设 $\mathfrak{q}$ 为 Noether 局部环 $(A,\mathfrak{m})$ 的理想，$M$ 为非零有限生成 $A$-模。我们基于 \cite{KSch} 中引入的局部上同调的一种变体之（不）消失性，给出形式模 $G_M(\mathfrak{q})$ 的 Cohen-Macaulay 性判别准则。