On Turner's theorem and first-order theory. Issue 1 (2nd January 2017)

• Record Type: Journal Article
• Authors: Fine, Benjamin; Gaglione, Anthony; Lipschutz, Seymour; Spellman, Dennis
• Is Part Of: Communications in algebra. Volume 45:Issue 1(2017)
• Page Start: 29
• Page End: 46
• Publication Date: 2017-01-02
• Subjects: Curious group -- elementary free groups -- first-order theory -- Tarski problems -- test elements -- Turner group -- vacuous Turner group; Primary: 20E26 -- 03C07 -- Secondary: 20F19 -- 20F05; Algebra -- Periodicals; 512.005
• DOI: 10.1080/00927872.2016.1147569
• Languages: English
• ISSNs: 0092-7872

Abstract

ABSTRACT: A theorem of E.C. Turner states that if F is a finitely generated free group, then the test words are precisely the elements not contained in any proper retract. In this paper, we examine some ideas in model theory and logic related to Turner's characterization of test words and introduce Turner groups, a class of groups containing all finite groups and all stably hyperbolic groups satisfying this characterization. We show that Turner's theorem is not first-order expressible. However, we prove that every finitely generated elementary free group is a Turner group.