1
$\begingroup$

I'm trying to show by an example that a field $F$ of quotients of a proper subdomain $A$ of an integral domain $D$ may also be a field of quotients of $D$. I have no idea where to begin. Help?

  • 4
    Instead of starting with $D$, start somewhere between $D$ and $F$.2011-11-28

2 Answers 2

4

Let $B$ be a domain which is not a field, and let $K$ be its field of quotients.

To get your example, pick $D=K$, so that $F=K$, and $A=B$.

  • 0
    In this context one usually one considers subrings which contain the same $1$. apart from that: what about that?2011-11-28
4

HINT $\ $ Any ring between a domain and its fraction field necessarily has the same fraction field. For some nontrivial examples consider $\rm\:\mathbb Z\subset$ dyadic $\mathbb Q$ $\rm = \{\: m/2^n\ :\ m\in \mathbb Z,\ n\in \mathbb N\:\}\ $ and consider $\rm\:\mathbb Z\subset$ $\mathbb Z_{(2)}$ $\rm = \{\: m/n\ :\ m\in \mathbb Z,\ odd\ n\in \mathbb Z\:\}\:.$