Dedekindbereich/Hauptdivisor/Endlich/Fakt/Beweis
<
Dedekindbereich/Hauptdivisor/Endlich/Fakt
Beweis
Es ist
R
/
(
f
)
{\displaystyle {}R/(f)}
nulldimensional, deshalb folgt die Aussage aus
Fakt
.
Zur bewiesenen Aussage