<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
When are torsionless modules projective?
<|assistant|>
A torsionless module over a commutative ring is projective if and only if it is finite and projectively generated. This is known as the Kaplansky's theorem.