Universal equivalence of generalized Baumslag–Solitar groups
Algebra i logika, Tome 59 (2020) no. 5, pp. 529-541
Voir la notice de l'article provenant de la source Math-Net.Ru
A finitely generated group acting on a tree so that all vertex and edge stabilizers are infinite cyclic groups is called a generalized Baumslag–Solitar group (a $GBS$-group). Every $GBS$-group is the fundamental group $\pi_1(\mathbb{A})$ of a suitable labeled graph $\mathbb{A}$. We prove that if $\mathbb{A}$ and $\mathbb{B}$ are labeled trees, then the groups $\pi_1(\mathbb{A})$ and $\pi_1(\mathbb{B})$ are universally equivalent iff $\pi_1(\mathbb{A})$ and $\pi_1(\mathbb{B})$ are embeddable into each other. An algorithm for verifying universal equivalence is pointed out. Moreover, we specify simple conditions for checking this criterion in the case where the centralizer dimension is equal to $3$.
Keywords:
generalized Baumslag–Solitar group, universal equivalence, existential equivalence, embedding of groups.
@article{AL_2020_59_5_a1,
author = {F. A. Dudkin},
title = {Universal equivalence of generalized {Baumslag{\textendash}Solitar} groups},
journal = {Algebra i logika},
pages = {529--541},
publisher = {mathdoc},
volume = {59},
number = {5},
year = {2020},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_2020_59_5_a1/}
}
F. A. Dudkin. Universal equivalence of generalized Baumslag–Solitar groups. Algebra i logika, Tome 59 (2020) no. 5, pp. 529-541. http://geodesic.mathdoc.fr/item/AL_2020_59_5_a1/