Virtually free finite-normal-subgroup-free groups are strongly verbally closed (Q724281)

A subgroup \(H\) of a group \(G\) is called verbally closed if any equation of the form \(w(x_1, x_2, \dots ) = h\), where \(w\) is an element of the free group \(F(x_1, x_2, \dots )\) and \(h\in H\), having a solution in \(G\) has a solution in \(H\). The authors prove that any virtually free group \(H\) containing no non-trivial finite normal subgroup (e.g., the infinite dihedral group) is a retract of any finitely generated group containing \(H\) as a verbally closed subgroup.