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.

I have to prove the following: if $a$, $b$, $n \in \mathbb N$ and $\frac{a^k}{b^{k-1} n^k} \in \mathbb Z$ for every $k \in \mathbb N$ then $\frac {a}{bn} \in \mathbb Z$. I was said that this is an easy exercise in number theory, but i am somewhat stuck on it... Please help.

share|improve this question
2  
Consider $(\forall k\ge1)\,bx^k\in\Bbb Z\implies x\in\Bbb Z$ with $x=\frac{a}{bn}$. –  blue May 25 at 19:45
    
Oh, in this reformulation the problem becomes really obvious! –  Elensil May 25 at 20:32

1 Answer 1

up vote 4 down vote accepted

Suppose to the contrary that $\frac{a}{bn}$ is not an integer.

Then there a prime $p$ such that the exponent of $p$ in (the prime power factorization of) $bn$ is greater than the exponent of $p$ in $a$. Let the exponent of $p$ in $a$ be $s$, and the exponent in $bn$ be $t$. Then $t\gt s$.

If $b$ is not divisible by $p$, then the exponent of $p$ in $a^k$ is less than the exponent of $p$ in $b^{k-1}n^k$, so $\frac{a^k}{b^{k-1}n^k}$ is not an integer.

Let the exponent of $p$ in $b$ be $u$. We must have $u\ge 1$.

Note that $\frac{a^k}{b^{k-1}n^k}=b\frac{a^k}{b^kn^k}$. The exponent of $p$ in this is $u +(ks-kt)$. If $s\lt t$, then for any large enough $k$, we have $u+k(s-t)\lt 0$, meaning that $b\frac{a^k}{b^kn^k}$ is not an integer.

share|improve this answer

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.