Dedekindbereich/Hauptdivisor/Endlich/Fakt
Erscheinungsbild
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.
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.