Dedekindbereich/Element/Hauptdivisor/Definition

Hauptdivisor zu Ringelement

Es sei ein Dedekindbereich und , . Dann heißt die Abbildung, die jedem Primideal in die Ordnung zuordnet, der durch definierte Hauptdivisor. Er wird mit bezeichnet und als formale Summe

geschrieben.