[1] EISENBUD D.Commutative Algebra with a View Toward Algebraic Geometry [M]//Graduate Texts in Mathematics,150.New York:Springer-Verlag,1995.[2] CUONG N T,NAM T T.The I-Adic Completion and Local Homology for Artinian Modules [J].Math. Proc. Camb. Phil. Soc.,2001,131:61-72.[3] ENOCHS E E,JENDA O M G.Relative Homological Algebra(de Gruyter Expositions in Mathematics 30) [M].Berlin:Walter de Gruyter,2000.[4] BROWN K S,DROR E.The Artin-Rees Property and Homology [J].Israel J. Math.,1975,22:93-109.[5] GREENLEES J P C,MAY J P.Derived Functors of I-Adic Completion and Local Homology [J].J. Algebra,1992,149:438-453.[6] LAMBEK J.Bicommutators of Nice Infectives [J].J. Algebra,1972,21:60-73.[7] MCCONNELL J C.On Completions of Non-Commutative Noetherian Rings [J].Comm. in Algebra,1978,6:1 485-1 488.[8] FREYD P.Abelian Categories [M].New York:Harper and Row,1964.[9] LANE S M.Categories for the Working Mathematician [M].Second Edition.Berlin-Heidelberg-New York:Springer-Verlag,1998.