 Flat module

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

In the context of algebra and module theory, a **flat module** is a specific type of module over a ring that preserves the exactness of sequences when tensored with other modules.