Direkter Summand/Tensorprodukt/Fakt

Es seien ${}R,R',S$ kommutative Ringe, es sei ${}R\rightarrow R'$ ein Ringhomomorphismus und ${}R\subseteq S$ ein direkter Summand.

Dann ist auch

$R'\longrightarrow R'\otimes _{R}S$

ein direkter Summand.

Einen Beweis erstellen