1: \begin{abstract}
2: Let $K$ be a number field, $t$ a parameter, $F=K(t)$, and $\ph(x)\in
3: K[x]$ a polynomial of degree $d\geq 2$. The polynomial $\Ph_n(x,t) =
4: \fn{n}(x)-t \in F[x]$, where $\fn{n}=\ph\circ \ph \circ \cdots \circ
5: \ph$ is the $n$-fold iterate of $\ph$, is absolutely irreducible over
6: $F$; we compute a recursion for its discriminant. Let $\ee_\ph$ be
7: the field obtained by adjoining to $F$ all roots (in a fixed
8: $\overline{F}$) of $\Ph_n(x,t)$ for all $n\geq 1$; its Galois group
9: $\Gal(\ee_\ph/F)$ is the iterated monodromy group of $\ph$. The
10: iterated extension $\ee_\ph$ is finitely ramified over $F$ if and only
11: if $\ph$ is post-critically finite. We show that, moreover, for
12: post-critically finite $\ph$, every specialization of $\ee_\ph/F$ at
13: $t=t_0 \in K$ is finitely ramified over $K$, pointing to the
14: possibility of studying Galois groups of number fields with restricted
15: ramification via tree representations associated to iterated monodromy
16: groups of post-critically finite polynomials. We discuss the wildness
17: of ramification in some of these representations, describe prime
18: decomposition in terms of certain finite graphs, and also give some
19: examples of monog\`ene number fields that arise from the construction.
20: \\ \begin{center} August 12, 2004\end{center}
21: \end{abstract}
22: