An efficient algorithm for finding a basis of the fixed point subgroup of an automorphism of a free group

Oleg Bogopolski, Olga Maslakova

We prove that for any automorphism $\alpha$ of a free group F of finite rank, one can efficiently compute a basis of the fixed point subgroup Fix(α).