Direkter Summand/Erweiterungsideal/Aufgabe

Aus Wikiversity

Es seien und kommutative Ringe, wobei ein direkter Summand von sei, sagen wir mit einem -Modul . Zeige, dass für ein Ideal die Beziehung

gilt.