Zahlbereich/Gebrochene Ideale und Divisoren/Bijektion/Fakt/Beweis

Aus Wikiversity
Beweis

Wir haben zu zeigen, dass die hintereinandergeschalteten Abbildungen jeweils die Identität ergeben. Dies kann man mittels Fakt auf den effektiven Fall zurückführen. Die Zuordnung führt die Multiplikation von gebrochenen Idealen in die Addition von Divisoren über, da dies an jedem diskreten Bewertungsring gilt. Wegen der Bijektivität liegt dann auch links eine Gruppe vor und die Abbildungen sind Gruppenisomorphismen.