Kommutativer Ring/Modul/Treuflach/Definition

Treuflacher Modul

Ein $R$-Modul $M$ über einem kommutativen Ring $R$ heißt treuflach, wenn er flach ist und wenn für jeden $R$-Modul  $N\ne 0$  auch  $M{\otimes }_{R}N\ne 0$  ist.