Kommutative Ringtheorie/Lokalisierung/Lokaler Ring/Fakt

Sei ${}R$ ein kommutativer Ring und sei ${}{\mathfrak {p}}$ ein Primideal in ${}R$ .

Dann ist die Lokalisierung ${}R_{\mathfrak {p}}$ ein lokaler Ring mit maximalem Ideal

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

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.