Homomorphisms of $\mathbb{F}_2$ that preserve $aba^{-1}b^{-1}$ Let $\mathbb{F}_2$ be the free group generated by $a$ and $b$.  Suppose we are given a homomorphism $\phi: \mathbb{F}_2 \to \mathbb{F}_2$ with the property that $\phi(aba^{-1}b^{-1}) = aba^{-1}b^{-1}$.  Can I conclude that $\phi$ is surjective?  Can I conclude $\phi$ is an isomorphism?   

I think this can be solved using Stallings' folds as follows.
First, note that if the image of $\phi$ were abelian, then $\phi([a,b]) = 
[\phi(a),\phi(b)] = 1$.  So, the image of $\phi$ is a rank two free group.
Now suppose $\phi(a) = U$, a reduced word over $\{a,b\}$ and similarly $\phi(b) = V$.  Let $|U|$ and $|V|$ denote their lengths.
Stallings' method is to represent $\phi$ as a map of graphs.  Start with the graph consisting of a pair of circuits---with edges labeled and oriented according to the letters in each word---of length $|U|$ and $|V|$, respectively, and glue them at the vertex corresponding to where reading the edge labels reads off $U$ and $V$.  Call this graph $\Gamma_0$.  
Now perform Stallings folds.  This means that if two labeled edges have the same initial vertex and orientation (both away from the initial vertex or both towards), then they are identified.  After finitely many steps, there can be no more folds.  Call the resulting graph $\Gamma_1$ and let $f_0: \Gamma_0 \to \Gamma_1$ be the composite of folds.  Note that $f_0$ induces an isomorphism on fundamental groups because the image of $\phi$ is a rank two free group.
Finally, let $f_1:\Gamma_1 \to \Delta$ be the map (an immersion, by design---this is the point of Stallings folds) to the rose with two petals, labeled $a$ and $b$.
The path $f_0(U)f_0(V)f_0(U^{-1})f_0(V^{-1})$ is an immersed path.  Its image under the immersion $f_1$ is another immersed path.  But its image, by hypothesis, is $aba^{-1}b^{-1}$ in $\Delta$.  Therefore, the lengths of $f_0(U)$ and $f_0(V)$ are 1.  This implies that $f_0(\Gamma_0) = \Gamma_1$ is a rose with two petals.   Consequently, $f_1$ induces an isomorphism onto the fundamental group of $\Delta$.  Since $f_1 \circ f_0$ represents $\phi$, we have that $\phi$ is surjective (and an isomorphism).
