Quotient Fied

Sei ein kommutativer, integritätsbereich verschieden vom Nullring. Dann ist der Quotientenkörper definiert als Körper mit einem Ringmonomorphismus , so dass für jeden Körper und Ringhomomorphismus ein eindeutiger Körperhomomorphismus

so dass folgende Diagramm kommutiert