Kommutativer Ring/Ideal/Spektrumsmodul/Isomorphie/Aufgabe

Es sei ${}{\mathfrak {a}}\subseteq R$ ein Ideal in einem kommutativen Ring ${}R$ und ${}X=\operatorname {Spek} {\left(R\right)}$. Zeige

${}{\widetilde {\mathfrak {a}}}{|}_{D({\mathfrak {a}})}\cong {\mathcal {O}}_{X}{|}_{D({\mathfrak {a}})}\,.$

Eine Lösung erstellen