FINITENESS PROPERTIES OF LOCAL COHOMOLOGY MODULES AND GENERALIZED REGULAR SEQUENCES

2010 ◽  
Vol 09 (02) ◽  
pp. 315-325
Author(s):  
KAMAL BAHMANPOUR ◽  
SEADAT OLLAH FARAMARZI ◽  
REZA NAGHIPOUR

Let R be a commutative Noetherian ring, 𝔞 an ideal of R, and M an R-module. The purpose of this paper is to show that if M is finitely generated and dim M/𝔞M > 1, then the R-module ∪{N|N is a submodule of [Formula: see text] and dim N ≤ 1} is 𝔞-cominimax and for some x ∈ R is Rx + 𝔞-cofinite, where t ≔ gdepth (𝔞, M). For any nonnegative integer l, it is also shown that if R is semi-local and M is weakly Laskerian, then for any submodule N of [Formula: see text] with dim N ≤ 1 the associated primes of [Formula: see text] are finite, whenever [Formula: see text] for all i < l. Finally, we show that if (R, 𝔪) is local, M is finitely generated, [Formula: see text] for all i < l, and [Formula: see text] then there exists a generalized regular sequence x1, …, xl ∈ 𝔞 on M such that [Formula: see text].

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.


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.


2014 ◽  
Vol 21 (03) ◽  
pp. 517-520 ◽  
Author(s):  
Hero Saremi ◽  
Amir Mafi

Let R be a commutative Noetherian ring, 𝔞 an ideal of R, and M a non-zero finitely generated R-module. Let t be a non-negative integer. In this paper, it is shown that [Formula: see text] for all i < t if and only if there exists an ideal 𝔟 of R such that dim R/𝔟 ≤ 1 and [Formula: see text] for all i < t. Moreover, we prove that [Formula: see text] for all i.


2019 ◽  
Vol 18 (12) ◽  
pp. 1950236
Author(s):  
Takeshi Yoshizawa

Faltings presented the local-global principle for the finiteness dimension of local cohomology modules. This paper deals with the local-global principle for an extension subcategory over a commutative Noetherian ring. We prove that finitely generated modules satisfy the local-global principles for certain extension subcategories. Additionally, we provide a generalization of Faltings’ local-global principle, which also includes the local-global principles for the Artinianness and Minimaxness of local cohomology modules.


2008 ◽  
Vol 15 (02) ◽  
pp. 303-308 ◽  
Author(s):  
Jafar Amjadi ◽  
Reza Naghipour

The study of the cohomological dimension of algebraic varieties has produced some interesting results and problems in local algebra. Let 𝔞 be an ideal of a commutative Noetherian ring R. For finitely generated R-modules M and N, the concept of cohomological dimension cd 𝔞(M, N) of M and N with respect to 𝔞 is introduced. If 0 → N' → N → N'' → 0 is an exact sequence of finitely generated R-modules, then it is shown that cd 𝔞(M, N) = max { cd 𝔞(M, N'), cd 𝔞(M, N'')} whenever proj dim M < ∞. Also, if L is a finitely generated R-module with Supp (N/Γ𝔞(N)) ⊆ Supp (L/Γ𝔞(L)), then it is proved that cd 𝔞(M, N) ≤ max { cd 𝔞(M,L), proj dim M}. Finally, as a consequence, a result of Brodmann is improved.


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.


2019 ◽  
Vol 16 (3) ◽  
pp. 50
Author(s):  
Nguyen Thanh Nam ◽  
Tran Tuan Nam ◽  
Nguyen Minh Tri

This research introduces and focuses on (I, M)-cominimax modules. The paper shows that if t is an nonnegative integer, M is a finitely generated projective R-module and N is an R-module such that  is minimax and  is (I, M)-cominimax for all  then  is minimax and  is finite.


2010 ◽  
Vol 53 (4) ◽  
pp. 667-673 ◽  
Author(s):  
Kazem Khashyarmanesh

AbstractLet R be a commutative Noetherian ring and a a proper ideal of R. We show that if n := gradeRa, then . We also prove that, for a nonnegative integer n such that = 0 for every i ≠ n, if for all i > 0 and z ∈ a, then is a homomorphic image of R, where Rz is the ring of fractions of R with respect to a multiplicatively closed subset ﹛z j | j ⩾ 0﹜ of R. Moreover, if HomR(Rz , R) = 0 for all z ∈ a, then is an isomorphism, where is the canonical ring homomorphism R → .


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


Sign in / Sign up

Export Citation Format

Share Document