The Group Fixed by a Family of Injective Endomorphisms of a Free Group

This monograph contains a proof of the Bestvina-Handel Theorem (for any automorphism of a free group of rank n, the fixed group has rank at most n) that to date has not been available in book form. The account is self contained, simplified, purely algebraic, and extends the results to an arbitrary family of injective endomorphisms. The topological proof by Bestvina Handel is translated into the language of groupoids, and many details previously left to the reader are meticulously verified in this text.