1: \begin{abstract}

2: We describe solutions of the equation $x^ny^m=a^nb^m$ in acylindrically hyperbolic groups (AH-groups), where $a,b$ are non-commensurable special loxodromic elements and $n,m$ are integers with sufficiently large common divisor.

3: Using this description and certain test words in AH-groups, we study the verbal closedness of AH-subgroups

4: in groups.

5: 

6: A subgroup $H$ of a group $G$ is called {\it verbally closed} if for any word $w(x_1,\dots, x_n)$

7: in variables $x_1,\dots,x_n$ and any element $h\in H$, the equation $w(x_1,\dots, x_n)=h$ has a solution in $G$ if and only if it has a solution in $H$.

8: 

9: %Here is the main result:

10: 

11: {\bf Main Theorem:} Suppose that $G$ is a finitely presented group and $H$ is a finitely generated acylindrically 

12: hyperbolic subgroup of $G$ such that $H$ does not have nontrivial finite normal subgroups.

13: %normalise a nontrivial finite subgroup of $H$.

14: Then $H$ is verbally closed in $G$ if and only if $H$ is a retract of $G$.

15: 

16: The condition that $G$ is finitely presented and $H$ is finitely generated can be replaced by

17: the condition that $G$ is finitely generated over $H$ and $H$ is equationally noetherian.

18: 

19: As a corollary, we solve Problem 5.2 from the paper~\cite{MR} of Myasnikov and Roman'kov:

20: Verbally closed subgroups of torsion-free hyperbolic groups are retracts.

21: 

22: %Oleg Marie Rafael Vasilii

23: \end{abstract}