The problem of conjugacy of automorphisms of free groups (Q583362)

Let \(F_ n\) be the free group of degree n, and Fix(\(\alpha)\) be the subgroup of fixed points of an automorphism \(\alpha\in Aut F_ n\). An effective procedure is given in order to solve the conjugacy problem for automorphisms of prime order in Aut \(F_ n\) (Theorem 1). For \(n=2\), an algorithm is indicated in order to find a basis of Fix(\(\alpha)\) (Theorem 2). The conjugacy problem is algorithmically solvable in Aut \(F_ 2\) (Theorem 3). The last theorem was announced also by \textit{G. T. Kozlov} [8th All-Union Conf. Math. Logic (Moscow, 1986; Zbl 0591.03003), p. 85].