Definable sets in a hyperbolic group.

DOI10.1142/S021819671350001XMaRDI QIDQ4916248zbMATHOpenAlexFDO

Authors Olga Kharlampovich, Alexei Myasnikov

Publication date 22 April 2013

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

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

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)

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.

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.

Cites work

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

Cited in

(19)

• Definable subgroups of the product of two groups
• Bi-interpretability of some monoids with the arithmetic and applications
• Algebraic and definable closure in free groups
• On the (non) superstable part of the free group
• Theories of relatively free solvable groups with extra predicate
• On a question of A. I. Mal'tsev from the ``Kourovka notebook.
• Fields definable in the free group
• scientific article; zbMATH DE number 7561603 (Why is no real title available?)
• DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS
• Applications of L systems to group theory
• The complexity of verbal languages over groups
• What does a group algebra of a free group ``know about the group?
• Learning pattern languages over groups
• Prime and homogeneous rings and algebras
• Learning pattern languages over groups
• Algebraic subgroups of acylindrically hyperbolic groups
• The triviality problem for profinite completions
• On asymptotic properties of verbal subsets in a group.
• On fully residually-\(\mathcal{R}\) 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)