Group element not taken to its inverse by any automorphism

The group $G=\mathbf{Z}/7\mathbf{Z}\rtimes\mathbf{Z}/3\mathbf{Z}$, where the generator $t$ of $\mathbf{Z}/3\mathbf{Z}$ acts by multiplication by 2: $t$ is not conjugate to $t^{-1}$ by an automorphism. Indeed the full automorphism group is $H=\mathbf{Z}/7\mathbf{Z}\rtimes\mathbf{Z}/7\mathbf{Z}^*$, which contains $G$ as subgroup of index 2. So the elements of $G$ conjugates to their inverse by an automorphism are only the elements of $\mathbf{Z}/7\mathbf{Z}$.

To check the assertion on the automorphism group, observe that if we have an automorphism of $G$, then after composing by an inner automorphism, it maps the 3-Sylow $\mathbf{Z}/3\mathbf{Z}$ into itself, and after composing by an element of $\mathbf{Z}/7\mathbf{Z}^*\subset H$, it acts as the identity on $\mathbf{Z}/7\mathbf{Z}$. So it is either the identity, or acts as identity on $\mathbf{Z}/7\mathbf{Z}=\langle u\rangle$ and maps $t$ to $t^{-1}$, but the latter does not define an automorphism, because it is not compatible with the conditions $tut^{-1}=u^2\neq t^{-1}ut$.


The free group $F(a, b)$ on two-generators works with the word $w=a^3b^4a^5b^6$. This works because every automorphism either takes $w$ to a word which, after cyclic reduction, does not contain $a^{\pm 3}$, or takes $w$ to a conjugate of one of the following words. $$\begin{align*} &a^{3}b^{4}a^{5}b^{6}\\ &a^{3}b^{-4}a^{5}b^{-6}\\ &a^{-3}b^{4}a^{-5}b^{6}\\ &a^{-3}b^{-4}a^{-5}b^{-6}\\ &b^{3}a^{4}b^{5}a^{6}\\ &b^{3}a^{-4}b^{5}a^{-6}\\ &b^{-3}a^{4}b^{-5}a^{6}\\ &b^{-3}a^{-4}b^{-5}a^{-6} \end{align*}$$ Thus, to prove that this works we need to prove that $w^{-1}=b^{-6}a^{-5}b^{-4}a^{-3}$ is conjugate to one of the above words. And it clearly is not.

This answer requires some knowledge of the automorphisms of free groups. The list of words are the orbits of $w$ under the automorphisms which fix the length of the generators. The observation about the other elements in the orbits not containing $a^{\pm3}$ follows from the paper What Does a Basis of $F(a,b)$ Look Like? by Cohen, Metzler and Zimmermann, although some work is required to make it follow.

Taking the same word in the triangle groups $\langle a, b; a^i, b^j, (ab)^k\rangle$ for $i, j, k>13$ works too, and here you only have to check finitely many automorphisms and you can do this by hand. Note that the "finitely many" is because you only need to check the finitely many outer automorphisms and then think about how inner automorphisms can act on this. If you are very careful, you can make it follow from the free group case but this uses small-cancellation theory and other technical stuff.