Normaler noetherscher Bereich/Hauptdivisor/Definition

Hauptdivisor

Es sei ein normaler noetherscher Integritätsbereich mit Quotientenkörper . Es sei , . Dann heißt die Abbildung, die jedem Primideal der Höhe in die Ordnung zuordnet, der durch definierte Hauptdivisor. Er wird mit bezeichnet und als formale Summe

geschrieben.