Remnant inequalities and doubly-twisted conjugacy in free groups (Q531378)

This work is mostly based in the concept of a tuple \(t=(h_1,\dots,h_n)\) of elements of a free group having remnant as defined by \textit{J. Wagner} [Trans. Am. Math. Soc. 351, No.~1, 41--62 (1999; Zbl 0910.55001)]. This concept is extended to homomorphisms of free groups. Let \(\varphi, \psi:G \to H\) be two homomorphism of free groups and denote by \([u]\) the doubly-twisted conjugacy class with respect to \(\varphi, \psi\) which contains an element \(u\in H\). The author shows: Theorem 5: Let the rank of \(H\) be greater than 1, and let \(\phi:G \to H\) be any homomorphism. Then the set \(S=\{(\varphi,u,v)|[u]\not= [v]\}\) is generic. The term generic here means that the asymptotic density of the set \(S\) is 1. Based on the result above the author obtains alternative proofs of results about the density of the set of either surjections or injections between two free groups. Further, the expected value \(ED(G,H)\) for homomorphisms between these two groups is computed and the result is given in terms of the Riemann zeta function. This is Theorem 9. At the end the author provides an algorithm for deciding doubly-twisted conjugacy relations based in a remnant inequality given by Theorem 11. The paper is well organized and provides enough information about the known results.