Zahlentheorie/Ganzheitring/Hauptdivisor ist endlich/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Zahlbereich und , . Dann ist nur für endlich viele Primideale in die Ordnung von verschieden. Das heißt, dass der Hauptdivisor eine endliche Summe ist.

Zum Beweis, Alternativen Beweis erstellen