Quotient Field of a Localization – Abstract Algebra

abstract-algebracommutative-algebraring-theory

I have a basic question about rings of fractions.

Let $R$ be a commutative integral domain with quotient field $K$, $\mathfrak p$ a non-zero prime ideal of $R$ and $R_{\mathfrak p}$ the localization of $R$ at $\mathfrak p$.

Is it true that $K$ is also the quotient field of $R_{\mathfrak p}$? If so how I show this?

Thanking you in advance.

Best Answer

Hint $\ $ The universal mapping property of localizations (or fraction fields) yields an easy test for isomorphism, see the Corollary below, from Atiyah & MacDonald, Commutative Algebra, p. 39.

enter image description here enter image description here