Es seien R , R ′ , S {\displaystyle {}R,R',S} kommutative Ringe, es sei R → R ′ {\displaystyle {}R\rightarrow R'} ein Ringhomomorphismus und R ⊆ S {\displaystyle {}R\subseteq S} ein direkter Summand.
Dann ist auch
ein direkter Summand.
