Es sei R {\displaystyle {}R} ein kommutativer Ring, M {\displaystyle {}M} ein R {\displaystyle {}R} -Modul und I ⊆ R {\displaystyle {}I\subseteq R} ein Ideal mit I M = 0 {\displaystyle {}IM=0} .
Dann ist M {\displaystyle {}M} in natürlicher Weise ein R / I {\displaystyle {}R/I} -Modul.
