On automorphism-fixed subgroups of a free group

Let F be a finitely generated free group, and let n denote its rank. A subg roup H of F is said to be automorphism-fixed, or auto-fixed for short, if t here exists a set S of automorphisms of F such that H is precisely the set of elements fixed by every element of S; similarly, H is 1-auto-fixed if th ere exists a single automorphism of F whose set of fixed elements is precis ely H. We show that each auto-fixed subgroup of F is a free factor of a 1-a uto-fixed subgroup of F. We show also that if (and only if) n greater than or equal to 3, then there exist free factors of I-auto-fixed subgroups of F which are not auto-fixed subgroups of F. A 1-auto-fixed subgroup H of F ha s rank at most n, by the Bestvina-Handel Theorem, and if H has rank exactly n, then H is said to be a maximum-rank 1-auto-fixed subgroup of F, and sim ilarly for auto-fixed subgroups. Hence a maximum-rank auto-fixed subgroup o f F is a (maximum-rank) 1-auto-fixed subgroup of F. We further prove that i f H is a maximum-rank 1-auto-fixed subgroup of F, then the group of automor phisms of F which fur every element of H is free abelain of rank at most n - 1. All of our results apply also to endomorphisms. (C) 2000 Academic Pres s.