Zahlbereich/Gebrochene Ideale und Divisoren/Bijektion/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Korrespondenzsatz für Divisoren und gebrochene Ideale

Es sei ein Zahlbereich. Dann sind die Zuordnungen

zueinander inverse Abbildungen zwischen der Menge der von verschiedenen gebrochenen Ideale und der Menge der Divisoren. Diese Bijektion ist ein Isomorphismus von Gruppen.

Zum Beweis, Alternativen Beweis erstellen