Es seien R {\displaystyle {}R} und S {\displaystyle {}S} kommutative Ringe und sei
ein Ringhomomorphismus