Flatness

A property of a module M over a ring R (or of a ring homomorphism R → S) meaning that tensoring with M (or with S over R) preserves exact sequences; equivalently Tor1^R(−,M) = 0 for all modules, so no new torsion is introduced by tensor product.