Zum Inhalt springen

Noethersches normales integres Schema/Hauptdivisor/Definition

Aus Wikiversity
Hauptdivisor

Es sei ein normales noethersches integres Schema mit Funktionenkörper und sei , . Dann heißt die formale Summe

wobei die Ordnung von im lokalen Ring zu bezeichnet, der durch definierte Hauptdivisor.