Kommutative Ringtheorie/Lokalisierung/Lokaler Ring/Fakt/Beweis

Beweis

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

${}R_{\mathfrak {p}}={\left\{{\frac {f}{g}}\mid f\in R,\,g\not \in {\mathfrak {p}}\right\}}\,.$

Wir zeigen, dass das Komplement von ${}{\mathfrak {p}}R_{\mathfrak {p}}$ nur aus Einheiten besteht, sodass es sich um ein maximales Ideal handeln muss. Es sei also ${}q={\frac {f}{g}}\in R_{\mathfrak {p}}$, aber nicht in ${}{\mathfrak {p}}R_{\mathfrak {p}}$. Dann sind ${}f,g\notin {\mathfrak {p}}$ und somit gehört der inverse Bruch ${}{\frac {g}{f}}$ ebenfalls zur Lokalisierung.

Zur bewiesenen Aussage