Open Access
2009 Some results on local cohomology modules defined by a pair of ideals
Lizhong CHU, Qing WANG
J. Math. Kyoto Univ. 49(1): 193-200 (2009). DOI: 10.1215/kjm/1248983036

Abstract

Let $R$ be a commutative Noetherian ring, and let $I$ and $J$ be two ideals of $R$. Assume that $R$ is local with the maximal ideal ${\mathfrak{m}}$, we mainly prove that (i) there exists an equality \[{\text{inf}}\{i\, \mid H_{I,J}^i(M)\, {\text{ is not Artinian}} \}={\text{inf}}\{ {\text{depth}}M_{\mathfrak{p}} \mid \, {\mathfrak{p}}\in W(I, J)\backslash \{{\mathfrak{m}}\} \}\] for any finitely generated $R-$module $M$, where $W(I, J)=\{{\mathfrak{p}} \in {\text{Spec}}(R) \mid \, I^n \subseteq {\mathfrak{p}}+J\,\, {\text{for some positive integer}} \,n \}$; (ii) for any finitely generated $R-$module $M$ with ${\text{dim}}M=d$, $H_{I,J}^d(M)$ is Artinian. Also, we give a characterization to the supremum of all integers $r$ for which $H_{I,J}^r(M) \neq 0$.

Citation

Download Citation

Lizhong CHU. Qing WANG. "Some results on local cohomology modules defined by a pair of ideals." J. Math. Kyoto Univ. 49 (1) 193 - 200, 2009. https://doi.org/10.1215/kjm/1248983036

Information

Published: 2009
First available in Project Euclid: 30 July 2009

zbMATH: 1174.13024
MathSciNet: MR2531134
Digital Object Identifier: 10.1215/kjm/1248983036

Subjects:
Primary: 13D45

Rights: Copyright © 2009 Kyoto University

Vol.49 • No. 1 • 2009
Back to Top