1: \begin{abstract}

2: We formulate a general question regarding the size of the iterated Galois groups associated to an algebraic dynamical system and then we discuss some special cases of our question.

3: %  Let $K$ be a finitely generated function field over $\Qbar$. Let $f\in K[x]$ be of the form $f(x)=x^q+c$ where $q = p^{r}, r \ge 1,$ is a power of the prime number $p$, and

4: %  let $\beta\in \Kbar$. For all $n\in\mathbb{N}\cup\{\infty\}$, the

5: %  Galois groups $G_n(\beta)=\Gal(K(f^{-n}(\beta))/K(\beta))$ embed

6: %  into $[C_q]^n$, the $n$-fold wreath product of the cyclic group $C_q$.  

7: %  We show that if  $f$ is not isotrivial, then

8: %  $[[C_q]^\infty:G_\infty(\beta)]<\infty$ unless $\beta$ is postcritical or periodic.  We are also able to

9: %  prove that if $f_1(x)=x^q+c_1$ and $f_2(x)=x^q+c_2$ are two such distinct polynomials, then 

10: %  the fields $\bigcup_{n=1}^\infty K(f_1^{-n}(\beta))$ and $\bigcup_{n=1}^\infty K(f_2^{-n}(\beta))$ 

11: %  are disjoint over a finite extension of $K$. Our results extend the ones proven originally by the authors under the extra hypothesis that $\trdeg_{\Qbar} K=1$.     

12: \end{abstract}

13: