形式局部上同调模的伴随素理想

设 $\mathfrak{a}$ 为交换Noether环 $R$ 的一个理想，$M$ 为有限生成 $R$-模。本文证明了若对所有 $i<t$ 有 $\operatorname{Supp}\mathfrak{F}_\mathfrak{a}^i(M)$ 有限，则 $\operatorname{Ass}(\mathfrak{F}_{\mathfrak{a}}^t(M))$ 亦有限。