Kommutative Ringtheorie/Lokalisierung/Lokaler Ring/Fakt/Beweis

Beweis

Die angegebene Menge ist in der Tat ein Ideal in der Lokalisierung

Wir zeigen, dass das Komplement von nur aus Einheiten besteht, so dass es sich um ein maximales Ideal handeln muss. Es sei also , aber nicht in . Dann sind und somit gehört der inverse Bruch ebenfalls zur Lokalisierung.