Advanced Search

Let $I$ be an ideal of a commutative Noetherian ring $R$. It is shown that the $R$-modules $H_I^j\left(M\right)$ are $I$-cofinite for all finitely generated $R$-modules $M$ and all $j\in {\mathbb{N}}_0$ if and only if the $R$-modules ${\mathrm{Ext}}_R^i(N,H_I^j\left(M\right))$ and ${\mathrm{Tor}}_i^R(N,H_I^j\left(M\right))$ are $I$-cofinite for all finitely generated $R$-modules $M$, $N$ and all integers $i,j\in {\mathbb{N}}_0$.

Let R be a commutative Noetherian ring, I a proper ideal of R, and M be a finitely generated R-module. We provide bounds for the cohomological dimension of the R-module M with respect to the ideal I in several cases.

Let $(R,𝔪)$ be a complete Noetherian local ring, $I$ an ideal of $R$ and $M$ a nonzero Artinian $R$-module. In this paper it is shown that if $𝔭$ is a prime ideal of $R$ such that $dimR/𝔭=1$ and $\left(0{:}_M𝔭\right)$ is not finitely generated and for each $i\ge 2$ the $R$-module ${\mathrm{Ext}}_R^i(M,R/𝔭)$ is of finite length, then the $R$-module ${\mathrm{Ext}}_R^1(M,R/𝔭)$ is not of finite length. Using this result, it is shown that for all finitely generated $R$-modules $N$ with $Supp\left(N\right)\subseteq V\left(I\right)$ and for all integers $i\ge 0$, the $R$-modules ${\mathrm{Ext}}_R^i(N,M)$ are of finite length, if and only if, for all finitely generated $R$-modules $N$ with $Supp\left(N\right)\subseteq V\left(I\right)$ and...

Let R be a Noetherian ring and I an ideal of R. Let M be an I-cofinite and N a finitely generated R-module. It is shown that the R-modules $To{r}_i^R(N,M)$ are I-cofinite for all i ≥ 0 whenever dim Supp(M) ≤ 1 or dim Supp(N) ≤ 2. This immediately implies that if I has dimension one (i.e., dim R/I = 1) then the R-modules $To{r}_i^R(N,H_I^j\left(M\right))$ are I-cofinite for all i,j ≥ 0. Also, we prove that if R is local, then the R-modules $To{r}_i^R(N,M)$ are I-weakly cofinite for all i ≥ 0 whenever dim Supp(M) ≤ 2 or dim Supp(N) ≤ 3. Finally, it is shown that...