A result of flat modules that *needs* to deal with the *construction* of the tensor product?
Posted by Bruno Stonek, at math.stackexchange.com,
There is a nice result concerning flat modules over a ring: If every finitely generated submodule of a module $M$ is flat…