Quotientenkörper/Universelle Eigenschaft/Fakt

Sei ein Integritätsbereich mit Quotientenkörper . Es sei

ein injektiver Ringhomomorphismus in einen Körper .

Dann gibt es einen eindeutig bestimmten Ringhomomorphismus

mit

wobei die kanonische Einbettung

bezeichnet.