Elementarily free groups are subgroup separable

DOI10.1112/PLMS/PDM020MaRDI QIDQ5308199zbMATH OpenOpenAlexFDO

Authors Henry Wilton

Publication date 27 September 2007

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0511414

zbMATH Keywords

elementarily free groupselementary theorieslimit groupssubgroup separability

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) Free nonabelian groups (20E05) Residual properties and generalizations; residually finite groups (20E26) Geometric group theory (20F65)

Abstract: Elementarily free groups are the finitely generated groups with the same elementary theory as free groups. We prove that elementarily free groups are subgroup separable, answering a question of Zlil Sela.

Recommendations

• scientific article; zbMATH DE number 2123633
• Hall's theorem for limit groups.
• Magnus pairs in, and free conjugacy separability of, limit groups
• Elementary embeddings in torsion-free hyperbolic groups.
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Limit groups, positive-genus towers and measure-equivalence
• Elementary equivalence vs. commensurability for hyperbolic groups
• scientific article; zbMATH DE number 1789956
• scientific article; zbMATH DE number 6479060
• Special groups with an elementary hierarchy are virtually free-by- Z.

Cited in

(9)

• Zariski closures and subgroup separability
• Subgroups of direct products of elementarily free groups.
• Hall's theorem for limit groups.
• Separability and randomness in free groups
• One-ended subgroups of graphs of free groups with cyclic edge groups.
• Efficient separability in free groups.
• A Bass–Serre theoretic proof of a theorem of Romanovskii and Burns
• The Hanna Neumann conjecture for graphs of free groups with cyclic edge groups
• Special groups with an elementary hierarchy are virtually free-by- Z.

This page was built for publication: Elementarily free groups are subgroup separable

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