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

Es sei ${}R$ ein kommutativer Ring und sei ${}{\mathfrak {p}}$ ein Primideal. Dann ist der Restklassenring ${}S=R/{\mathfrak {p}}$ ein Integritätsbereich mit Quotientenkörper ${}Q=Q(S)$ und ${}R_{\mathfrak {p}}$ ist ein lokaler Ring mit dem maximalen Ideal ${}{\mathfrak {p}}R_{\mathfrak {p}}$. Zeige, dass eine natürliche Isomorphie

${}Q(S)\cong R_{\mathfrak {p}}/{\mathfrak {p}}R_{\mathfrak {p}}\,$

vorliegt.

Zur Lösung, Alternative Lösung erstellen