Seien R; S; T kommutativ Ringen mit 1, Homomorphismus bedeutet Ringhomomorphismus,
ein Ideal von R wird auch kurz R-Ideal genannt.
(i) Man überprüfe, dass die Komposition g ο f : R → S → T von Homomorphismen wieder ein Homomorphismus ist.
(ii) Warum gilt die folgende Gleichheit von Mengen:
{R-Ideale } = { Kerne von Homomorphismen R → S} ?