Ganzer Ringhomomorphismus/Basiswechsel/Aufgabe

Es sei

$\varphi \colon R\longrightarrow S$

ein ganzer Ringhomomorphismus zwischen kommutativen Ringen und ${}R\rightarrow R'$ ein weiterer Ringhomomorphismus. Zeige, dass auch

$\varphi '\colon R'\longrightarrow R'\otimes _{R}S,\,f\longmapsto f\otimes 1,$

ganz ist.

Eine Lösung erstellen