Looking for a counter example (if it exists) and a reference for further reading. Can there be a subgroup of finite index in a finitely generated free group that is characteristic but not totally characteristic.
Definition: A subgroup $H\le G$ is said to be totally characteristic if for all endomorphisms, $\psi\in \text{End}(G)$ we have that $\psi(H)\subseteq H$.