Let G and H be countable Abelian p-groups (p an arbitrary prime). Suppose that for every positive integer n, p^nG \not\equal{} p^{n\plus{}1}G . Prove that H is a homomorphic image of G.
M. Makkai abstract algebrasuperior algebrasuperior algebra unsolved