Zum Inhalt springen

K-Spektrum/Algebraisch abgeschlossen/K-Punkt und maximales Ideal/Aufgabe/Lösung

Aus Wikiversity


Ein -Punkt ist ein -Algebrahomomorphismus

Da eine -Algebra ist, ist dieser surjektiv. Der Kern davon ist ein maximales Ideal in . Da vom endlichen Typ über einem algebraisch abgeschlossenen Körper ist, ist Fakt

anwendbar und der Restekörper zu jedem maximalen Ideal ist gleich .