Comparison of local cohomlogy modules of a ring and its amalgamated algebra along a given ideal

Author(s):  
Batoul Naal ◽  
Kazem Khashyarmanesh

Let [Formula: see text] be a commutative Noetherian ring and let [Formula: see text] and [Formula: see text] be ideals of [Formula: see text]. The main purpose of this paper is to compare of the finiteness properties of [Formula: see text] and [Formula: see text], where [Formula: see text] is the [Formula: see text]th local cohomology module functor with respect to [Formula: see text] and [Formula: see text] is the amalgamated of [Formula: see text] along [Formula: see text].

2019 ◽  
Vol 18 (01) ◽  
pp. 1950015 ◽  
Author(s):  
K. Divaani-Aazar ◽  
H. Faridian ◽  
M. Tousi

Let [Formula: see text] be a commutative noetherian ring, and [Formula: see text] a stable under specialization subset of [Formula: see text]. We introduce a notion of [Formula: see text]-cofiniteness and study its main properties. In the case [Formula: see text], or [Formula: see text], or [Formula: see text] is semilocal with [Formula: see text], we show that the category of [Formula: see text]-cofinite [Formula: see text]-modules is abelian. Also, in each of these cases, we prove that the local cohomology module [Formula: see text] is [Formula: see text]-cofinite for every homologically left-bounded [Formula: see text]-complex [Formula: see text] whose homology modules are finitely generated and every [Formula: see text].


2018 ◽  
Vol 17 (02) ◽  
pp. 1850020 ◽  
Author(s):  
Moharram Aghapournahr

Let [Formula: see text] be a commutative Noetherian ring, [Formula: see text] and [Formula: see text] be two ideals of [Formula: see text] and [Formula: see text] be an [Formula: see text]-module (not necessary [Formula: see text]-torsion). In this paper among other things, it is shown that if dim [Formula: see text], then the [Formula: see text]-module [Formula: see text] is finitely generated, for all [Formula: see text], if and only if the [Formula: see text]-module [Formula: see text] is finitely generated, for [Formula: see text]. As a consequence, we prove that if [Formula: see text] is finitely generated and [Formula: see text] such that the [Formula: see text]-module [Formula: see text] is [Formula: see text] (or weakly Laskerian) for all [Formula: see text], then [Formula: see text] is [Formula: see text]-cofinite for all [Formula: see text] and for any [Formula: see text] (or minimax) submodule [Formula: see text] of [Formula: see text], the [Formula: see text]-modules [Formula: see text] and [Formula: see text] are finitely generated. Also it is shown that if dim [Formula: see text] (e.g. dim [Formula: see text]) for all [Formula: see text], then the local cohomology module [Formula: see text] is [Formula: see text]-cofinite for all [Formula: see text].


2012 ◽  
Vol 19 (04) ◽  
pp. 693-698
Author(s):  
Kazem Khashyarmanesh ◽  
M. Tamer Koşan ◽  
Serap Şahinkaya

Let R be a commutative Noetherian ring with non-zero identity, 𝔞 an ideal of R and M a finitely generated R-module. We assume that N is a weakly Laskerian R-module and r is a non-negative integer such that the generalized local cohomology module [Formula: see text] is weakly Laskerian for all i < r. Then we prove that [Formula: see text] is also weakly Laskerian and so [Formula: see text] is finite. Moreover, we show that if s is a non-negative integer such that [Formula: see text] is weakly Laskerian for all i, j ≥ 0 with i ≤ s, then [Formula: see text] is weakly Laskerian for all i ≤ s and j ≥ 0. Also, over a Gorenstein local ring R of finite Krull dimension, we study the question when the socle of [Formula: see text] is weakly Laskerian?


2020 ◽  
Vol 30 (1) ◽  
pp. 143-149
Author(s):  
A. Vahidi ◽  

Let R be a commutative Noetherian ring with non-zero identity and let X be an arbitrary R-module. In this paper, we show that if all the cohomology modules of the Cousin complex for X are minimax, then the following hold for any prime ideal p of R and for every integer n less than X, the height of p: (i) the nth Bass number of X with respect to p is finite; (ii) the nth local cohomology module of Xp with respect to pRp is Artinian.


Author(s):  
Hamidreza Karimirad ◽  
Moharram Aghapournahr

Let [Formula: see text] be a commutative Noetherian ring, [Formula: see text] an ideal of [Formula: see text] and [Formula: see text] an [Formula: see text]-module with [Formula: see text]. We get equivalent conditions for top local cohomology module [Formula: see text] to be Artinian and [Formula: see text]-cofinite Artinian separately. In addition, we prove that if [Formula: see text] is a local ring such that [Formula: see text] is minimax, for each [Formula: see text], then [Formula: see text] is minimax [Formula: see text]-module for each [Formula: see text] and for each finitely generated [Formula: see text]-module [Formula: see text] with [Formula: see text] and [Formula: see text]. As a consequence we prove that if [Formula: see text] and [Formula: see text], then [Formula: see text] is [Formula: see text]-cominimax if (and only if) [Formula: see text], [Formula: see text] and [Formula: see text] are minimax. We also prove that if [Formula: see text] and [Formula: see text] such that [Formula: see text] is minimax for all [Formula: see text], then [Formula: see text] is [Formula: see text]-cominimax for all [Formula: see text] if (and only if) [Formula: see text] is minimax for all [Formula: see text].


2007 ◽  
Vol 50 (4) ◽  
pp. 598-602 ◽  
Author(s):  
Keivan Borna Lorestani ◽  
Parviz Sahandi ◽  
Siamak Yassemi

AbstractLet R be a commutative Noetherian ring, α an ideal of R and M a finitely generated R-module. Let t be a non-negative integer. It is known that if the local cohomology module is finitely generated for all i < t, then is finitely generated. In this paper it is shown that if is Artinian for all i < t, then need not be Artinian, but it has a finitely generated submodule N such that /N is Artinian.


2003 ◽  
Vol 75 (3) ◽  
pp. 313-324 ◽  
Author(s):  
J. Asadollahi ◽  
K. Khashyarmanesh ◽  
SH. Salarian

AbstractLetRbe a commutative Noetherian ring with nonzero identity and letMbe a finitely generated R-module. In this paper, we prove that if an idealIofRis generated by a u.s.d-sequence onMthen the local cohomology module(M) isI-cofinite. Furthermore, for any system of ideals Φ of R, we study the cofiniteness problem in the context of general local cohomology modules.


2007 ◽  
Vol 14 (03) ◽  
pp. 497-504 ◽  
Author(s):  
Mohammad T. Dibaei ◽  
Siamak Yassemi

Let R be a commutative Noetherian ring, 𝔞 an ideal of R, and M a finitely generated R-module of finite Krull dimension n. We describe the (finite) sets [Formula: see text] and [Formula: see text] of primes associated and attached to the highest local cohomology module [Formula: see text] in terms of the local formal behaviour of 𝔞.


Author(s):  
Peter Schenzel

Let M M denote a finitely generated module over a Noetherian ring R R . For an ideal I ⊂ R I \subset R there is a study of the endomorphisms of the local cohomology module H I g ( M ) , g = g r a d e ( I , M ) , H^g_I(M), g = grade(I,M), and related results. Another subject is the study of left derived functors of the I I -adic completion Λ i I ( H I g ( M ) ) \Lambda ^I_i(H^g_I(M)) , motivated by a characterization of Gorenstein rings given in [25]. This provides another Cohen-Macaulay criterion. The results are illustrated by several examples. There is also an extension to the case of homomorphisms of two different local cohomology modules.


2007 ◽  
Vol 83 (2) ◽  
pp. 217-226 ◽  
Author(s):  
Kazem Khashyarmaneshs ◽  
Ahmad Abbasi

AbstractLetMandNbe finitely generated and graded modules over a standard positive graded commutative Noetherian ringR, with irrelevant idealR+. Letbe thenth component of the graded generalized local cohomology module. In this paper we study the asymptotic behavior of AssfR+() as n → –∞ wheneverkis the least integerjfor which the ordinary local cohomology moduleis not finitely generated.


Sign in / Sign up

Export Citation Format

Share Document