Endlich erzeugte integre K-Algebra/Definitionsort im K-Spektrum ist offen/Aufgabe/Lösung


Wir zeigen, dass es zu jedem Punkt mit eine offene Umgebung des Punktes gibt derart, dass die Eigenschaft für jeden Punkt der Umgebung gilt. Damit ist dann die Vereinigung dieser offenen Umgebungen offen. Der lokale Ring hat die Gestalt mit einem maximalen Ideal in . Die Zugehörigkeit bedeutet, dass man schreiben kann mit . Damit ist eine offene Umgebung und ist für jeden Punkt dieser

offenen Umgebung ein erlaubter Nenner, so dass für jeden Punkt ebenfalls gilt.