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