Rescuing the Whitehead method for free products. II: The algorithm (Q795164)

The authors continue their study of adapting the Whitehead method on the free products of groups begun in a previous paper [Part I, ibid. 185, 487-504 (1984; Zbl 0537.20010)]. In the present paper they use their theorem to describe, under some assumptions on the factors and some additional argument, an algorithm to decide whether two elements of the free product belong to the same automorphism class. They again consider free products of finitely many (freely) indecomposable factors and distinguish two cases, the first being the case where none of the factors is infinite cyclic and the second the general case. Finally they give some examples and applications of their method.