Kommutative Algebra/Modultheorie/Faktor Moduln/Definition
Restklassenmodul
Es sei ein -Modul und ein -Untermodul von . Dann wird auf der Restklassengruppe eine skalare Multiplikation
durch definiert. Da ist, ist diese Definition wohldefiniert.
Dieser Modul wird der Restklassenmodul von nach genannt.