1: \begin{abstract}

2:   We compute the structure of the Lie algebras associated to two

3:   examples of branch groups, and show that one has finite width while

4:   the other, the ``Gupta-Sidki group'', has unbounded width

5:   (Corollary~\ref{cor:gamma:rk}). This answers a question by Sidki.

6:   More precisely (Corollary~\ref{cor:gsgk}) the Lie algebra of the

7:   Gupta-Sidki group has Gelfand-Kirillov dimension

8:   $\log3/\log(1+\sqrt2)$.

9:   

10:   We then draw a general result relating the growth of a branch group,

11:   of its Lie algebra, of its graded group ring, and of a natural

12:   homogeneous space we call \emph{parabolic space}, namely the

13:   quotient of the group by the stabilizer of an infinite ray. The

14:   growth of the group is bounded from below by the growth of its

15:   graded group ring, which connects to the growth of the Lie algebra

16:   by a product-sum formula, and the growth of the parabolic space is

17:   bounded from below by the growth of the Lie algebra

18:   (see Theorem~\ref{thm:growth}).

19:   

20:   Finally we use this information to explicitly describe the normal

21:   subgroups of $\Gg$, the ``Grigorchuk group''.  All normal subgroups

22:   are characteristic, and the number $b_n$ of normal subgroups of

23:   $\Gg$ of index $2^n$ is odd and satisfies

24:   $\{\limsup,\liminf\}b_n/n^{\log_2(3)}=\{5^{\log_2(3)},\frac29\}$

25:   (see Corollary~\ref{cor:asympns}).

26: \end{abstract}

27: