# Every feild has a subset isomorphic to rational numbers?

by Tyler314
Tags: feilds, isomorphism, linear algebra
 Emeritus Sci Advisor PF Gold P: 9,258 I wouldn't say that it's "immediate", but it's fairly easy to prove. Denote the field by ##\mathbb F##. For each positive integer n, define n1=1+...+1, where 1 is the multiplicative identity of ##\mathbb F##, and there are n copies of 1 on the right. Also define (-n)1=(-1)+...+(-1), and 01=0, where the 0 on the left is the additive identity in the field of integers, and the 0 on the right is the additive identity of ##\mathbb F##. Now you can define a function ##f:\mathbb Q\to\mathbb F## by $$f\left(\frac p q\right)=(p1)(q1)^{-1}.$$ This only makes sense if we can prove that the right-hand side depends only on the quotient p/q, so you would have to do that. Then you would of course also have to prove that this f is a field isomorphism.