Kommutative Algebra/Modultheorie/Restklassenmodul/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Restklassenmodul

Sei ein kommutativer Ring und ein -Modul. 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 .