See also problems (06), (OR10).

(H1) (a) Are hyperbolic groups residually finite?

(b) Does every hyperbolic group have a proper subgroup of finite index ? Background

*(H2) Are hyperbolic groups linear? Background

(H3) Do hyperbolic groups with torsion have solvable isomorphism problem? Background

(H4) (A.Miasnikov) Given a finite presentation of a hyperbolic group (which is not necessarily a Dehn presentation), is it possible to find a Dehn presentation for this group in polynomial time?

(H5) (A.Miasnikov) Given a finite presentation of an automatic group, can one decide if this group is hyperbolic? Background

(H6) (S.Gersten) Are all automatic groups biautomatic? Background

(H7) (S.Gersten) Does every automatic group have a solvable conjugacy problem? Background

(H8) (S.Gersten) Is every biautomatic group which does not contain any Z x Z subgroups, hyperbolic? Background

(H9) (S.Gersten) Can the group <x,y; yxy^{-1} = x^2> be a subgroup of an automatic group? Background

(H10) (S.Gersten) Is a retract of an automatic group automatic? Background

(H11) Does every hyperbolic group act properly discontinuously and co-compactly by isometries on a CAT(k) space, where k<0?

(H12) (G.Baumslag, A.Miasnikov, V.Remeslennikov) Is every hyperbolic group equationally noetherian? (A group is called equationally noetherian if every system of equations in this group is equivalent to a finite subsystem). Background

(H13) Are combable groups automatic?

*(H14) (A.Miasnikov) We call a subgroup H of a group G malnormal if for any element g in G, but not in H, one has H^g \cap H = {1}. Is this property algorithmically decidable for finitely generated subgroups of hyperbolic groups? Background

(H15) (A.Miasnikov) If a finitely generated subgroup H of a hyperbolic group is malnormal (see above), does it follow that H is quasiconvex?

(H16) Is every metabelian automatic group virtually abelian ?

(H17) (A.Olshanskii) Does every hyperbolic group H have a free normal subgroup F such that the factor group H/F is of finite exponent?

(H18) (S.Gersten) Let F be Thompson's group:

(x_0, x_1, ... | x_i x_k x_i^{-1} = x_{k+1}, k>i,
k=1,2,...).

Is F automatic?
Background