1. Trang chủ
  2. » Luận Văn - Báo Cáo

Cofiniteness of extension functors of cofinite modules ✩

10 293 0

Đang tải... (xem toàn văn)

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 10
Dung lượng 159,17 KB

Nội dung

Journal of Algebra 330 (2011) 507–516 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra Cofiniteness of extension functors of cofinite modules ✩ Rasoul Abazari ∗ , Kamal Bahmanpour Department of Mathematics, Islamic Azad University, Ardabil Branch, P.O Box 5614633167, Ardabil, Iran a r t i c l e i n f o Article history: Received February 2010 Available online 23 December 2010 Communicated by Steven Dale Cutkosky MSC: 13D45 14B15 13E05 Keywords: Arithmetic rank Associated primes Cofinite modules Krull dimension Local cohomology Minimax modules Weakly cofinite modules Weakly Laskerian modules a b s t r a c t Let R be a commutative Noetherian ring, I an ideal of R and let M and N be non-zero R-modules It is shown that the R-modules 0, whenever M is I-cofinite ExtiR ( N , M ) are I-cofinite, for all i and N is finitely generated of dimension d Also, we prove that the R-modules ExtiR ( N , M ) are I-cofinite, for all i 0, whenever N This is finitely generated and M is I-cofinite of dimension d immediately implies that if I has dimension one (i.e., dim R / I = 1) then ExtiR ( N , H iI ( M )) is I-cofinite for all i 0, and all finitely generated R-modules M and N Also, we prove that if R is local 0, then the R-modules ExtiR ( N , M ) are I-weakly cofinite, for all i whenever M is I-cofinite and N is finitely generated of dimension Finally, it is shown that the R-modules ExtiR ( N , M ) are d 0, whenever R is local, N is finitely I-weakly cofinite, for all i generated and M is I-cofinite of dimension d Published by Elsevier Inc Introduction Throughout this paper, let R denote a commutative Noetherian ring (with identity) and I an ideal of R For an R-module M, the ith local cohomology module of M with respect to I is defined as H iI ( M ) = lim ExtiR R / I n , M −→ n ✩ This research of the authors has been supported by a grant from Islamic Azad University, Ardabil Branch Corresponding author E-mail addresses: rasoolabazari@gmail.com (R Abazari), bahmanpour30@yahoo.com, bahmanpour.k@gmail.com (K Bahmanpour) * 0021-8693/$ – see front matter Published by Elsevier Inc doi:10.1016/j.jalgebra.2010.11.016 508 R Abazari, K Bahmanpour / Journal of Algebra 330 (2011) 507–516 We refer the reader to [9] or [2] for more details about local cohomology In [10] Grothendieck has conjectured that for any ideal I of R and any finitely generated R-module M, the module Hom R ( R / I , H iI ( M )) is finitely generated, for all i One year later, Hartshorne [11] provided a counterexample to Grothendieck’s conjecture He defined an R-module M to be I -cofinite if Supp M ⊆ V ( I ) j and Ext R ( R / I , M ) is finitely generated for all j and asked: For which rings R and ideals I are the modules H iI ( M ) I -cofinite for all i and all finitely generated modules M? Concerning this question, Hartshorne in [11] and later Chiriacescu in [3] showed that if R is a complete regular local ring and I is a prime ideal such that dim R / I = 1, then H iI ( M ) is I -cofinite for any finitely generated R-module M (see [11, Corollary 7.7]) Huneke and Koh [12, Theorem 4.1] proved that if R is a complete Gorenstein local domain and I is an ideal of R such that dim R / I = 1, j then Ext R ( N , H iI ( M )) is finitely generated for any finitely generated R-modules M , N such that Supp N ⊆ V ( I ) and for all i , j Furthermore, using [12, Theorem 4.1], Delfino [4] proved that if R is a complete local domain under some mild conditions then the similar results hold Also, Delfino and Marley [5, Theorem 1] and Yoshida [20, Theorem 1.1] have eliminated the complete hypothesis entirely Recently, in slightly different line of research, the second author of the present paper and Naghipour have removed the local assumption on R On the other hand, it has been shown by Huneke and Koh [12, Lemmata 4.3 and 4.7], that the R-module Ext1R (C , H iI ( M )), for finitely generated R-modules C and M, under some extra assumption, is I -cofinite, whenever dim( R / I ) 1, and R is local One attempt of the present paper is in this direction More precisely, we prove the following result: Theorem 1.1 Let I be an ideal of R and M be a non-zero I -cofinite R-module, such that dim Supp( M ) Then for each non-zero finitely generated R-module N, the R-modules ExtiR ( N , M ) are I -cofinite, for all i As an application, we derive the following consequence of Theorem 1.1, that is a generalization of the results of Huneke and Koh [12, Lemmata 4.3 and 4.7] Corollary 1.2 Let I be an ideal of R and M a finitely generated R-module such that dim M / I M (e.g., j dim R / I 1) Then for each finitely generated R-module N, the R-modules ExtiR ( N , H I ( M )) are I -cofinite for all i and all j Another aim of the present paper is to prove the following result Theorem 1.3 Let I be an ideal of R and M be a non-zero I -cofinite R-module Let N be a finitely generated R-module such that dim N Then the R-modules ExtiR ( N , M ) are I -cofinite, for all i Divaani-Aazar and Mafi introduced the weakly Laskerian modules in [6] and [7] According to the definition, an R-module M is said to be weakly Laskerian if the set of associated primes of any quotient module of M is finite Also in the same papers they introduced the concept of weakly cofinite module According to the definition, if I be an ideal of R, then an R-module T is said to be I -weakly cofinite if Supp( T ) ⊆ V ( I ) and ExtiR ( R / I , T ) is weakly Laskerian, for all i Finally, as consequences of Corollary 1.2 and Theorem 1.3, we prove the following results Corollary 1.4 Let ( R , m) be local, I an ideal of R, and M a finitely generated R-module, such that dim M / I M (e.g., dim R / I 2) Then for each finitely generated R-module N, the R-modules j ExtiR ( N , H I ( M )) are I -weakly cofinite, for all i and all j Theorem 1.5 Let ( R , m) be local, I an ideal of R and M an I -cofinite R-module Let N be a finitely generated R-module such that dim N = Then the R-modules ExtiR ( N , M ) are I -weakly cofinite, for all i R Abazari, K Bahmanpour / Journal of Algebra 330 (2011) 507–516 509 Theorem 1.6 Let ( R , m) be local, I an ideal of R and M be a non-zero I -cofinite R-module, such that dim Supp( M ) Then for each non-zero finitely generated R-module N, the R-modules ExtiR ( N , M ) are I -weakly cofinite, for all i Throughout this paper, R will always be a commutative Noetherian ring with non-zero identity and I will be an ideal of R For an Artinian R-module A we denote by Att R A the set of attached prime ideals of A For each R-module L, we denote by Assh R L, the set {p ∈ Ass R L: dim R /p = dim L } We shall use Max R to denote the set of all maximal ideals of R Also, for any ideal a of R, we denote {p ∈ Spec R: p ⊇ a} by V (a) Finally, for any ideal b of R, the radical of b, denoted by Rad(b), is defined to be the set {x ∈ R: xn ∈ b for some n ∈ N} For any unexplained notation and terminology we refer the reader to [2] and [16] In [22] H Zöschinger, introduced the interesting class of minimax modules, and he has given in [22,23] many equivalent conditions for a module to be minimax The R-module N is said to be a minimax module, if there is a finitely generated submodule L of N, such that N / L is Artinian The class of minimax modules thus includes all finitely generated and all Artinian modules It was shown by T Zink [21] and by E Enochs [8] that a module over a complete local ring is minimax if and only if it is Matlis reflexive Cofiniteness of extension modules The following lemmas will be quite useful in this paper Lemma 2.1 Let R be a Noetherian ring and I an ideal of R Then, for any R-module T , the following conditions are equivalent: (i) ExtnR ( R / I , T ) is finitely generated for all n 0, (ii) for any finitely generated R-module N with support in V ( I ), ExtnR ( N , T ) is finitely generated for all n Proof See [13, Lemma 1] ✷ Lemma 2.2 Let I be an ideal of R and M be a non-zero I -cofinite R-module Then for each non-zero R-module N of finite length, the R-modules ExtiR ( N , M ) are of finite length, for all i Proof Since N is a non-zero R-module of finite length, it follows from the definition that, the set Supp( N ) is a finite non-empty subset of Max( R ) Now, let Supp( N ) := {m1 , , mn } and J := m1 m2 mn As, Supp( N ) = V ( J ), by Lemma 2.1, it is enough to show that the R-modules n ExtiR ( R / J , M ) are of finite length, for all i But, since R / J ∼ = j =1 R /mi , we may assume n = 1, and hence J = m1 Finally, let i be an integer such that ExtiR ( R /m1 , M ) = Then it is easy to see that m1 ∈ Supp( M ) ⊆ V ( I ) Therefore, in view of Lemma 2.1, the R-module ExtiR ( R /m1 , M ) is finitely generated of zero dimension, and hence is of finite length This completes the proof ✷ The next result is of assistance in the proof of the first main theorem in this paper Theorem 2.3 Let M and I be as in Lemma 2.2 Let N be a finitely generated R-module such that dim N = Then the R-modules ExtiR ( N , M ) are I -cofinite and minimax, for all i Proof If T := Γ I ( N ), then as Supp( T ) ⊆ V ( I ), it follows from Lemma 2.1, that the R-module ExtiR ( T , M ) is finitely generated, for all i But, the exact sequence −→ T −→ N −→ N / T −→ induces the following exact sequence 510 R Abazari, K Bahmanpour / Journal of Algebra 330 (2011) 507–516 −→ Hom R ( N / T , M ) −→ Hom R ( N , M ) −→ Hom R ( T , M ) −→ Ext1R ( N / T , M ) −→ Ext1R ( N , M ) −→ Ext1R ( T , M ) −→ Ext2R ( N / T , M ) −→ · · · Consequently, using Lemmas 2.1 and 2.2, without loss of generality, we may assume Γ I ( N ) = and dim N = Then, by [2, Lemma 2.1.1], I p∈Ass R N p Therefore, there exists an element x ∈ I such / p∈Ass R N p Now, the exact sequence that x ∈ x −→ N −→ N −→ N /xN −→ induces an exact sequence j j x j Ext R ( N /xN , M ) −→ Ext R ( N , M ) −→ Ext R ( N , M ), for all j Consequently, for all j 0, we have the following exact sequence j Ext R ( N /xN , M ) −→ (0 :Ext j ( N , M ) x) −→ R Since the R-module N /xN is of finite length, it follows from the above exact sequence and Lemma 2.2, that the R-module (0 :Ext j ( N , M ) x) is of finite length, for all j Therefore the R-module R j (0 :Ext j (N , M ) I ) also is of finite length, for all j (note that x ∈ I ) But, as Supp(Ext R ( N , M )) ⊆ R j Supp( M ) ⊆ V ( I ), it follows that the R-module Ext R ( N , M ) is I -torsion Now it follows from Melkersson’s theorem [17, Theorem 1.3] that j Ext R ( N , M ) is Artinian and hence is minimax Now it follows j from [19, Proposition 4.3], that the R-module Ext R ( N , M ) also is I -cofinite, for all j quired ✷ 0, as re- We are now ready to state and prove the first main theorem of this paper Theorem 2.4 Let M and I be as in Lemma 2.2 Let N be a finitely generated R-module such that dim N = Then the R-modules ExtiR ( N , M ) are I -cofinite, for all i Proof As in the proof of Theorem 2.2, we may assume Γ I ( N ) = and dim( N ) = Then, by / p∈Ass R N p [2, Lemma 2.1.1], I p∈Ass R N p Therefore, there exists an element x ∈ I such that x ∈ Now, the exact sequence x −→ N −→ N −→ N /xN −→ induces an exact sequence j j j +1 j x Ext R ( N /xN , M ) −→ Ext R ( N , M ) −→ Ext R ( N , M ) −→ Ext R ( N /xN , M ), for all j Consequently, using Theorem 2.3, Lemma 2.2 and [19, Corollary 4.4], it follows that, the R-modules (0 :Ext j ( N , M ) x) and R j j Ext R ( N , M )/x Ext R ( N , M ) j are I -cofinite, for all j Therefore it follows from [19, Corollary 3.4] that Ext R ( N , M ) is I -cofinite for all j This completes the proof ✷ R Abazari, K Bahmanpour / Journal of Algebra 330 (2011) 507–516 511 Before bringing the next result, recall that an R-module M is said to be weakly Laskerian if the set of associated primes of any quotient module of M is finite Also if I is an ideal of R, then an R-module T is said to be I -weakly cofinite if Supp( T ) ⊆ V ( I ) and ExtiR ( R / I , T ) is weakly Laskerian, for all i (see [6] and [7]) Theorem 2.5 Let ( R , m) be local, I an ideal of R and M an I -cofinite R-module Let N be a finitely generated R-module such that dim N = Then the R-modules ExtiR ( N , M ) are I -weakly cofinite, for all i j Proof Let Φ denote the set of all modules Ext R ( R / I , ExtiR ( N , M )) where i = 0, 1, 2, and j = 0, 1, 2, Let L ∈ Φ and let L be a submodule of L In view of the definition, it is enough to show that Ass R L / L is finite To this end, according to [16, Ex 7.7] and [14, Lemma 2.1] without loss of generality, we may assume that R is complete Now, suppose the contrary is true Then there exists a countably infinite subset {pk }k∞=1 of Ass R L / L , such that none of which is not equal ∞ ∞ to m Then, by [15, Lemma 3.2], m k=1 pk Let S be the multiplicatively closed subset R \ k=1 pk − Since S N has dimension at most 2, it follows from Lemma 2.2, Theorem 2.3 and Theorem 2.4 that S −1 L / S −1 L is a finitely generated S −1 R-module, and so Ass S −1 R S −1 L / S −1 L is a finite set But S −1 pk ∈ Ass S −1 R S −1 L / S −1 L for all k = 1, 2, , which is a contradiction ✷ The following lemma will be useful in the proof of the second main theorem of this paper Lemma 2.6 Let I be an ideal of R and let A be an Artinian I -cofinite R-module Then for each finitely generated R-module N, the R-modules ExtiR ( N , A ) are Artinian and I -cofinite, for all i Proof Since N is finitely generated, there is a free resolution · · · −→ F −→ F −→ F −→ N −→ for N, such that the free R-modules F i are finitely generated, for all i Therefore the assertion easily follows from the definition of the R-modules ExtiR ( N , A ), i = 0, 1, 2, , and [19, Corollary 4.4] ✷ Before bringing the second main result of this paper, recall that, for any proper ideal I of R, the arithmetic rank of I , denoted by ara( I ), is the least number of elements of I required to generate an ideal which has the same radical as I , i.e., ara( I ) := n ∈ N0 : ∃x1 , , xn ∈ I with Rad((x1 , , xn )) = Rad( I ) Theorem 2.7 Let I be an ideal of R and M be a non-zero I -cofinite R-module, such that dim Supp( M ) Then for each non-zero finitely generated R-module N, the R-modules ExtiR ( N , M ) are I -cofinite, for all i Proof We use induction on t = ara( I + Ann R ( N )/ Ann R ( N )) If t = 0, then, it follows from the definition that Supp( N ) ⊆ V ( I ) and so the assertion holds by Lemma 2.1 So assume that t > and the result has been proved for 0, 1, , t − Since Ann R ( N ) ⊆ Ann R ( N /Γ I ( N )), it follows that ara I + Ann R N /Γ I ( N ) / Ann R N /Γ I ( N ) ara I + Ann R ( N )/ Ann R ( N ) On the other hand the exact sequence −→ Γ I ( N ) −→ N −→ N /Γ I ( N ) −→ induces the following exact sequence 512 R Abazari, K Bahmanpour / Journal of Algebra 330 (2011) 507–516 −→ Hom R N /Γ I ( N ), M −→ Hom R ( N , M ) −→ Hom R Γ I ( N ), M −→ Ext1R N /Γ I ( N ), M −→ Ext1R ( N , M ) −→ Ext1R Γ I ( N ), M −→ · · · Consequently, using Lemma 2.1, replacing N by N /Γ I ( N ), we may assume, without loss generality, that N is a (non-zero finitely generated) I -torsion-free R-module, such that ara( I + Ann R ( N )/ Ann R ( N )) = t and Then, by [2, Lemma 2.1.1], I p∈Ass R N p Next, let k k Supp ExtiR ( N , M ), S k := i =0 and T := {p ∈ S k | dim R /p = 1} Now, it is easy to see that T ⊆ Assh R ( M ) But, since M is I -cofinite, it is easy to see that Ass R M is finite (see [18, Corollary 1.4]) Therefore T is finite set Moreover, as for each p ∈ T , by [16, Ex 7.7] the R p -module Hom R p ( R p / I R p , M p ) is finitely generated and M p is an I R p -torsion R p -module, with Supp( M p ) ⊆ V (p R p ), it follows that the R p -module Hom R p ( R p / I R p , M p ) is Artinian Consequently, according to Melkersson’s results [17, Theorem 1.3] and [19, Proposition 4.3], M p is an Artinian and I R p -cofinite R p -module Hence it follows from [16, Ex 7.7] and Lemma 2.6, that the R p -module of (ExtiR ( N , M ))p is Artinian and I R p -cofinite, for each i k Let T := {p1 , , pn } By [1, Lemma 2.5], we have V ( I R p j ) ∩ Att R p for all i j ExtiR ( N , M ) p ⊆ V (p j R p j ), j k and all j = 1, 2, , n Next, let k n U := i =0 j =1 q ∈ Spec R q R p j ∈ Att R p j ExtiR ( N , M ) pj Then it is easy to see that U ∩ V ( I ) ⊆ T Also, since for each q ∈ U we have q R p j ∈ Att R p j ExtiR ( N , M ) for some integers i k and j pj , n, it follows that Ann R ( N ) R p j ⊆ Ann R p j ExtiR ( N , M ) p ⊆ q R p j , j which implies Ann R ( N ) ⊆ q Therefore U ⊆ Supp( N ) On the other hand, by the definition there exist elements y , , yt ∈ I , such that Rad I + Ann R ( N )/ Ann R ( N ) = Rad ( y , , yt ) + Ann R ( N )/ Ann R ( N ) R Abazari, K Bahmanpour / Journal of Algebra 330 (2011) 507–516 513 Now, as q ∪ I p , q∈U \ V ( I ) p∈Ass R N it follows that ( y , , yt ) + Ann R ( N ) q ∪ p q∈U \ V ( I ) p∈Ass R N But, as Ann R ( N ) ⊆ q ∩ p , q∈U \ V ( I ) p∈Ass R N it follows that q ∪ ( y , , yt ) q∈U \ V ( I ) p p∈Ass R N Therefore, by [16, Ex 16.8] there is a ∈ ( y , , yt ) such that y1 + a ∈ / q ∪ q∈U \ V ( I ) p p∈Ass R N Let x := y + a Then x ∈ I and Rad I + Ann R ( N )/ Ann R ( N ) = Rad (x, y , , yt ) + Ann R ( N )/ Ann R ( N ) Now it is easy to see that Rad I + Ann R ( N /xN )/ Ann R ( N /xN ) = Rad ( y , , yt ) + Ann R ( N /xN )/ Ann R ( N /xN ) and hence ara( I + Ann R ( N /xN )/ Ann R ( N /xN )) Now, the exact sequence t − x −→ N −→ N −→ N /xN −→ induces an exact sequence ExtiR ( N , M ) −→ ExtiR ( N , M ) −→ ExtiR+1 ( N /xN , M ) x x ExtiR+1 ( N , M ), −→ ExtiR+1 ( N , M ) −→ for all i Consequently, for all i k, we have the following short exact sequence −→ ExtiR ( N , M )/x ExtiR ( N , M ) −→ ExtiR+1 ( N /xN , M ) −→ (0 :Exti+1 ( N , M ) x) −→ R But, by the inductive hypothesis, the R-modules ExtiR+1 ( N /xN , M ), are I -cofinite, for all i Let L i := ExtiR ( N , M )/x ExtiR ( N , M ), for i = 0, 1, 2, , k Then, from [1, Lemma 2.4], it is easy to see that 514 R Abazari, K Bahmanpour / Journal of Algebra 330 (2011) 507–516 ( L i )p j is of finite length for all j = 1, , n Therefore there exists a finitely generated submodule L i j of L i such that ( L i )p j = ( L i j )p j Let L i := L i1 + · · · + L in Then L i is a finitely generated submodule of L i such that Supp R L i / L i ⊆ S k \ {p1 , , pn } ⊆ Max R Now, let N i := ExtiR ( N /xN , M ) Then there exists a finitely generated submodule N i +1 of N i +1 such that the sequence −→ L i / L i −→ N i +1 / N i +1 −→ (0 :Exti+1 ( N , M ) x) −→ R is exact We show that L i is a minimax R-module To this, since for all i k, N i +1 / N i +1 is I -cofinite, it follows that Hom R ( R / I , L i / L i ) is a finitely generated R-module But Supp L i / L i ⊆ Max R and L i / L i is I -torsion, so that, according to Melkersson [17, Theorem 1.3] L j / L j is an Artinian R-module That is L i is a minimax R-module Consideration of the exact sequence −→ L i −→ N i +1 −→ (0 :Exti+1 ( N , M ) x) −→ R shows that Hom R ( R / I , L i ) is a finitely generated R-module for all i k Therefore, by Melkersson’s k, the R-module theorem (see [19, Proposition 4.3]), L i is I -cofinite Consequently, for all i (0 :Exti+1 (N , M ) x) is also I -cofinite In particular, it follows from the exact sequence R x −→ Hom R ( N /xN , M ) −→ Hom R ( N , M ) −→ Hom R ( N , M ), and inductive hypothesis that the R-module (0 :Hom R ( N , M ) x) is also I -cofinite Now, since the R-modules (0 :Exti ( N , M ) x) and ExtiR ( N , M )/x ExtiR ( N , M ) are I -cofinite for all i k, it follows from R [19, Corollary 3.4] that ExtiR ( N , M ) are I -cofinite for all i k Therefore, as k is arbitrary, it follows that, the R-modules ExtiR ( N , M ) are of I -cofinite, for all i This completes the proof ✷ As an immediate consequence of Theorem 2.7, we derive the following extensions of Huneke–Koh results [12, Lemmata 4.3 and 4.7] for an arbitrary Noetherian ring Corollary 2.8 Let I be an ideal of R and M a non-zero finitely generated R-module such that dim M / I M j (e.g., dim R / I 1) Then for each finitely generated R-module N, the R-modules ExtiR ( N , H I ( M )) are I -cofinite for all i and all j Proof As Supp H iI ( M ) ⊆ Supp M / I M and dim M / I M 1, it follows that dim Supp H iI ( M ) ✷ Now the assertion follows from [1, Corollary 2.7] and Theorem 2.7 Corollary 2.9 Let ( R , m) be local, I an ideal of R, and M a finitely generated R-module, such that (e.g., dim R / I 2) Then for each finitely generated R-module N, the R-modules dim M / I M j ExtiR ( N , H I ( M )) are I -weakly cofinite, for all i and all j j Proof Let Φ denote the set of all R-modules ExtkR ( R / I , ExtiR ( N , H I ( M ))) where i = 0, 1, 2, , j = 0, 1, 2, and k = 0, 1, 2, Let L ∈ Φ and let L be a submodule of L In view of the definition, it is enough to show that Ass R L / L is finite To this end, according to the Flat Base Change Theorem R Abazari, K Bahmanpour / Journal of Algebra 330 (2011) 507–516 515 [2, Theorem 4.3.2], [16, Ex 7.7] and [14, Lemma 2.1] without loss of generality, we may assume that R is complete Now, suppose the contrary is true Then there exists a countably infinite subset {pt }t∞ =1 of Ass R L / L , such that none of which is not equal to m Then, by [15, Lemma 3.2], m ∞ ∞ t =1 pt Let S be the multiplicatively closed subset R \ t =1 pt Therefore it follows from Corollary 2.8 − − − that S L / S L is a finitely generated S R-module, and so Ass S −1 R S −1 L / S −1 L is a finite set But S −1 pt ∈ Ass S −1 R S −1 L / S −1 L for all t = 1, 2, , which is a contradiction ✷ Finally, the following result is a generalization of Theorem 2.7 over local rings Theorem 2.10 Let ( R , m) be local, I an ideal of R and M be a non-zero I -cofinite R-module, such that dim Supp( M ) Then for each non-zero finitely generated R-module N, the R-modules ExtiR ( N , M ) are I -weakly cofinite, for all i j Proof Let Φ denote the set of all R-modules Ext R ( R / I , ExtiR ( N , M )) where i = 0, 1, 2, , j = 0, 1, 2, Let L ∈ Φ and let L be a submodule of L In view of the definition, it is enough to show that Ass R L / L is finite To this end, according to [16, Ex 7.7] and [14, Lemma 2.1] without loss of generality, we may assume that R is complete Now, suppose the contrary is true Then there exists a countably infinite subset {pt }t∞ =1 of Ass R L / L , such that none of which is not equal to m Then, ∞ ∞ by [15, Lemma 3.2], m t =1 pt Let S be the multiplicatively closed subset R \ t =1 pt But, it easily − − − follows from [16, Ex 7.7] and the definition that, S M is an S I -cofinite S R-module of dimension at most one Therefore it follows from Theorem 2.7 that S −1 L / S −1 L is a finitely generated S −1 Rmodule, and so Ass S −1 R S −1 L / S −1 L is a finite set But S −1 pt ∈ Ass S −1 R S −1 L / S −1 L for all t = 1, 2, , which is a contradiction ✷ Acknowledgments The authors are deeply grateful to the referee for his/her careful reading of the paper and valuable suggestions Also, we would like to thank Professor Reza Naghipour for his careful reading of the first draft and many helpful suggestions References [1] K Bahmanpour, R Naghipour, Cofiniteness of local cohomology modules for ideals of small dimension, J Algebra 321 (2009) 1997–2011 [2] M.P Brodmann, R.Y Sharp, Local Cohomology; an Algebraic Introduction with Geometric Applications, Cambridge University Press, Cambridge, 1998 [3] G Chiriacescu, Cofiniteness of local cohomology modules, Bull London Math Soc 32 (2000) 1–7 [4] D Delfino, Cofiniteness of local cohomology modules over regular local rings, Math Proc Cambridge Philos Soc 115 (1994) 79–84 [5] D Delfino, T Marley, Cofinite modules and local cohomology, J Pure Appl Algebra 121 (1997) 45–52 [6] K Divaani-Aazar, A Mafi, Associated primes of local cohomology modules, Proc Amer Math Soc 133 (2005) 655–660 [7] K Divaani-Aazar, A Mafi, Associated primes of local cohomology modules of weakly Laskerian modules, Comm Algebra 34 (2006) 681–690 [8] E Enochs, Flat covers and flat cotorsion modules, Proc Amer Math Soc 92 (1984) 179–184 [9] A Grothendieck, Local Cohomology, notes by R Hartshorne, Lecture Notes in Math., vol 862, Springer, New York, 1966 [10] A Grothendieck, Cohomologie local des faisceaux coherents et théorèmes de Lefschetz locaux et globaux (SGA2), NorthHolland, Amsterdam, 1968 [11] R Hartshorne, Affine duality and cofiniteness, Invent Math (1970) 145–164 [12] C Huneke, J Koh, Cofiniteness and vanishing of local cohomology modules, Math Proc Cambridge Philos Soc 110 (1991) 421–429 [13] K.I Kawasaki, On the finiteness of Bass numbers of local cohomology modules, Proc Amer Math Soc 124 (1996) 3275– 3279 [14] T Marley, The associated primes of local cohomology modules over rings of small dimension, Manuscripta Math 104 (2001) 519–525 [15] T Marley, J.C Vassilev, Cofiniteness and associated primes of local cohomology modules, J Algebra 256 (2002) 180–193 [16] H Matsumura, Commutative Ring Theory, Cambridge University Press, Cambridge, UK, 1986 [17] L Melkersson, On asymptotic stability for sets of prime ideals connected with the powers of an ideal, Math Proc Cambridge Philos Soc 107 (1990) 267–271 516 R Abazari, K Bahmanpour / Journal of Algebra 330 (2011) 507–516 [18] L Melkersson, Properties of cofinite modules and application to local cohomology, Math Proc Cambridge Philos Soc 125 (1999) 417–423 [19] L Melkersson, Modules cofinite with respect to an ideal, J Algebra 285 (2005) 649–668 [20] K.I Yoshida, Cofiniteness of local cohomology modules for ideals of dimension one, Nagoya Math J 147 (1997) 179–191 [21] T Zink, Endlichkeitsbedingungen für moduln über einem Notherschen ring, Math Nachr 164 (1974) 239–252 [22] H Zöschinger, Minimax modules, J Algebra 102 (1986) 1–32 [23] H Zöschinger, Über die maximalbedingung für radikalvolle untermoduln, Hokkaido Math J 17 (1988) 101–116

Ngày đăng: 16/09/2016, 17:13

TỪ KHÓA LIÊN QUAN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN