scholarly journals On Injective and Gorenstein Injective Dimensions of Local Cohomology Modules

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.

2016 ◽  
Vol 59 (2) ◽  
pp. 403-416 ◽  
Author(s):  
Majid Rahro Zargar ◽  
Hossein Zakeri

AbstractLet a be an ideal of a Noetherian local ring R and let C be a semidualizing R-module. For an R-module X, we denote any of the quantities fdR X, GfdR X and GC-fdR X by T(X). Let M be an R-module such that for all i ≠ n. It is proved that if T(M) < ∞, then , and the equality holds whenever M is finitely generated. With the aid of these results, among other things, we characterize Cohen–Macaulay modules, dualizing modules, and Gorenstein rings.


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.


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.


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.


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 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).


2007 ◽  
Vol 14 (02) ◽  
pp. 209-214 ◽  
Author(s):  
Mohammad T. Dibaei ◽  
Siamak Yassemi

For a finitely generated module M over a commutative Noetherian local ring (R,𝔪), it is shown that there exist only a finite number of non-isomorphic top local cohomology modules [Formula: see text] for all ideals 𝔞 of R. It is also shown that for a given integer r ≥ 0, if [Formula: see text] is zero for all 𝔭 in Supp (M), then [Formula: see text] for all i ≥ r.


2021 ◽  
Vol 73 (2) ◽  
pp. 268-274
Author(s):  
J. Azami ◽  
M. Hasanzad

UDC 512.5 Let be a complete Noetherian local ring and let be a generalized Cohen-Macaulay -module of dimension We show thatwhere and is the ideal transform functor. Also, assuming that is a proper ideal of a local ring , we obtain some results on the finiteness of Bass numbers, cofinitness, and cominimaxness of local cohomology modules with respect to


1981 ◽  
Vol 24 (1) ◽  
pp. 9-14 ◽  
Author(s):  
R. Y. Sharp

The study of the cohomological dimensions of algebraic varieties has produced some interesting results and problems in local algebra: the general local problem is that posed by Hartshorne and Speiser in (4, p. 57). We consider a (commutative, Noetherian) local ring A (with identity), a proper ideal a of A, and ask the following question.


1991 ◽  
Vol 110 (3) ◽  
pp. 421-429 ◽  
Author(s):  
Craig Huneke ◽  
Jee Koh

Let R be a noetherian local ring with maximal ideal m and residue field k. If M is a finitely generated R-module then the local cohomology modules are known to be Artinian. Grothendieck [3], exposé 13, 1·2 made the following conjecture:If I is an ideal of R and M is a finitely generated R-module, then HomR (R/I, ) is finitely generated.


Sign in / Sign up

Export Citation Format

Share Document