Es seien R {\displaystyle {}R} und S {\displaystyle {}S} Ringe. Eine Abbildung
heißt Ringhomomorphismus , wenn folgende Eigenschaften gelten: