Kommutative Ringtheorie/Nenneraufnahme/Als gerichtetes System/Aufgabe

Es sei ${}R$ ein kommutativer Ring und sei ${}S\subseteq R$ ein multiplikatives System. Auf ${}S$ betrachten wir folgende (partielle) Ordnung, und zwar sagen wir ${}f\preccurlyeq g$, falls ${}f$ eine Potenz von ${}g$ teilt. Zeige, dass die kommutativen Ringe

$R_{f},\,f\in S,$

ein gerichtetes System bilden, und dass für den Kolimes

${}\operatorname {colim} _{f\in S}R_{f}=R_{S}\,$

gilt.

Eine Lösung erstellen