Elementarily free groups are subgroup separable
arXiv:math/0511414
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.
33 pages