К проблеме сопряженности автоморфизмов свободных групп

Пусть $A_n$ — группа автоморфизмов свободной группы $F_n$ степени $n$. Дается алгоритм для отыскания базиса подгруппы неподвижных точек автоморфизма из $A_2$, заданного действием на базисе группы $F_2$. С использованием этого алгоритма решается проблема сопряженности в группе $A_2$. Указан эффективный алгоритм, решающий проблему сопряженности для автоморфизмов простого порядка из группы $A_n$.