Flat module (source code)

= Flat module
{wiki}

An $R$-module $M$ is flat when tensoring with it preserves injections, equivalently when $-\otimes_RM$ is an exact functor.