 Torsion-free module

In the context of module theory, a **torsion-free module** is a specific type of module over a ring that satisfies certain properties with respect to torsion elements.