Ringhomomorphismus/Homomorphiesatz/Surjektiv und Kern/Fakt/Name/Inhalt

Seien ${}R,S$ und ${}T$ kommutative Ringe, es sei ${}\varphi \colon R\rightarrow S$ ein Ringhomomorphismus und ${}\psi \colon R\rightarrow T$ ein surjektiver Ringhomomorphismus. Es sei vorausgesetzt, dass

${}\operatorname {kern} \psi \subseteq \operatorname {kern} \varphi \,$

ist. Dann gibt es einen eindeutig bestimmten Ringhomomorphismus

${\tilde {\varphi }}\colon T\longrightarrow S$

derart, dass ${}\varphi ={\tilde {\varphi }}\circ \psi$ ist.