6

4

Is every field the field of fractions of an integral domain which is not itself a field?

What about the field of real numbers?

flag
4 
Yes, every field is its own field of fractions! – Mariano Suárez-Alvarez Nov 23 2010 at 15:12
You' re write.I didn't mean the trivial case so i changed the question. – t.k Nov 23 2010 at 15:16
3 
Then no: pick any field with a prime number of elements. – Mariano Suárez-Alvarez Nov 23 2010 at 15:17
Thank you again. What about infinite fields?And the field of real numbers? – t.k Nov 23 2010 at 15:19

1 Answer

19

Every field $F$ of characteristic zero or of prime characteristic but not algebraic over its prime field is the field of fractions of a proper subring of $F$. But no algebraic extension of $\mathbb F_p$ is, since its only subrings are fields.

If $F$ is not an algebraic extension of some $\mathbb F_p$ then $F$ contains a subring $A$ isomorphic to $\mathbb Z$ or $\mathbb F_p[X]$. Each of these rings $A$ has a nontrivial valuation $v$. The valuation $v$ can be prolonged to $F$. Its valuation ring is a proper subring of $F$ whose quotient field is $F$.

link|flag
5 
Variant of the argument: let $B$ be a transcendence basis of $F$. Let $A\subset F$ be the subring generated by $B$. This is a polynomial ring over $\mathbb{Z}$, or a nontrivial polynomial ring over $\mathbb{F}_p$. Now take the integral closure of $A$ in $F$. – Laurent Moret-Bailly Nov 23 2010 at 15:47

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.