Zum Inhalt springen

Kommutative Ringtheorie/K-Spektrum/Multiplikatives System und topologischer Filter/Aufgabe

Aus Wikiversity

Es sei K ein Körper, sei R eine kommutative K-Algebra von endlichem Typ und sei S ein multiplikatives System in R. Zu S definieren wir

F(S)={UKSpek(R) offen es gibt fS mit D(f)U}.


a) Zeige, dass  F=F(S)  ein topologischer Filter in KSpek(R) ist.


b) Zeige, dass es einen Ringhomomorphismus

RS𝒪F

gibt.


c) Zeige, dass der Ringhomomorphismus aus (b) eine Isomorphie ist, falls K algebraisch abgeschlossen und R reduziert ist.