A group is self-similar if it acts faithfully on a regular rooted tree in a way that is compatible with the tree's self-similar structure. The Grigorchuk group, the first known group of intermediate growth, was constructed this way. Self-similarity connects abstract algebra to fractal geometry — the tree is the fractal, and the group action encodes the recursion.
Generalized Baumslag-Solitar (GBS) groups are fundamental objects in combinatorial and geometric group theory. They are defined as fundamental groups of graphs of groups where all vertex and edge groups are infinite cyclic. The simplest example is the classical Baumslag-Solitar group BS(m,n), presented by ⟨a, t | t a^m t^{-1} = a^n⟩. These groups arise naturally in the study of 3-manifolds, in rigidity theory, and as test cases for decision problems in group theory.
The connection between these two worlds was not obvious. GBS groups are defined algebraically, through presentations and graphs of groups. Self-similarity is defined dynamically, through actions on trees. There is no a priori reason to expect one to imply the other.
The proof shows that every residually finite GBS group admits a faithful self-similar action on a regular rooted tree. The residual finiteness condition — that the intersection of all finite-index normal subgroups is trivial — is necessary because non-residually-finite groups cannot act faithfully on any profinite tree. But when the condition holds, the graph-of-groups structure translates directly into a self-similar decomposition.
The result extends to certain Heisenberg-type graph-of-groups. The algebraic structure that defines the group encodes, within itself, the recursive pattern that makes it self-similar. The fractal is not imposed from outside — it is discovered inside the algebra.