Cyclic comodules, the homology of j, and j-homology

We provide a somewhat simpler computation of the homology of the image of j spectrum using general techniques for comodules over a coalgebra. We also compute the homotopy of the spectrum HFp∧jHFp, the spectrum which plays the role of HFp∧HFp in the category of j-modules.