Dedekindbereich/Quotientenkörper/Hauptdivisor/Definition

Hauptdivisor

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.