scholarly journals COFINITENESS AND FINITENESS OF GENERALIZED LOCAL COHOMOLOGY MODULES

2009 ◽  
Vol 80 (2) ◽  
pp. 244-250 ◽  
Author(s):  
LIZHONG CHU

AbstractLet I be an ideal of a commutative Noetherian local ring R, and M and N two finitely generated modules. Let t be a positive integer. We mainly prove that (i) if HIi(M,N) is Artinian for all i<t, then HIi(M,N) is I-cofinite for all i<t and Hom(R/I,HIt(M,N)) is finitely generated; (ii) if d=pd(M)<∞ and dim N=n<∞, then HId+n(M,N) is I-cofinite. We also prove that if M is a nonzero cyclic R-module, then HIi(N) is finitely generated for all i<t if and only if HIi(M,N) is finitely generated for all i<t.

2019 ◽  
Vol 18 (12) ◽  
pp. 1950238
Author(s):  
Yavar Irani ◽  
Kamal Bahmanpour ◽  
Ghader Ghasemi

Let [Formula: see text] be a Noetherian local ring and [Formula: see text], [Formula: see text] be two finitely generated [Formula: see text]-modules. In this paper, it is shown that [Formula: see text] and [Formula: see text] for each [Formula: see text] and each integer [Formula: see text]. In particular, if [Formula: see text] then [Formula: see text]. Moreover, some applications of these results will be included.


2008 ◽  
Vol 15 (03) ◽  
pp. 457-462 ◽  
Author(s):  
A. Mafi ◽  
H. Saremi

Let R be a commutative Noetherian local ring, 𝔞 an ideal of R, and M a finitely generated generalized f-module. Let t be a positive integer such that [Formula: see text] and t > dim M - dim M/𝔞M. In this paper, we prove that there exists an ideal 𝔟 ⊇ 𝔞 such that (1) dim M - dim M/𝔟M = t; and (2) the natural homomorphism [Formula: see text] is an isomorphism for all i > t and it is surjective for i = t. Also, we show that if [Formula: see text] is a finite set for all i < t, then there exists an ideal 𝔟 of R such that dim R/𝔟 ≤ 1 and [Formula: see text] for all i < t.


2009 ◽  
Vol 79 (1) ◽  
pp. 59-67 ◽  
Author(s):  
YAN GU ◽  
LIZHONG CHU

AbstractLet (R,𝔪) be a commutative Noetherian local ring, letIbe an ideal ofRand letMandNbe finitely generatedR-modules. Assume that$\mathrm {pd} (M)=d\lt \infty $,$\dim N=n\lt \infty $. First, we give the formula for the attached primes of the top generalized local cohomology moduleHId+n(M,N); later, we prove that if Att(HId+n(M,N))=Att(HJd+n(M,N)), thenHId+n(M,N)=HJd+n(M,N).


2018 ◽  
Vol 11 (02) ◽  
pp. 1850019
Author(s):  
M. Lotfi Parsa

Let [Formula: see text] be a Noetherian local ring, [Formula: see text] and [Formula: see text] are ideals of [Formula: see text], and [Formula: see text] and [Formula: see text] are [Formula: see text]-modules. We study the relationship between the Bass numbers of [Formula: see text] and [Formula: see text]. As a consequence, it follows that if one of the following holds: (a) [Formula: see text] is a principal ideal of [Formula: see text], (b) [Formula: see text], (c) [Formula: see text] (when [Formula: see text] is local and [Formula: see text] is finitely generated), (d) [Formula: see text] (when [Formula: see text] is local), (e) [Formula: see text] (when [Formula: see text] is local), then [Formula: see text] is finite for all [Formula: see text] and [Formula: see text], whenever [Formula: see text] is finitely generated and flat, [Formula: see text] is minimax, and [Formula: see text].


2015 ◽  
Vol 15 (01) ◽  
pp. 1650019 ◽  
Author(s):  
Tsutomu Nakamura

Let R be a commutative Noetherian ring, 𝔞 an ideal of R and M, N two finitely generated R-modules. Let t be a positive integer or ∞. We denote by Ωt the set of ideals 𝔠 such that [Formula: see text] for all i < t. First, we show that there exists the ideal 𝔟t which is the largest in Ωt and [Formula: see text]. Next, we prove that if 𝔡 is an ideal such that 𝔞 ⊆ 𝔡 ⊆ 𝔟t, then [Formula: see text] for all i < t.


2016 ◽  
Vol 15 (04) ◽  
pp. 1650070 ◽  
Author(s):  
Ghader Ghasemi ◽  
Kamal Bahmanpour ◽  
Jafar A’zami

Let [Formula: see text] be a commutative Noetherian local ring, which is a homomorphic image of a Gorenstein local ring and [Formula: see text] an ideal of [Formula: see text]. Let [Formula: see text] be a nonzero finitely generated [Formula: see text]-module and [Formula: see text] be an integer. In this paper we show that, the [Formula: see text]-module [Formula: see text] is nonzero and [Formula: see text]-cofinite if and only if [Formula: see text]. Also, several applications of this result will be included.


2015 ◽  
Vol 22 (spec01) ◽  
pp. 935-946 ◽  
Author(s):  
Majid Rahro Zargar ◽  
Hossein Zakeri

Let (R, 𝔪) be a commutative Noetherian local ring and M an R-module which is relative Cohen-Macaulay with respect to a proper ideal 𝔞 of R, and set n := ht M𝔞. We prove that injdim M < ∞ if and only if [Formula: see text] and that [Formula: see text]. We also prove that if R has a dualizing complex and Gid RM < ∞, then [Formula: see text]. Moreover if R and M are Cohen-Macaulay, then Gid RM < ∞ whenever [Formula: see text]. Next, for a finitely generated R-module M of dimension d, it is proved that if [Formula: see text] is Cohen-Macaulay and [Formula: see text], then [Formula: see text]. The above results have consequences which improve some known results and provide characterizations of Gorenstein rings.


2014 ◽  
Vol 21 (04) ◽  
pp. 605-614 ◽  
Author(s):  
Kamal Bahmanpour ◽  
Reza Naghipour ◽  
Monireh Sedghi

Let M be a non-zero finitely generated module over a commutative Noetherian local ring (R, 𝔪). In this paper we consider when the local cohomology modules are finitely generated. It is shown that if t ≥ 0 is an integer and [Formula: see text], then [Formula: see text] is not 𝔭-cofinite. Then we obtain a partial answer to a question raised by Huneke. Namely, if R is a complete local ring, then [Formula: see text] is finitely generated if and only if 0 ≤ n ∉ W, where [Formula: see text]. Also, we show that if J ⊆ I are 1-dimensional ideals of R, then [Formula: see text] is J-cominimax, and [Formula: see text] is finitely generated (resp., minimax) if and only if [Formula: see text] is finitely generated for all [Formula: see text] (resp., [Formula: see text]). Moreover, the concept of the J-cofiniteness dimension [Formula: see text] of M relative to I is introduced, and we explore an interrelation between [Formula: see text] and the filter depth of M in I. Finally, we show that if R is complete and dim M/IM ≠ 0, then [Formula: see text].


2009 ◽  
Vol 16 (01) ◽  
pp. 65-70
Author(s):  
Naser Zamani

Let (R, 𝔪) be a local ring, 𝔞 an ideal of R, and M, N be two finitely generated R-modules. We show that r = gdepth (M/𝔞M, N) is the least integer such that [Formula: see text] has infinite support. Also, we prove that the first non-Artinian generalized local cohomology module has finitely many associated primes.


2005 ◽  
Vol 12 (02) ◽  
pp. 213-218 ◽  
Author(s):  
K. Divaani-Aazar ◽  
R. Sazeedeh ◽  
M. Tousi

Let [Formula: see text] denote an ideal of a d-dimensional Gorenstein local ring R, and M and N two finitely generated R-modules with pd M < ∞. It is shown that [Formula: see text] if and only if [Formula: see text] for all [Formula: see text].


Sign in / Sign up

Export Citation Format

Share Document