Talk:Torsion-free module

Torsionless and torsion-free
Torsionless implies torsion-free over a domain -- this is stated on the page for torsionless. This page (torsion-free) had the same fact but omitted the "over a domain" constraint. I'm not sure whether it's necessary or not -- out of caution I've added it to this page, but if someone smarter than me could verify whether it's needed and edit both pages that'd be much appreciated.

--Ebf526 (talk) 22:45, 30 January 2023 (UTC)