K-Spektrum/Integritätsbereich/Algebraische Funktion ist Element im Quotientenkörper/Fakt

Aus Wikiversity

Es sei ein algebraisch abgeschlossener Körper, eine integre -Algebra von endlichem Typ, und sei eine offene nicht-leere Teilmenge.

Dann gibt es einen eindeutig bestimmten injektiven -Algebrahomomorphismus

Insbesondere ist jede auf einer nicht-leeren offenen Menge definierte algebraische Funktion ein Element im Quotientenkörper .