Modul/Flach/Kriterium/Endlich erzeugt/Fakt

Ein ${}R$ -Modul ${}M$ über einem kommutativen Ring ${}R$

ist bereits dann flach, wenn für endlich erzeugte Moduln ${}U\subseteq V$ die Abbildung

$U\otimes _{R}M\longrightarrow V\otimes _{R}M$

injektiv ist.