I. Kaplansky has proved that if a torsion free module (over a complete DVR) is countably generated and does not contains infinitely divisible elements then it is free.
Is there any analog of this result for modules over an arbitrary DVR?
I. Kaplansky has proved that if a torsion free module (over a complete DVR) is countably generated and does not contains infinitely divisible elements then it is free.
Is there any analog of this result for modules over an arbitrary DVR?