Nenneraufnahme/Universelle Eigenschaft/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Universelle Eigenschaft der Nenneraufnahme

Es seien und kommutative Ringe und sei ein multiplikatives System. Es sei

ein Ringhomomorphismus derart, dass eine Einheit in für alle ist.

Dann gibt es einen eindeutig bestimmten Ringhomomorphismus

der fortsetzt.

Zum Beweis, Alternativen Beweis erstellen