Dedekindbereich/Divisorenklassengruppe/Charakterisierung von faktoriell/Fakt

Es sei ${}R$ ein Dedekindbereich und es bezeichne ${}\operatorname {DKG} {\left(R\right)}$ die Divisorenklassengruppe von ${}R$. Dann sind folgende Aussagen äquivalent.

1. ${}R$ ist ein Hauptidealbereich.
2. ${}R$ ist faktoriell.
3. Es ist ${}\operatorname {DKG} {\left(R\right)}=0$.

Zum Beweis, Alternativen Beweis erstellen