Torsionless module

In the context of module theory, a **torsionless module** is a specific type of module over a ring. To understand torsionless modules, we first need to define the concept of torsion in this setting.