First of all excuse my ignorance in number theory, the following question might have a well-known solution or it might be an open problem, I just don't know enough in that area of mathematics (and many others). Let $P\in \mathbb{Z}[X]$ irreducible and of degree at least 1. For $k\in \mathbb{N}, k\geq 2$, denote by $S_k$ the set of integers $n$ such that there exists $m\in \mathbb{Z}$ and $P(n)=m^k$. Is $S_k$ finite?
-
3$\begingroup$ No. For example, by the theory of Pell equations many quadratic polynomials such as 2x^2 + 1 take on square values infinitely often. $\endgroup$– Qiaochu YuanMar 23, 2010 at 23:28
-
1$\begingroup$ On the other hand, if either k or the degree of P is greater than or equal to 3, see en.wikipedia.org/wiki/Siegel%27s_theorem_on_integral_points . $\endgroup$– Qiaochu YuanMar 24, 2010 at 0:16
1 Answer
As Qiaochu said in the comments, you must include Pell type equations as a special case, because they are the only counter example. At least for $k=2$, Siegel's theorem on integral points on algebraic curves implies that if your polynomial $P(x)$ has at least three distinct roots then $P(n)=m^2$ has only finitely many solutions. So your conjecture is, in particular, true for irreducible polynomials of degree higher than 2.
Anyway, for the general question for any exponent it's better that you read the full story in "The diophantine equation f(x)=g(y)" by Y. Bilu and R.F. Tichy.
-
$\begingroup$ Oops! I should have updated the comments section... $\endgroup$ Mar 24, 2010 at 0:42