The finiteness of the number of symmetrical extensions of a locally finite tree by a finite graph
Vladimir Ivanovich Trofimov · Proceedings of the Steklov Institute of Mathematics · 2016
We prove that there are only finitely many symmetrical extensions of a locally finite tree by a finite graph. Moreover, we prove that there are only finitely many pairwise nonequivalent realizations of symmetrical extensions of a locally finite tree by a finite graph.