1: \begin{abstract}

2: We study in detail the profinite group $G$ arising as geometric \'etale iterated monodromy group of an arbitrary quadratic polynomial over a field of characteristic different from two. This is a self-similar closed subgroup of the group of automorphisms of a regular rooted binary tree. 

3: (When the base field is $\BC$ it is the closure of the finitely generated iterated monodromy group for the usual topology which is also often studied.)

4: Among other things we prove that the conjugacy class and hence the isomorphism class of $G$ depends only on the combinatorial type of the postcritical orbit of the polynomial. 

5: 

6: We represent a chosen instance of $G$ by explicit recursively defined generators. The uniqueness up to conjugacy depends on a certain semirigidity property, which ensures that arbitrary conjugates of these generators under the automorphism group of the tree always generate a subgroup that is conjugate to~$G$. We determine the Hausdorff dimension, the maximal abelian factor group, and the normalizer of~$G$ using further explicit generators. The description of the normalizer is then used to describe the arithmetic \'etale iterated monodromy group of the quadratic polynomial. 

7: 

8: The methods used are purely group theoretical and do not involve fundamental groups over $\BC$ at all.

9: \end{abstract}

10: