Es sei ${\displaystyle {}R}$ ein Dedekindbereich und ${\displaystyle {}S\subseteq R}$ ein multiplikatives System mit ${\displaystyle {}0\notin S}$. Zeige, dass ein kommutatives Diagramm

${\displaystyle {\begin{matrix}R\setminus \{0\}&{\stackrel {}{\longrightarrow }}&\operatorname {EffDiv} (R)&\\\downarrow &&\downarrow &\\R_{S}\setminus \{0\}&{\stackrel {}{\longrightarrow }}&\operatorname {EffDiv} (R_{S})&\!\!\!\!\!\\\end{matrix}}}$

vorliegt, wobei die vertikale Abbildung rechts einfach diejenigen Komponenten ${\displaystyle {}{\mathfrak {p}}}$ eines effektiven Divisors

${\displaystyle {}D}$

${\displaystyle {}\operatorname {Spek} {\left(R_{S}\right)}}$