Modul/Idealannullation/Restklassenring/Fakt

Es sei ein kommutativer Ring, ein -Modul und ein Ideal mit .

Dann ist in natürlicher Weise ein -Modul.