Idealtheorie (kommutative Algebra)/Ideale im Restklassenring/Korrespondenz/Aufgabe

Es sei ${}R$ ein kommutativer Ring und sei ${}{\mathfrak {a}}$ ein Ideal mit dem Restklassenring

${}S=R/{\mathfrak {a}}\,.$

Zeige, dass die Ideale von ${}S$ eindeutig denjenigen Idealen von ${}R$ entsprechen, die ${}{\mathfrak {a}}$ umfassen.

Eine Lösung erstellen