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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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 .