On certain \(C\)-test words for free groups (Q1348678)

Let \(F\) be the free noncommutative group on the set \(x_1,\dots,x_m\). A non-empty word \(v(x_1,\dots,x_n)\) is called a \(C\)-test word if for any two \(n\)-tuples \((X_1,\dots,X_n),(Y_1,\dots,Y_n)\) of elements of \(F\) the equality \(v(X_1,\dots,X_n)=v(Y_1,\dots,Y_n)\neq 1\) implies the existence of an element \(S\) such that \(X_i=SY_iS^{-1}\) for all \(i=1,\dots,n\). It is proved that for every \(n\geq 2 \) there exists a \(C\)-test word \(v_n(x_1,\dots,x_n)\) with the additional property that \(v_n(X_1,\dots,X_n)=1\) if and only if the subgroup generated by \(X_1,\dots,X_n\) is cyclic. A positive solution to the following problem raised by Shpilrain can be derived. Problem. Are there two elements \(u_1,u_2\) in \(F\) such that any endomorphism \(\psi\) of \(F\) is uniquely determined by \(\psi u_1,\psi u_2\)?