Zum Inhalt springen

Kommutative Algebra/Modultheorie/Restklassenmodul/Definition

Aus Wikiversity
Restklassenmodul

Es sei ein kommutativer Ring und ein -Modul. Es sei ein Untermodul von . Die kommutative Restklassengruppe trägt eine kanonische Modulstruktur durch

für und

Mit dieser Skalarmultiplikation versehen heißt der Restklassenmodul von nach .