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

Beweis

Sei

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

und daher .

Sei nun und beliebig. Dann ist

also ist .