Kommutative Ringtheorie/Restklassenring/Einheit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring und ein Ideal in .

Dann ist ein Element genau dann eine Einheit modulo , wenn und zusammen das Einheitsideal in erzeugen.

Zum Beweis, Alternativen Beweis erstellen