Integres Schema/Generischer Halm/Körper/Fakt/Beweis

Beweis

Den Halm kann man ausgehend von einer beliebigen nichtleeren affinen offenen Teilmenge bestimmen. Diese haben die Form mit einem kommutativen Ring , der aufgrund von Fakt ein Integritätsbereich ist. Der generische Punkt entspricht dabei dem Nullideal, und die Lokalisierung am Nullideal ergibt den Quotientenkörper von .