Greatest common divisors of iterates of polynomials
Following work of Bugeaud, Corvaja, and Zannier for integers, Ailon and Rudnick prove that for any multiplicatively independent polynomials, , there is a polynomial such that for all , we have We prove a compositional analog of this theorem, namely that if are nonconstant compositionally independent polynomials and , then there are at most finitely many with the property that there is an such that divides .