On formal local homology modules

Throughout R is a commutative Noetherian ring and a an ideal of R. In this paper we study formal homology modules of Artinian R-modules. We obtain an expression of the formal homology in terms of a certain local homology module. Also we consider their behavior with respect to the a-torsion functor, and exact sequences for various situations and related ideas.