中文

关于 $\operatorname{Ext}$-有限模、拟内射维数与模的宽度

交换代数 2025-11-19 v2

摘要

(R,m,k)(R,\mathfrak{m},k) 为一个交换 Noether 局部环。众所周知,如果 MM 是一个具有有限拟内射维数的有限生成 RR-模,则 qidRM=depthR\operatorname{qid}_RM = \operatorname{depth} R。在本文中,我们证明了在 MMExt\operatorname{Ext}-有限且具有有限拟内射维数这一较弱条件下,等式 qidRM=0\operatorname{qid}_R M =0 成立当且仅当 ExtRi>0(R/(x),M)=0\operatorname{Ext}_R^{i>0}(R/(\boldsymbol{x}),M)=0,其中 xm\boldsymbol{x} \in \mathfrak{m} 是一个极大 RR-序列;并且如果 qidRM0\operatorname{qid}_R M \neq 0,我们证明了此时 qidRM=sup{i:ExtRi(R/(x),M)0}\operatorname{qid}_R M = \sup \lbrace i : \operatorname{Ext}_R^i(R/(\boldsymbol{x}),M) \neq 0 \rbrace。此外,我们还证明了如果 RR 是一个 Cohen-Macaulay 局部环且 MM 是一个具有有限拟内射维数的 Ext\operatorname{Ext}-有限 RR-模,则在 inf{i:ToriR(k,M)0}<\inf \lbrace i : \operatorname{Tor}_i^R(k,M) \neq 0 \rbrace< \infty 的条件下,有 depthR=qidRM+inf{i:ToriR(k,M)0}\operatorname{depth} R = \operatorname{qid}_R M + \inf \lbrace i : \operatorname{Tor}_i^R(k,M) \neq 0 \rbrace

关键词

引用

@article{arxiv.2503.18582,
  title  = {On $\operatorname{Ext}$-finite modules, quasi-injective dimension and width of modules},
  author = {Victor H. Jorge-Pérez and Paulo Martins},
  journal= {arXiv preprint arXiv:2503.18582},
  year   = {2025}
}

备注

Minor changes. Accepted for publication in Communications in Algebra