Centralizers of elements in a group of tree automorphisms

The finitely generated centralizers of elements in the Grigorchuk 2-group are described (answering a question of Lennox). The double centralizers of elements and the centralizers of involutions are studied. An analogue of the congruence problem is solved affirmatively. The indices of congruence subgroups and the terms of the commutator series are calculated.