Filtrations and completions of certain positive level modules of affine algebras

We define a filtration indexed by the integers on the tensor product of a simple highest weight module and a loop module for a quantum affine algebra. We prove that such a filtration is either trivial or strictly decreasing and give sufficient conditions for this to happen. In the first case we prove that the tensor product is simple and in the second case we prove that the intersection of all the modules in the filtration is zero, thus allowing us to define the completed tensor product. In certain special cases, we identify the subsequent quotients of filtration.