Kommutative Ringtheorie/Primideal/Restekörper als Quotientenring/Fakt

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

Dann ist der Quotientenkörper des Restklassenringes ${}R/{\mathfrak {p}}$ in natürlicher Weise isomorph zum Restekörper der Lokalisierung ${}R_{\mathfrak {p}}$.

Es ist also

${}Q(R/{\mathfrak {p}})=R_{\mathfrak {p}}/{\mathfrak {p}}R_{\mathfrak {p}}\,.$

Zum Beweis, Alternativen Beweis erstellen