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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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 .

Zum Beweis, Alternativen Beweis erstellen