K-Spektrum/Algebraisch abgeschlossen/K-Punkt und maximales Ideal/Aufgabe/Lösung
Erscheinungsbild
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 .