The twisted conjugacy problem for endomorphisms of metabelian groups

Let M be a finitely generated metabelian group explicitly presented in a variety \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$ {\mathcal{A}}^2 $\end{document} of all metabelian groups. An algorithm is constructed which, for every endomorphism φ ∈ End(M) identical modulo an Abelian normal subgroup N containing the derived subgroup M′ and for any pair of elements u, v ∈ M, decides if an equation of the form (xφ)u = vx has a solution in M. Thus, it is shown that the title problem under the assumptions made is algorithmically decidable. Moreover, the twisted conjugacy problem in any polycyclic metabelian group M is decidable for an arbitrary endomorphism φ ∈ End(M).