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 ist für alle .

Dann gibt es einen eindeutig bestimmten Ringhomomorphismus

der fortsetzt.

Zum Beweis, Alternativen Beweis erstellen