On equations with subgroup constraints on solutions in free groups

It is proved that a series of problems consisting in determination for the given equation in a free group $F_n$ whether it has a solution with the first component belonging to some subgroup of $F_n$, are algorithmically unsolvable.
The work is supported by the Russian Foundation for Fundamental Investigations, Grant 93–011–1552.