Let be a local ring and a finitely generated -module. It is shown that if is relative Cohen-Macaulay with respect to an ideal of , then $R(H{\mathfrak{a}}^{(\mathfrak{a}, M)}(M))=_RM/L=_RM_R(R/_RM)\subseteq {\mathfrak{p} \in R M|,{\rm cd}(\mathfrak{a}, R/\mathfrak{p})=(\mathfrak{a}, M)},LM{\rm cd}(\mathfrak{a}, L)< {\rm cd}(\mathfrak{a}, M)H^{\dim M}{\mathfrak{a}}(M)=0$, then $R(H^{\dim M-1}{\mathfrak{a}}(M))= {\mathfrak{p} \in (M)|,{\rm cd}(\mathfrak{a}, R/\mathfrak{p})=\dim M-1},$ and so the attached primes of depends only on . Finally, we prove that if is an arbitrary module (not necessarily finitely generated) over a Noetherian ring with ${\rm cd}(\mathfrak{a}, M)={\rm cd}(\mathfrak{a}, R/_RM)R(H^{{\rm cd}(\mathfrak{a}, M)}{\mathfrak{a}}(M))\subseteq{\mathfrak{p} \in V(_RM)|,{\rm cd}(\mathfrak{a}, R/\mathfrak{p})={\rm cd}(\mathfrak{a}, M)}.\dim M=\dim RR(H^{\dim M}{\mathfrak{a}}(M))\subseteq{\mathfrak{p} \in _R M|,{\rm cd}(\mathfrak{a}, R/\mathfrak{p})=\dim M}.$

生成讲解博客的中文版本

生成AI智能校验的中文版本