Quotient field of a localization

2.7k Views Asked by At

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.

1

There are 1 best solutions below

0
On 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