Es seien R {\displaystyle {}R} und S {\displaystyle {}S} kommutative Ringe und sei
ein Ringhomomorphismus. Dann ist der Kern
ein Ideal in R {\displaystyle {}R} .