Direkter Summand/Zyklisch rein/Aufgabe

Aus Wikiversity

Es sei ein direkter Summand von kommutativen Ringen. Es sei ein Ideal

und . Zeige, dass aus die Zugehörigkeit folgt.