Branch group

The class of branch groups is recently (1999) defined, and consists of groups with many remarkable properties. It is one of three classes that naturally partition the class of just infinite groups (i.e. infinite groups with finite proper quotients). There are two (non-equivalent) ways to define the class of branch groups.

The first definition is as follows: A branch group is a group which has a descending sequence of normal subgroups (cf. also Normal subgroup) such that for any :

i) ;

ii) (with factors) for some group and integer ;

iii) the factorization for subdivides the factorization for ; in particular, is an integer ;

iv) the group acts transitively by conjugation on the set of factors of (cf. also Transitive group).

Another version of the definition uses an action of on rooted trees. Let be a sequence of integers , called a branch index. Let be a spherically homogeneous rooted tree (cf. also Tree) determined by . It has a root vertex , it has vertices on level , and is a branch index for level (i.e. every vertex of the level has successors). Let be a set of vertices of the tree .

For a group acting by automorphisms on (cf. also Automorphism) one defines following subgroups:

, a stabilizer of the vertex (cf. also Stabilizer);

, a stabilizer of level ;

, a rigid stabilizer of vertex ( is a subtree of with a root vertex );

, a rigid stabilizer of level (i.e. the group generated by the rigid stabilizers of the vertices of level ). It is clear that decomposes as a direct product of groups , . The subgroups and have finite index in , while and can be trivial subgroups.

An action of on is called spherically transitive if it is transitive on each level ; in this case stabilizers and rigid stabilizers of vertices of the same level are conjugate in .

Now, a group is called a branch group if there is a faithful spherically transitive action of on some tree such that for any .

A group satisfying the last definition also satisfies the first, with and being an isomorphic type of groups , . The opposite is not correct. For the class of just infinite groups both definitions are equivalent.

A profinite branch group is defined in the same manner as above, only all groups involved have to be closed subgroups in or in , considered as a profinite group.

The importance of the class of branch groups follows from the following theorem [a3], [a9]: Let be an abstract just infinite group. Then either is a branch group or contains a normal subgroup of finite index which is isomorphic to a direct product of a finite number of copies of a group , where is either a simple group or a hereditarily just infinite group (i.e. a residually-finite group with just infinite subgroups of finite index).

For profinite just infinite groups, this trichotomy becomes a dichotomy, as simple groups cannot occur.

The class of just infinite branch groups coincides with the class of just infinite groups with an infinite structural lattice of normal subgroups [a10]. The first finitely-generated just infinite branch groups were constructed in [a4], [a5], [a6], [a8], [a7].

Since every finitely-generated infinite group can be mapped onto a just infinite group, the above theorem shows that the class of branch groups should contain groups with many specific properties that are stable under the factorization. This has been confirmed by many investigations. Namely in [a4], [a5], [a6], [a8], [a7] it was shown that for any prime number there is a finitely-generated branch torsion -group (cf. also -group).

In [a5], [a6], [a7] the first examples of groups of intermediate growth between polynomial and exponential are constructed (cf. also Polynomial and exponential growth in groups and algebras).

Examples of branch groups of finite width (i.e with uniformly bounded ranks of quotients of lower central series) are considered in [a1].

Applications of branch groups to the theory of the discrete Laplace operator on graphs are given in [a2].

For more information on branch groups, see [a3].

References

[a1]	L. Bartholdi, R.I. Grigorchuk, "Lie methods in growth of groups and groups of finite width" , Proc. Conf. Group Theory Edinburg 1998 (to appear)
[a2]	L. Bartholdi, R.I. Grigorchuk, "On the spectrum of Hecke type operators related to some fractal groups" (to appear)
[a3]	R.I. Grigorchuk, "Just infinite branch groups" M. du Santoy (ed.) D. Segal (ed.) , Horizons in Profinite Groups , Birkhäuser (to appear)
[a4]	R.I. Grigorchuk, "On the Burnside problem for periodic groups" Funct. Anal. Appl. , 14 (1980) pp. 41–43
[a5]	R.I. Grigorchuk, "On Milnor's problem on group growth" Soviet Math. Dokl. , 28 (1983) pp. 23–26
[a6]	R.I. Grigorchuk, "The growth degrees of finitely generated groups and the theory of invariant means" Izv. Akad. Nauk. SSSR Ser. Mat. , 48 : 5 (1984) pp. 939–985
[a7]	R.I. Grigorchuk, "Degrees of growth of -groups and torsion free groups" Mat. Sb. (N.S.) , 126 : 168:2 (1985) pp. 194–214
[a8]	N. Gupta, S Sidki, "On the Burnside problem for periodic groups" Math. Z. , 182 (1983) pp. 385–388
[a9]	J.S. Wilson, "Abstract and profinite just infinite groups" M. du Santoy (ed.) D. Segal (ed.) , Horizons in Profinite Groups , Birkhäuser (to appear)
[a10]	J.S. Wilson, "Groups with every proper quotient finite" Proc. Cambridge Philos. Soc. , 69 (1971) pp. 373–391