Kommutative Algebra/Modultheorie/Restklassenmodul/Definition

Restklassenmodul

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$-Modul. Es sei ${}U\subseteq M$ ein Untermodul von ${}M$. Die kommutative Restklassengruppe ${}M/U$ trägt eine kanonische Modulstruktur durch

$r\cdot [m]:=[r\cdot m]$

für ${}r\in R$ und ${}m\in M$

Mit dieser Skalarmultiplikation versehen heißt ${}M/U$ der Restklassenmodul von ${}M$ nach ${}U$.