Lokale Ringe/Lokaler Ringhomomorphismus/Definition

Lokaler Ringhomomorphismus

Ein Ringhomomorphismus

$(R,{\mathfrak {m}})\longrightarrow (S,{\mathfrak {n}})$

zwischen lokalen Ringen heißt lokal, wenn ${}\varphi ({\mathfrak {m}})\subseteq {\mathfrak {n}}$ gilt.