Integer and Rational Number Subtleties in an Algebra Problem

Bashyboy
Messages
1,419
Reaction score
5

Homework Statement


Let ##S = \{\frac{1}{n} + \mathbb{Z} ~|~ n \in \mathbb{N} \}##. I am trying to show that ##f : \mathbb{N} \rightarrow S## defined by ##f(n) = \frac{1}{n} + \mathbb{Z}## is a bijection. Surjectivity is trivial, but injectivity is a little more involved.

Homework Equations

The Attempt at a Solution



Suppose that ##f(n) = f(m)##. Then ##\frac{1}{n} + \mathbb{Z} = \frac{1}{m} + \mathbb{Z}## or ##\frac{1}{n} - \frac{1}{m} \in \mathbb{Z}##. This implies ##\frac{m-n}{nm}## is an integer. If ##m \neq n##, then the fraction is not zero but a ratio of two nonzero integers. However, if ##\frac{p}{q}## is ##\frac{m-n}{nm}## in reduced form, how do I know that ##q = 1## can't be true; how do I know that ##m \neq n## and ##p=1## can't both be true?
 
Physics news on Phys.org
If ##\frac{m-n}{nm}## is a natural number, which you can assume since both are and one has to be larger than the other (or equal), what does it mean that ##nm\,\vert \,(m-n)\, ##? Just try some values to see what I mean.
 
Suppose n and m are positive integers such that \frac1n - \frac1m = p \in \mathbb{Z}. Now <br /> 0 &lt; n = \frac{m}{1 + pm} and as m &gt; 0 we have that 1 + pm &gt; 0 and so p &gt; -\frac1m. However in fact n \geq 1, so we can get an upper bound on p as well.
 
Suppose n and m are positive integers such that \frac1n - \frac1m = p \in \mathbb{Z}. Now <br /> 0 &lt; n = \frac{m}{1 + pm} and as m &gt; 0 we have that 1 + pm &gt; 0 and so p &gt; -\frac1m. However in fact n \geq 1, so we can get an upper bound on p as well.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top