Fixed Subgroups of Endomorphisms of Free Products

Abstract

Let $G=\ast_{i=1}^{n}G_{i}$ and let $ϕ$ be a symmetric endomorphism of $G$. If $ϕ$ is a monomorphism or if $G$ is a finitely generated residually finite group, then the fixed subgroup $Fix(ϕ)=\{g\in G:ϕ(g)=g\}$ of $ϕ$ has Kurosh rank at most $n$.