Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Given two distinct primes, $p_1,p_2$, is it true that there are no non-zero integers $k_1,k_2$,$|k_1| < p_2$, $|k_2|<p_1$ such as that:

$$k_1p_1=k_2p_2$$

If so, how to prove it?

share|improve this question
4  
Start by recalling the Fundamental Theorem of Arithmetic –  Alex R. Sep 14 '12 at 0:48
    
I assume you mean that there are no positive integers $k_1, k_2$ with this property. –  user22805 Sep 14 '12 at 0:50
    
@DavidWallace, I meant to include negative, but clarified the constraint. –  Realz Slaw Sep 14 '12 at 0:52
    
$p_1 \neq p_2$ ? –  user22805 Sep 14 '12 at 0:55
    
@DavidWallace: thanks again, edited to "distinct primes". –  Realz Slaw Sep 14 '12 at 0:56

2 Answers 2

up vote 1 down vote accepted

The statement is true.

Let us assume that $k_1,k_2$ are integers with $|k_1| < p_2$, $|k_2|<p_1$ and $k_1p_1=k_2p_2$. $k_1$ and $k_2$ are products of prime numers, say $$|k_1|=a_1\cdots a_n,\quad |k_2|=b_1\cdots b_m.$$

Then you have the equation

$$ a_1\cdots a_n\cdot p_1=b_1\cdots b_m\cdot p_2.$$

After eventually dividing all equal primes of the $a_i$'s and the $b_j$'s of this equation (here you need, that $p_1, p_2$ are distinct, so that you cannot divide all $a_i$'s and $b_j$'s!) you can assume, that there must be an $a_r$ with $a_r=p_2$ or a $b_s$ with $b_s=p_1$. But then for the first case (the second case analogously)

$$|k_1|= a_1\cdots a_n\geq a_r=p_2,$$ which is a contradiction.

share|improve this answer
1  
Overkill. $p\mid ab$ implies $p\mid a$ or $p\mid b$ is all you need. –  Gerry Myerson Sep 14 '12 at 3:33

At the suggestion of OP:

First of all, what we are asked to prove is false, since nothing in the statement of the question prevents us from taking $k_1=k_2=0$. So let's rule that out by adding the condition $k_i\ne0$ for $i=1,2$.

Now there's a theorem that says if $p$ is prime and $p\mid ab$ then $p\mid a$ or $p\mid b$. This theorem is generally encountered as a step along the way to the Unique Factorization Theorem.

Given that theorem, from $k_1p_1=k_2p_2$ we have $p_1\mid k_2p_2$ so $p_1\mid k_2$ or $p_1\mid p_2$. Now from $0\lt|k_2|\lt p_1$ we can rule out the first alternative, and from $p_i$ being distinct primes, we can rule out the second, and we're done.

share|improve this answer
    
Added the non-zero constraint, ty. –  Realz Slaw Sep 14 '12 at 13:45

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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