Es seien ${\displaystyle {}R}$ und ${\displaystyle {}S}$ kommutative Ringe, wobei ${\displaystyle {}R}$ ein direkter Summand von ${\displaystyle {}S}$ sei, sagen wir ${\displaystyle {}S=R\oplus V}$ mit einem ${\displaystyle {}R}$-Modul ${\displaystyle {}V}$. Zeige, dass für ein Ideal ${\displaystyle {}I\subseteq R}$ die Beziehung

${\displaystyle {}S/IS=R/I\oplus V/IV\,}$