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?
Field of Quotients of an integral domain may also be a field of quotients?
1
$\begingroup$
abstract-algebra
field-theory
-
4Instead of starting with $D$, start somewhere between $D$ and $F$. – 2011-11-28
2 Answers
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$.
-
0In 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\:\}\:.$