Torsionless module

In abstract algebra, a module M over a ring R is called torsionless if it can be embedded into some direct product R. Equivalently, M is torsionless if each non-zero element of M has non-zero image under some R-linear functional f:

This notion was introduced by Hyman Bass.