加载中…
In the derived category of the category of modules over a commutative Noetherian ring , we define, for an ideal of , two different types of cohomological dimensions of a complex in a certain subcategory of the derived category, namely $\cd(\fa, X)=\sup{\cd(\fa, \H_{\ell}(X))-\ell|\ell\in\Bbb Z}-\inf{\mathbf R}\G_{\fa}(X)\cd(\fa, M)=\sup{\ell\in\Bbb Z|\H^{\ell}{\fa}(M)\neq 0}RMX-\inf {\mathbf R}\G{\fa}(X)\le\cd(\fa, X)$ and equality holds if indeed is finitely generated.

生成讲解博客的中文版本

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