Page "Algebraically compact module" Paragraph 11

Every module of the form H * is algebraically compact.

Furthermore, there are pure injective homomorphisms H → H **, natural in H. One can often simplify a problem by first applying the *- functor, since algebraically compact modules are easier to deal with.