Zahlbereich/Hauptdivisor/Erste Eigenschaften/Fakt

Es sei ein Zahlbereich. Dann hat die Abbildung, die einem Ringelement den Hauptdivisor zuordnet, also

folgende Eigenschaften.

Hierbei sind die Operationen rechts punktweise definiert.