Kommutative Ringtheorie/Ringhomomorphismus/Kern ist Ideal/Fakt/Beweis

Beweis

Es sei

Wegen . ist . Es seien . Das bedeutet und . Dann ist

und daher .

Es sei nun und beliebig. Dann ist

also ist .