Let $G$ be a group. A subgroup $H$ of $G$ is said to be fully invariant if for every endomorphism $\phi $ of $G$, we have $\phi(H) \subseteq H$. For a finitely generated residually finite group $G$, let $N$ be the intersection of all finite index fully invariant subgroup of $G$. It seems in all trivial cases (finite and finitely generated abelian) that $N$ must be trivial. I want to know whether or not $N$ is trivial in every finitely generated residually finite group and in particular free group. What can be said about the intersection of finite index verbal subgroup in these groups? I do not know how to go ahead.

1$\begingroup$ For residually $p$groups, as free groups, one can take $G^p\gamma_n(G)$ and get a sequence of finiteindex verbal subgroups going to $\{e\}$. $\endgroup$– Corentin BApr 18 at 20:34

$\begingroup$ Or rather $G^{p^n}\gamma_n(G)$. $\endgroup$– Corentin BApr 18 at 21:56
1 Answer
The answer is yes.
For each subgroup $H$ of $G$, we may define its fully invariant core as $$I(H)=\bigcap_\phi \phi^{1}(H)$$ where $\phi$ ranges in the set of all endomorphisms of $G$. Then $I(H)$ is a fully invariant subgroup of $G$ and $I(H)\subseteq H$.
If $G$ is finitely generated and $H$ is a finiteindex subgroup of $G$, we can add that $I(H)$ has finite index in $G$. Indeed, each subgroup $\phi^{1}(H)$ has index at most $[G:H]$ in $G$. Using a lemma of Marshall Hall (here $G$ finitely generated is key), there are only finitely many such subgroups. Hence $I(H)$ has finite index in $G$.
If in addition $G$ is residually finite, we deduce that $$ N= \bigcap_{\substack {I\text{ fully invariant} \\ \text{finiteindex}}} I\subseteq \bigcap_{H\text{ finiteindex}}I(H) \subseteq \bigcap_{H\text{ finiteindex}}H=\{e\}.$$