Modul/Flach/Kriterium/Endlich erzeugt/Fakt
Ein -Modul über einem kommutativen Ring
ist bereits dann flach, wenn für endlich erzeugte Moduln die Abbildung
injektiv ist.
Ein
-Modul
über einem
kommutativen Ring
ist bereits dann
flach,
wenn für
endlich erzeugte
Moduln
die Abbildung
injektiv ist.