1. The problem statement, all variables and given/known data Does a torsion module M imply M is cyclic? Or does it imply M is finitely generated? I think cyclic implies torsion module. What about the reverse? 3. The attempt at a solution I think there is a connection but don't see it.