K-Spektrum/Irreduzible Filter, Primideale, irreduzible Teilmengen/Fakt

Aus Wikiversity

Es sei ein algebraisch abgeschlossener Körper und sei eine kommutative -Algebra von endlichem Typ mit -Spektrum .

Dann entsprechen sich folgende Objekte.

  1. Primideale in .
  2. Irreduzible abgeschlossene Teilmengen von .
  3. Irreduzible Filter in .

Dabei entspricht der irreduziblen abgeschlossenen Teilmenge der Filter

Der Halm der Strukturgarbe an diesem Filter ist die Lokalisierung , wobei das zugehörige Primideal bezeichnet.