flat module

module such that taking the tensor product with it induces an exact functor