Modul/Idealannullation/Restklassenring/Fakt

Es sei ${\displaystyle {}R}$ ein kommutativer Ring, ${\displaystyle {}M}$ ein ${\displaystyle {}R}$-Modul und ${\displaystyle {}I\subseteq R}$ ein Ideal mit ${\displaystyle {}IM=0}$.

Dann ist ${\displaystyle {}M}$ in natürlicher Weise ein ${\displaystyle {}R/I}$-Modul.