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