Definable sets in a hyperbolic group.

DOI10.1142/S021819671350001XMaRDI QIDQ4916248zbMATH OpenOpenAlexFDO

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)

• 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
• Learning pattern languages over groups
• On the (non) superstable part of the free group
• Fields definable in the free group
• Algebraic and definable closure in free 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
• On fully residually-\(\mathcal{R}\) groups
• The triviality problem for profinite completions
• Prime and homogeneous rings and algebras
• Algebraic subgroups of acylindrically hyperbolic groups
• scientific article; zbMATH DE number 7561603 (Why is no real title available?)
• On a question of A. I. Mal'tsev from the ``Kourovka notebook.
• 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)