arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 2201.04251math.AC
收藏

模上有限性的一个判别准则

A criterion for cofiniteness of modules

Mohammad Khazaei, Reza Sazeedeh

摘要:

设$A$是交换Noether环,$\frak a$是$A$的理想,$m,n$是非负整数,$M$是一个$A$ -模,使得对所有$i\leq m+n$都可生成$\Ext^i_A(A/\frak a,M)$.我们定义了一个模块类$\cS_n(\frak a)$,我们假设$H_{\frak a}^s(M)\in\cS_{n}(\frak a)$对所有的$s\leq m$。我们表明,$H_{\frak a}^s(M)$是$\frak a$ -余有限的所有$s\leq m$,如果$n=1$或$n\geq 2$和$\Ext_A^{i}(A/\frak a,H_{\frak a}^{t+s-i}(M))$是连续生成的所有$1\leq t\leq n-1$,$i\leq t-1$和$s\leq m$。如果$A$是一个环的维数为$d$和$M\in\cS_n(\frak a)$对于任何理想$\frak a$的维数为$\leq d-1$,那么我们证明了$M\in\cS_n(\frak a)$对于任何理想$\frak a$的$A$。

英文摘要:

Let $A$ be a commutative noetherian ring, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak a)$ of modules and we assume that $H_{\frak a}^s(M)\in\cS_{n}(\frak a)$ for all $s\leq m$. We show that $H_{\frak a}^s(M)$ is $\frak a$-cofinite for all $s\leq m$ if either $n=1$ or $n\geq 2$ and $\Ext_A^{i}(A/\frak a,H_{\frak a}^{t+s-i}(M))$ is finitely generated for all $1\leq t\leq n-1$, $i\leq t-1$ and $s\leq m$. If $A$ is a ring of dimension $d$ and $M\in\cS_n(\frak a)$ for any ideal $\frak a$ of dimension $\leq d-1$, then we prove that $M\in\cS_n(\frak a)$ for any ideal $\frak a$ of $A$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑