The Envelope of Artinian Modules. over Commutative Rings

Transcription

1 International Journal of Algebra, Vol. 5, 2011, no. 13, The Envelope of Artinian Modules over Commutative Rings N. Hadian Dehkordi and A. J. Taherizadeh Department of Mathematical Sciences and Computer Tarbiat Moallem University, 43 Mofateh Ave., Tehran, Iran Abstract The concept of covers of a (Notherian) module over a commutative (non-trivial) ring with identity introduced in [1]. J. Chaui in [1] presented some applications of the covers, such as Nakayama s Lemma, Krull s Theorem for Jaconson radicals, etc. Here, we introduce the dual of the above mentioned notion, which we call it the envelope of a module. Then, as application we generalize some known results of Artinian modules lover commutative rings) such as union theorem, Nakayama s Lemma etc. 1 Introduction Let R be a commutative ring (with non-zero identity) A an R-module and Max(R) be the set of all maximal ideals of R. According to [1] a cover of A is a subset Γ of Max(R) such that for any x( 0)ofA, there is M Γ such that (0 : R x) M. Now let J := M Γ M and 0 A be a finitely generated R-module. Then JA A, which generalizes the Nakayama s Lemma. In addition, if R is a Noetherian ring, then n=1 J n A = 0 [1, Prop. 2.4]. This is

2 648 N. Hadian Dehkordi and A. J. Taherizadeh a generalization of Krull s intersection Theorem. Next we mention two results from [1]. Proposition 1.1. Let Γ be a finite subset of Max(R) and M an R-module. Set J = m Γ m.if n N J n M =0, then Γ is a cover of M. The next result asserts that for any finitely generated R-module over a Noetherian ring R, there exists a finite cover. Theorem 1.2. Let R be a Noetherian ring and M a finitely generated R- module. Then there is a finite subset Γ of Max(R) such that n=1 J n M =0, where J = m Γ m. In particular, Γ is a cover of M. In the first section, we introduce the dual notion of the cover of a module. We call it the envelope of a module. Then we deduce several results concerning properties of this concept. In particular, we prove the dual of above propositions. In section 3, we generalize a result of Kirby and two result of Tang [8, The. 2.3, 2.4]. These two latter theorems are as follows. Suppose A is an Artinian modules over the commutative ring (with non-zero identity) R and I is an ideal of R. Set G := n Z G n, G := n Z G n where G n = G n = 0 for n>0 and G n =(0: A I n+1 )/(0 : A I n ), G n = M/(0 : A I n ) for n 0. Also suppose that G I (R) := n=0 In X n (X is an indeterminate), is the Ress ring of I and G I (R) = In /I n+1 is the associated graded ring of I. Then G(G )is an Artinian G I (R)(G I (R)) module [8, Pro. 2.2]. Moreover, if I J A(M) = Supp(M) and l R (0 : A I) < then i) K dim G I (R) G = K dim R (A), K dim R (A) if K dim R (A) =0 ii) K dim GI (R) G = K dim R (A)+1 ifk dim R (A) 1. (Here K dim R (A) stands for Krull dimension of the Artinian module A as defined in [7, P.269]). Now let T be an envelope of the Artinian module A and J = m T m, then

3 The envelope of Artinian modules over commutative rings 649 with the above notation, we prove these two results whenever a is an ideal of R which is contained in J. 2 The Envelope We start this section with some definitions. Definition 2.1. An R-module L is said to be cocyclic if L is a submodule of D m (R) for some m Max(R). (For any maximal ideal m of R the functor Hom(,E(R/m)) is denoted by D m ( )). An R-module L is said to be finitely embedded if E(M) =E(R/m 1 ) E(R/m 2 )... E(R/m k ), where each m i is a maximal ideal of R. Definition 2.2. Let M be an R-module. A prime ideal p of R is called coassociated [resp. weakly coassociated] if there exists a cocyclic homomorphis image L of M with p =(0: R L) [resp. p is minimal over (0 : R L)]. The set of coassociated primes of M is denoted by Coass R M (resp. Coass R M). It is clear that Coass M φ if M 0. We now define the envelop of a module. Definition 2.3. Let M be an R-module. A subset T of Max(R) is called an envelope of M if for any non-zero cocylic quotient L of M, there is m T such that (0 : R L) m. Lemma 2.4. Let M be an R-module and T a subset of Max(R). Suppose for any nonzero finitely embedded quotient L of M, there is m T such that (0 : R L) m. Then T is an envelope of M. Lemma 2.5. Suppose M is an R-module and T Max R is an envelope of M. Ifr m T m, then M = rm.

4 650 N. Hadian Dehkordi and A. J. Taherizadeh Proof. Assume that M rm, then Coass R M/rM φ. Let p Coass R M/rM. There is a cocylic quotient L of M/rM with p is minimal over (0 : R L). Since L is a cocylic quotient of M, there is m T, such that (0 : R L) m. Now we get r (0 : M/rM) (0 : R L) m, which is a contradiction. The following may be considered as the dual of Krull intersection Theorem for Artinian modules. Theorem 2.6. Let R be a semi-local Noetherian complete ring and a an ideal of R. LetA be an Artinian R-module. Then there is r a such that (1+r)A Γ a (A), where Γ a (A) := n N (0 : A a n ). Proof. Let E = m Max R E(R/m), D(.) = Hom(., E). Let M = D(A). Since Γ a (M) = lim n Hom(R/a n,a) and so D(Γ a (M)) = lim nm/a n M, it is easy to see that n N an M = D(A/Γ a (A)). From the Krull intersection theorem, we deduce that there is r a such that (1 + r) n 0 an M) = 0. Thus (1 + r)d(a/γ a(a) ) = 0. Thus (1 + r)a Γ a (A). Note that Ann R L = Ann R D(L) for any R-module. Corollary 2.7. (i) With the same assumption as Theorem 2.6, if T is an envelope of A and J = m T m, then A =Γ j(a). (ii) (0 : A a)=0if and only if A =0. (for all a J.) Lemma 2.8. Let A be an Artinian R-module. Then there is an envelop T of A such that T is a finite set. Such an envelope is called a finite envelope of A. Proof. Let A/B be a non-zero arbitrary cocyclic quotient of A and y R such that ya B A, soya A and by [4(2.6)(i)] y p Att(A) p. Thus (0 : R A/B) p Att(A) p, and hence (0 : R A/B) p for some p Att(A). Suppose Att(A) ={p 1,...,p t }. For each p i choose M i Max(R) such that p i M i for i =1,...,t. Then {M 1,...,M t } is a finite envelope of A. Remark 2.9. (i) If A is an Artinian R-module and Supp(A) ={M 1,...,M s }, then by the proof of (2.8) and [5, (2.6)] Supp(A) is an envelope of A.

5 The envelope of Artinian modules over commutative rings 651 (ii) For any Artinian R-module A, and any envelop T of it, T Coass R (A) Max(R). (iii) If T is an envelope of the R-module A and B is a submodule of A, generally it is not true that T is an envelope of B as well. For instance, if T is an envelope of the ring R and T Max(R), then for any M Max(R)\T, T is not an envelope of (0 : R M). (iv) In general, if T is an envelope of the submodule B of the R-module A, T is not necessarily an envelope of A. For example, suppose that the ring R has at least two maximal ideal and M Max(R) such that (0 : R M) 0. Then {M} is the only envelope of (0 : R M) and {M} is not an envelope the R-module R. 3 Some further applications In this section we generalize three results. The first one is due to Kirby [3, (270] and the second and third one is due to Tang [8, The. 2.3,2.4]. Theorem 3.1. Let R be a semi-local Noetherian complete ring and A an Artinian R-module. Let T be an envelope of A and a an ideal of R such that a m T m, l(0 : A a) <. Then the degree of polynomial function l(0 : A a n ) is exactly K dim R (A). Proof. By (2.7) A =Γ J (A) and so by [4,(1.6)], the result follows. Remark 3.2. Let G, G,G a (R),G a (R) be the same as in introduction and T = {m 1,...,m t } be a finite envelope of A and J = t i=1 m i. Then by (2.7) A =Γ j (A). (1) Set M i := m i a a 2...(M i := m i a/a/a 2...) for i =1, 2,...,t; and put L 1 := t i=1 M i,l 2 := t i=1 M i. Then it is easy to deduce from (1) that (0 : G L n 1 )=G and (0 : G L n 2 )=G (2) n=1 n=1

6 652 N. Hadian Dehkordi and A. J. Taherizadeh It follows from (2) and (1.8) that {M 1,...,M t }({M 1,...,M t }) is an envelope for G (G resp.). Theorem 3.3. With the same notation and assumptions as above, suppose a t u=1 m i and l(0 : A a) <. Then i) K dim Ga(R)(G) =K dim R (A), and K dim ii) K dim G a (R)(G a (A) if K dim R (A) =0 )= K dim a (A)+1 if K dim R (A) > 0 Proof. By the above remark and (2.7) {M 1,...,M t } and {M 1,...,M t} are envelopes of G and G respectively. Now the result follows by the same argument as in [8. The. 23,2.4] but using (3.1) instead of [3.(2.7)]. Acknowledgment. The first author owe thanks to Professor K. Divaani- Aazar for his invaluable help. References [1] J. Chuai, The Covers of a Noetherian module, Pac. J. Math. (1), 173 (1996), [2] K. Divanni-Azzar and M. Tousi, Some Remarks on Coassociated Primes, J. Korean Math. Soc. 36(1999), No. 5, [3] D. Kirby, Artinian modules and Hilbert polynomials, Quart. J. Math. Oxford (2), 24(1973), [4] D. Kirby, Dimension and length for Artinian modules, Quart, J. Math. Oxford (2), 41 (1990), [5] I.G. Macdonald, Secondary representation of modules over a commutative ring, Symposia Mathematica, 11(1973), [6] I. Nishitani, On the dual of Burch s inequality, J. of Pure and Appl. Algebra, 96(1994),

7 The envelope of Artinian modules over commutative rings 653 [7] R.N. Roberts, Krull dimension for Artinian modules over quasi local commutative rings, Quart. J. Math. Oxford (2), 26(1975), [8] Z. Tang, On certain graded Artinian modules, Comm. Algebra, 21(1993), [9] S. Yassemi, Coassociated Primes of Modules Over a Commutative Rings, Math. Scand., 80(1997), Received: January, 2011