Elementary subgroups of virtually free groups

DOI10.4171/GGD/638MaRDI QIDQ6331045arXivFDO

Authors Simon André

Publication date 13 December 2019

Published in arXiv

Full work available at URL https://doi.org/10.4171/GGD/638

Mathematics Subject Classification ID

Other classical first-order model theory (03C68) Hyperbolic groups and nonpositively curved groups (20F67)

arXiv classification

math.GRmath.LO

Abstract: We give a description of elementary subgroups (in the sense of first-order logic) of finitely generated virtually free groups. In particular, we recover the fact that elementary subgroups of finitely generated free groups are free factors. Moreover, we give an algorithm that takes as input a finite presentation of a virtually free group $G$ and a finite subset $X$ of $G$, and decides if the subgroup of $G$ generated by $X$ is $existsforallexists$-elementary. We also prove that every elementary embedding of an equationally noetherian group into itself is an automorphism.

This page was built for publication: Elementary subgroups of virtually free groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6331045)