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.