Definable sets in a hyperbolic group.

DOI10.1142/S021819671350001XzbMATH Open1282.20021arXiv1111.0577OpenAlexW2962936267MaRDI QIDQ4916248FDOQ4916248

Authors: Olga Kharlampovich, Alexei Myasnikov 

Publication date: 22 April 2013

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Abstract: We give a description of definable sets $P=(p_1,\mathrm{...},p_m)$ in a free non-abelian group $F$ and in a torsion-free non-elementary hyperbolic group $G$ that follows from our work on the Tarski problems. This answers Malcev's question for $F$. As a corollary we show that proper non-cyclic subgroups of $F$ and $G$ are not definable and prove Bestvina and Feighn's result that definable subsets $P=(p)$ in a free group are either negligible or co-negligible in their terminology.

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

Recommendations

• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Fields definable in the free group
• Algebraic and definable closure in free groups
• On a question of A. I. Mal'tsev from the ``Kourovka notebook.
• Diophantine geometry over groups. VI: The elementary theory of a free group.

zbMATH Keywords

free groupsprimitive elementshyperbolic groupsfirst-order formulaedefinable sets

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Hyperbolic groups and nonpositively curved groups (20F67) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Interpolation, preservation, definability (03C40) Applications of logic to group theory (20A15)

Cites Work

• Elementary theory of free non-abelian groups.
• Canonical representatives and equations in hyperbolic groups
• ON RESIDUALING HOMOMORPHISMS AND G-SUBGROUPS OF HYPERBOLIC GROUPS
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Implicit function theorem over free groups.

Cited In (17)

• The complexity of verbal languages over groups
• On asymptotic properties of verbal subsets in a group.
• Bi-interpretability of some monoids with the arithmetic and applications
• On the (non) superstable part of the free group
• Fields definable in the free group
• On Fully Residually- Groups
• DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS
• Theories of relatively free solvable groups with extra predicate
• Applications of L systems to group theory
• Learning Pattern Languages over Groups
• Learning pattern languages over groups
• The triviality problem for profinite completions
• Prime and homogeneous rings and algebras
• Title not available (Why is that?)
• Algebraic subgroups of acylindrically hyperbolic groups
• What does a group algebra of a free group ``know about the group?
• Definable subgroups of the product of two groups

This page was built for publication: Definable sets in a hyperbolic group.

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