ABSTRACT

We define a category (;. consisting of the objects of A-gr, writing IT'(M) for M from A-gr viewed as an object of c., but with Homc(lT'(M),lT'(N)) = lim HOmA_gr(M', NIK,+N), the limit ranging over the £(K,~)-densesubmod---+ M' ules M' of M i.e. those graded submodules M' for which MIM' is K,+- torsion. We may view 1T' as an exact functor A-gr -+ C. having a right adjoint w : C. -4 A-gr; this means that HOmA_gr(M, w(N) e!! Homc(lT'(M),N) for N inC..