How to prove a number system is a fraction field of another?

Solution 1:

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.

In your case $\,A\,$ is a domain and $\,S\,$ is the set of nonzero elements in $A.\,$ Since $\,S\,$ contains no zero-divisors, condition $(ii)$ in the Corollary simplifies to $\,g:A\to Q\,$ is an injection. Thus $\,B = Q\,$ is isomorphic to the quotient field of $A\,$ if $\,Q\,$ contains an isomorphic image $\bar A$ of $A$ such that every nonzero $\,a\in A\,$ maps to a unit $\, \bar a = g(a)\,$ in $Q,\,$ and every $\,q\in Q\,$ is a fraction over $\bar A,\,$ i.e. $\,q = \bar a/\bar b = \bar a \bar b^{-1}\,$ for some $\,0\neq b,\,a\in A.$