Projektive Varietät/Dedekindbereich/Rationale Punkte/Fortsetzung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Dedekindbereich mit Quotientenkörper und es sei ein maximales Ideal von mit Restekörper . Dann gelten folgende Aussagen.

  1. Es gibt eine natürliche wohldefinierte Abbildung

    wobei so zu wählen ist, dass für alle und eines der in eine Einheit ist.

  2. Für eine über definierte projektive Varietät gibt es eine natürliche Abbildung .