Categories

# Free vs. torsion-free modules

I’m trying to show that if $$M$$ is a nonzero cyclic module, then $$M$$ is free if and only if $$M$$ is torsion-free.
How would a proof for this look like?