torsion-free module
module over a ring such that zero is the only element annihilated by a regular element of the ring
flat module
module such that taking the tensor product with it induces an exact functor
torsion-free abelian group
group in which the group operation is commutative and the identity element is the only element with finite order