Kommutative Ringtheorie/Restklassenabbildung/Definition

Restklassenabbildung

Es sei ${}R$ ein kommutativer Ring und ${}I\subseteq R$ ein Ideal in ${}R$ und ${}R/I$ sei der zugehörige Restklassenring. Der Ringhomomorphismus

$R\longrightarrow R/I,\,a\longmapsto a+I=:{\bar {a}},$

heißt die Restklassenabbildung.