On countable elementary free groups
Olga Kharlampovich, Christopher Natoli

TL;DR
This paper proves that countable groups elementarily equivalent to non-abelian free groups with cyclic abelian subgroups are unions of hyperbolic tower groups, revealing structural properties of such groups.
Contribution
It establishes a structural characterization of certain countable groups elementarily equivalent to free groups using hyperbolic towers.
Findings
Countable groups with specific elementary equivalence properties are unions of hyperbolic towers.
All abelian subgroups of these groups are cyclic.
Provides a new link between model theory and geometric group theory.
Abstract
We prove that if a countable group is elementarily equivalent to a non-abelian free group and all of its abelian subgroups are cyclic, then the group is a union of a chain of regular NTQ groups (i.e., hyperbolic towers).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGeometric and Algebraic Topology · semigroups and automata theory · Mathematical Dynamics and Fractals
