ABC implies primitive prime divisors in arithmetic dynamic

Chad Gratton, Khoa Nguyen, Thomas J. Tucker

Let K be a number field, let f(x) in K(x) be a rational function of degree d> 1, and let z in K be a wandering point such that f^n(z) is nonzero for all n > 0. We prove that if the…