Two Remarks on First-Order Theories of Baumslag-Solitar Groups

Montserrat Casals-Ruiz and Ilya Kazachkov
Arxiv ID: 1002.2658Last updated: 2/10/2020
In this note we characterise all finitely generated groups elementarily equivalent to a solvable Baumslag-Solitar group BS$(1,n)$. It turns out that a finitely generated group $G$ is elementarily equivalent to BS$(1,n)$ if and only if $G$ is isomorphic to BS$(1,n)$. Furthermore, we show that two Baumslag-Solitar groups are existentially (universally) equivalent if and only if they are elementarily equivalent if and only if they are isomorphic.

PaperStudio AI Chat

I'm your research assistant! Ask me anything about this paper.

Related papers

Commercial Disclosure
© 2023 Paper Studio™. All Rights Reserved.