DEFINABLE SETS IN A HYPERBOLIC GROUP

作者:Kharlampovich Olga*; Myasnikov Alexei
来源:International Journal of Algebra and Computation, 2013, 23(1): 91-110.
DOI:10.1142/S021819671350001X

摘要

We give a description of definable sets P = (p(1),...,p(m)) in a free non-abelian group F and in a torsion-free non-elementary hyperbolic group G. As a corollary we show that proper non-cyclic subgroups of F and G are not definable. This answers Malcev%26apos;s question posed in 1965 for F.

  • 出版日期2013-2