Modul/Idealannullation/Restklassenring/Fakt
Es sei ein kommutativer Ring, ein -Modul und ein Ideal mit .
Dann ist in natürlicher Weise ein -Modul.
Es sei ein kommutativer Ring, ein -Modul und ein Ideal mit .
Dann ist in natürlicher Weise ein -Modul.