Es sei R {\displaystyle {}R} ein kommutativer Ring mit Reduktion S {\displaystyle {}S} . Zeige, dass die Abbildung, die den idempotenten Elementen aus R {\displaystyle {}R} ihre Restklasse in S {\displaystyle {}S} zuordnet, surjektiv ist.
