Kommutative Algebra/Modultheorie/Faktor Moduln/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.