pith. sign in

arxiv: 1210.5757 · v2 · pith:5AW4A6DEnew · submitted 2012-10-21 · 🧮 math.LO · math.GR

On groups and fields interpretable in torsion-free hyperbolic groups

classification 🧮 math.LO math.GR
keywords grouphyperbolictorsion-freegroupsinterpretabledefinabledescriptionimaginaries
0
0 comments X
read the original abstract

We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela's description of imaginaries in torsion-free hyperbolic groups. We also use the description of imaginaries to prove that if F is a free group of rank > 2 then no orbit of a finite tuple from F under Aut(F) is definable.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.