Lokaler Ring/Restklassenring/Einheiten surjektiv/Aufgabe/Lösung
Bei ist der Restklassenring der Nullring und die Aussage ist klar, sei also . Es sei ein Repräsentant einer Einheit aus , und sei derart, dass
in ist. Dies bedeutet
in . Wenn keine Einheit wäre, so wäre und dann ergäbe sich der Widerspruch