Namespaces
Variants
Actions

Difference between revisions of "Branch group"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(latex details)
 
(3 intermediate revisions by one other user not shown)
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct and if all png images have been replaced by TeX code, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 75 formulas, 73 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|part}}
 
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 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|group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b1302301.png" /> which has a descending sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b1302302.png" /> of normal subgroups (cf. also [[Normal subgroup|Normal subgroup]]) such that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b1302303.png" />:
+
The first definition is as follows: A branch group is a [[Group|group]] $G$ which has a descending sequence $\{ H _ { n } \} _ { n = 1 } ^ { \infty }$ of normal subgroups (cf. also [[Normal subgroup|Normal subgroup]]) such that for any $n \geq 1$:
  
i) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b1302304.png" />;
+
i) $[G : H ] < \infty$;
  
ii) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b1302305.png" /> (with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b1302306.png" /> factors) for some group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b1302307.png" /> and integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b1302308.png" />;
+
ii) $H _ { n } \cong L _ { n } \times \ldots \times L _ { n }$ (with $M _ { n }$ factors) for some group $L_{n}$ and integer $M _ { n }$;
  
iii) the factorization for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b1302309.png" /> subdivides the factorization for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023010.png" />; in particular, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023011.png" /> is an integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023012.png" />;
+
iii) the factorization for $H _ { n  + 1}$ subdivides the factorization for $H _ { n }$; in particular, $M _ { n+ 1} / M _ { n }$ is an integer $\geq 2$;
  
iv) the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023013.png" /> acts transitively by conjugation on the set of factors of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023014.png" /> (cf. also [[Transitive group|Transitive group]]).
+
iv) the group $G$ acts transitively by conjugation on the set of factors of $H _ { n }$ (cf. also [[Transitive group|Transitive group]]).
  
Another version of the definition uses an action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023015.png" /> on rooted trees. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023016.png" /> be a sequence of integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023017.png" />, called a branch index. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023018.png" /> be a spherically homogeneous rooted tree (cf. also [[Tree|Tree]]) determined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023019.png" />. It has a root vertex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023020.png" />, it has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023021.png" /> vertices on level <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023022.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023023.png" /> is a branch index for level <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023024.png" /> (i.e. every vertex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023025.png" /> of the level <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023026.png" /> has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023027.png" /> successors). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023028.png" /> be a set of vertices of the tree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023029.png" />.
+
Another version of the definition uses an action of $G$ on rooted trees. Let $\overline { m } = \{ m _ { n } \} _ { n = 0 } ^ { \infty }$ be a sequence of integers $\geq 2$, called a branch index. Let $T _ { \overline{m} }$ be a spherically homogeneous rooted tree (cf. also [[Tree|Tree]]) determined by $m$. It has a root vertex $\emptyset$, it has $M _ { n } = m _ { 0 } \ldots m _ { n  - 1}$ vertices on level $n$, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023023.png"/> is a branch index for level $n$ (i.e. every vertex $u$ of the level $| u | = n$ has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023027.png"/> successors). Let $V$ be a set of vertices of the tree $T$.
  
For a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023030.png" /> acting by automorphisms on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023031.png" /> (cf. also [[Automorphism|Automorphism]]) one defines following subgroups:
+
For a group $G$ acting by automorphisms on $T$ (cf. also [[Automorphism|Automorphism]]) one defines following subgroups:
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023032.png" />, a stabilizer of the vertex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023033.png" /> (cf. also [[Stabilizer|Stabilizer]]);
+
$\operatorname { St } _ { G } ( u ) = \{ g \in G : u ^ { g } = u \}$, a stabilizer of the vertex $u \in V$ (cf. also [[Stabilizer|Stabilizer]]);
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023034.png" />, a stabilizer of level <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023035.png" />;
+
$\operatorname { St } _ { G } ( n ) = \cap _ { | u | = n } \operatorname { St } _ { G } ( u )$, a stabilizer of level $n$;
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023036.png" />, a rigid stabilizer of vertex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023037.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023038.png" /> is a subtree of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023039.png" /> with a root vertex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023040.png" />);
+
$\operatorname {rist}_{G} ( u ) = \{ g \in G : g \ \text {acts trivially on } T \backslash T _ { u } \}$, a rigid stabilizer of vertex $u$ ($T _ { u }$ is a subtree of $T$ with a root vertex $u$);
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023041.png" />, a rigid stabilizer of level <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023042.png" /> (i.e. the group generated by the rigid stabilizers of the vertices of level <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023043.png" />). It is clear that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023044.png" /> decomposes as a direct product of groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023045.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023046.png" />. The subgroups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023047.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023048.png" /> have finite index in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023049.png" />, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023050.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023051.png" /> can be trivial subgroups.
+
$\operatorname { rist } _ { G } ( n ) = \langle \operatorname { rist } _ { G } ( u ) : | u | = n \rangle$, a rigid stabilizer of level $n$ (i.e. the group generated by the rigid stabilizers of the vertices of level $n$). It is clear that $\operatorname { rist } _ { G } ( n )$ decomposes as a direct product of groups $\operatorname {rist}_{G} ( u )$, $| u | = n$. The subgroups $\operatorname { St } _ { G } ( u )$ and $\operatorname { St } _ { G } ( n )$ have finite index in $G$, while $\operatorname {rist}_{G} ( u )$ and $\operatorname { rist } _ { G } ( n )$ can be trivial subgroups.
  
An action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023052.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023053.png" /> is called spherically transitive if it is transitive on each level <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023054.png" />; in this case stabilizers and rigid stabilizers of vertices of the same level are conjugate in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023055.png" />.
+
An action of $G$ on $T$ is called spherically transitive if it is transitive on each level $n = 1,2 , \dots$; in this case stabilizers and rigid stabilizers of vertices of the same level are conjugate in $G$.
  
Now, a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023056.png" /> is called a branch group if there is a faithful spherically transitive action of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023057.png" /> on some tree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023058.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023059.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023060.png" />.
+
Now, a group $G$ is called a branch group if there is a faithful spherically transitive action of $G$ on some tree $T _ { \overline{m} }$ such that $[G:\operatorname{rist}_G ( n )]<\infty$ for any $n \geq 1$.
  
A group satisfying the last definition also satisfies the first, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023061.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023062.png" /> being an isomorphic type of groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023063.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023064.png" />. The opposite is not correct. For the class of just infinite groups both definitions are equivalent.
+
A group satisfying the last definition also satisfies the first, with $H _ { n } = \operatorname { rist } _ { G } ( n )$ and $L_{n}$ being an isomorphic type of groups $\operatorname {rist}_{G} ( u )$, $| u | = n$. 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023065.png" /> or in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023066.png" />, considered as a [[Profinite group|profinite group]].
+
A profinite branch group is defined in the same manner as above, only all groups involved have to be closed subgroups in $G$ or in $\operatorname{Aut}T$, considered as a [[Profinite group|profinite group]].
  
The importance of the class of branch groups follows from the following theorem [[#References|[a3]]], [[#References|[a9]]]: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023067.png" /> be an abstract just infinite group. Then either <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023068.png" /> is a branch group or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023069.png" /> contains a [[Normal subgroup|normal subgroup]] of finite index which is isomorphic to a direct product of a finite number of copies of a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023070.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023071.png" /> is either a [[Simple group|simple group]] or a hereditarily just infinite group (i.e. a [[Residually-finite group|residually-finite group]] with just infinite subgroups of finite index).
+
The importance of the class of branch groups follows from the following theorem [[#References|[a3]]], [[#References|[a9]]]: Let $G$ be an abstract just infinite group. Then either $G$ is a branch group or $G$ contains a [[Normal subgroup|normal subgroup]] of finite index which is isomorphic to a direct product of a finite number of copies of a group $L$, where $L$ is either a [[Simple group|simple group]] or a hereditarily just infinite group (i.e. a [[Residually-finite group|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.
 
For profinite just infinite groups, this trichotomy becomes a dichotomy, as simple groups cannot occur.
Line 37: Line 45:
 
The class of just infinite branch groups coincides with the class of just infinite groups with an infinite structural lattice of normal subgroups [[#References|[a10]]]. The first finitely-generated just infinite branch groups were constructed in [[#References|[a4]]], [[#References|[a5]]], [[#References|[a6]]], [[#References|[a8]]], [[#References|[a7]]].
 
The class of just infinite branch groups coincides with the class of just infinite groups with an infinite structural lattice of normal subgroups [[#References|[a10]]]. The first finitely-generated just infinite branch groups were constructed in [[#References|[a4]]], [[#References|[a5]]], [[#References|[a6]]], [[#References|[a8]]], [[#References|[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 [[#References|[a4]]], [[#References|[a5]]], [[#References|[a6]]], [[#References|[a8]]], [[#References|[a7]]] it was shown that for any prime number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023072.png" /> there is a finitely-generated branch torsion <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023073.png" />-group (cf. also [[P-group|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023074.png" />-group]]).
+
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 [[#References|[a4]]], [[#References|[a5]]], [[#References|[a6]]], [[#References|[a8]]], [[#References|[a7]]] it was shown that for any prime number $p$ there is a finitely-generated branch torsion $p$-group (cf. also [[P-group|$p$-group]]).
  
 
In [[#References|[a5]]], [[#References|[a6]]], [[#References|[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|Polynomial and exponential growth in groups and algebras]]).
 
In [[#References|[a5]]], [[#References|[a6]]], [[#References|[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|Polynomial and exponential growth in groups and algebras]]).
Line 48: Line 56:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  L. Bartholdi,  R.I. Grigorchuk,  "Lie methods in growth of groups and groups of finite width" , ''Proc. Conf. Group Theory Edinburg 1998''  (to appear)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  L. Bartholdi,  R.I. Grigorchuk,  "On the spectrum of Hecke type operators related to some fractal groups"  (to appear)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  R.I. Grigorchuk,  "Just infinite branch groups"  M. du Santoy (ed.)  D. Segal (ed.) , ''Horizons in Profinite Groups'' , Birkhäuser  (to appear)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R.I. Grigorchuk,  "On the Burnside problem for periodic groups"  ''Funct. Anal. Appl.'' , '''14'''  (1980)  pp. 41–43</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  R.I. Grigorchuk,  "On Milnor's problem on group growth"  ''Soviet Math. Dokl.'' , '''28'''  (1983)  pp. 23–26</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  R.I. Grigorchuk,  "Degrees of growth of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130230/b13023075.png" />-groups and torsion free groups"  ''Mat. Sb. (N.S.)'' , '''126''' :  168:2  (1985)  pp. 194–214</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  N. Gupta,  S Sidki,  "On the Burnside problem for periodic groups"  ''Math. Z.'' , '''182'''  (1983)  pp. 385–388</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  J.S. Wilson,  "Abstract and profinite just infinite groups"  M. du Santoy (ed.)  D. Segal (ed.) , ''Horizons in Profinite Groups'' , Birkhäuser  (to appear)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  J.S. Wilson,  "Groups with every proper quotient finite"  ''Proc. Cambridge Philos. Soc.'' , '''69'''  (1971)  pp. 373–391</TD></TR></table>
+
<table>
 +
<tr><td valign="top">[a1]</td> <td valign="top">  L. Bartholdi,  R.I. Grigorchuk,  "Lie methods in growth of groups and groups of finite width" , ''Proc. Conf. Group Theory Edinburg 1998''  (to appear)</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  L. Bartholdi,  R.I. Grigorchuk,  "On the spectrum of Hecke type operators related to some fractal groups"  (to appear)</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  R.I. Grigorchuk,  "Just infinite branch groups"  M. du Santoy (ed.)  D. Segal (ed.) , ''Horizons in Profinite Groups'' , Birkhäuser  (to appear)</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  R.I. Grigorchuk,  "On the Burnside problem for periodic groups"  ''Funct. Anal. Appl.'' , '''14'''  (1980)  pp. 41–43</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  R.I. Grigorchuk,  "On Milnor's problem on group growth"  ''Soviet Math. Dokl.'' , '''28'''  (1983)  pp. 23–26</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  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</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  R.I. Grigorchuk,  "Degrees of growth of $p$-groups and torsion free groups"  ''Mat. Sb. (N.S.)'' , '''126''' :  168:2  (1985)  pp. 194–214</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  N. Gupta,  S Sidki,  "On the Burnside problem for periodic groups"  ''Math. Z.'' , '''182'''  (1983)  pp. 385–388</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  J.S. Wilson,  "Abstract and profinite just infinite groups"  M. du Santoy (ed.)  D. Segal (ed.) , ''Horizons in Profinite Groups'' , Birkhäuser  (to appear)</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  J.S. Wilson,  "Groups with every proper quotient finite"  ''Proc. Cambridge Philos. Soc.'' , '''69'''  (1971)  pp. 373–391</td></tr>
 +
</table>

Latest revision as of 13:08, 10 February 2024

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 $G$ which has a descending sequence $\{ H _ { n } \} _ { n = 1 } ^ { \infty }$ of normal subgroups (cf. also Normal subgroup) such that for any $n \geq 1$:

i) $[G : H ] < \infty$;

ii) $H _ { n } \cong L _ { n } \times \ldots \times L _ { n }$ (with $M _ { n }$ factors) for some group $L_{n}$ and integer $M _ { n }$;

iii) the factorization for $H _ { n + 1}$ subdivides the factorization for $H _ { n }$; in particular, $M _ { n+ 1} / M _ { n }$ is an integer $\geq 2$;

iv) the group $G$ acts transitively by conjugation on the set of factors of $H _ { n }$ (cf. also Transitive group).

Another version of the definition uses an action of $G$ on rooted trees. Let $\overline { m } = \{ m _ { n } \} _ { n = 0 } ^ { \infty }$ be a sequence of integers $\geq 2$, called a branch index. Let $T _ { \overline{m} }$ be a spherically homogeneous rooted tree (cf. also Tree) determined by $m$. It has a root vertex $\emptyset$, it has $M _ { n } = m _ { 0 } \ldots m _ { n - 1}$ vertices on level $n$, and is a branch index for level $n$ (i.e. every vertex $u$ of the level $| u | = n$ has successors). Let $V$ be a set of vertices of the tree $T$.

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

$\operatorname { St } _ { G } ( u ) = \{ g \in G : u ^ { g } = u \}$, a stabilizer of the vertex $u \in V$ (cf. also Stabilizer);

$\operatorname { St } _ { G } ( n ) = \cap _ { | u | = n } \operatorname { St } _ { G } ( u )$, a stabilizer of level $n$;

$\operatorname {rist}_{G} ( u ) = \{ g \in G : g \ \text {acts trivially on } T \backslash T _ { u } \}$, a rigid stabilizer of vertex $u$ ($T _ { u }$ is a subtree of $T$ with a root vertex $u$);

$\operatorname { rist } _ { G } ( n ) = \langle \operatorname { rist } _ { G } ( u ) : | u | = n \rangle$, a rigid stabilizer of level $n$ (i.e. the group generated by the rigid stabilizers of the vertices of level $n$). It is clear that $\operatorname { rist } _ { G } ( n )$ decomposes as a direct product of groups $\operatorname {rist}_{G} ( u )$, $| u | = n$. The subgroups $\operatorname { St } _ { G } ( u )$ and $\operatorname { St } _ { G } ( n )$ have finite index in $G$, while $\operatorname {rist}_{G} ( u )$ and $\operatorname { rist } _ { G } ( n )$ can be trivial subgroups.

An action of $G$ on $T$ is called spherically transitive if it is transitive on each level $n = 1,2 , \dots$; in this case stabilizers and rigid stabilizers of vertices of the same level are conjugate in $G$.

Now, a group $G$ is called a branch group if there is a faithful spherically transitive action of $G$ on some tree $T _ { \overline{m} }$ such that $[G:\operatorname{rist}_G ( n )]<\infty$ for any $n \geq 1$.

A group satisfying the last definition also satisfies the first, with $H _ { n } = \operatorname { rist } _ { G } ( n )$ and $L_{n}$ being an isomorphic type of groups $\operatorname {rist}_{G} ( u )$, $| u | = n$. 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 $G$ or in $\operatorname{Aut}T$, considered as a profinite group.

The importance of the class of branch groups follows from the following theorem [a3], [a9]: Let $G$ be an abstract just infinite group. Then either $G$ is a branch group or $G$ contains a normal subgroup of finite index which is isomorphic to a direct product of a finite number of copies of a group $L$, where $L$ 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 $p$ there is a finitely-generated branch torsion $p$-group (cf. also $p$-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 $p$-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
How to Cite This Entry:
Branch group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Branch_group&oldid=13125
This article was adapted from an original article by R.I. Grigorchuck (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article