Kommutative Ringtheorie/Ringhomomorphismus/Kern ist Ideal/Fakt/Beweis/Aufgabe/Lösung

Sei

Wegen . ist . Seien . Das bedeutet und . Dann ist

und daher .

Sei nun und beliebig. Dann ist

also ist .