关于局部上同调模的内射分解

设 $K$ 为零特征域，令 $R = K[X_1,\ldots,X_n]$。设 $I$ 为 $R$ 中的理想，令 $M = H^i_I(R)$ 为 $R$ 关于 $I$ 的第 $i$ 个局部上同调模。设 $c = \ injdim \ M$。我们证明：若 $P$ 是 $R$ 中的素理想且其 Bass 数 $\mu_c(P,M) > 0$，则 $P$ 是 $R$ 中的极大理想。