Dedekindbereich/Hauptdivisor/Endlich/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Dedekindbereich und , .

Dann ist nur für endlich viele Primideale in die Ordnung von verschieden.

Das heißt, dass der Hauptdivisor eine endliche Summe ist.