Ideal/Multiplikatives System/Zurück/Direkt/Aufgabe

Es sei ${}R$ ein kommutativer Ring, ${}S\subseteq R$ ein multiplikatives System und ${}I\subseteq R$ ein Ideal. Zeige, dass

${}J:={\left\{f\in R\mid {\text{Es gibt ein }}s\in S{\text{ mit }}sf\in I\right\}}\,$

ein Ideal in ${}R$ ist, dass ${}I$ umfasst.

Zur Lösung, Alternative Lösung erstellen