Endlich erzeugte integre K-Algebra/Definitionsort im K-Spektrum ist offen/Aufgabe
Es sei ein Körper und eine integre, endlich erzeugte -Algebra mit Quotientenkörper . Es sei . Zeige, dass die Menge
offen in ist
(dabei bezeichnet den lokalen Ring im Punkt ).