Generating certain subgroups of free groups via primitive elements

Question

Let $F_n$ be the free group on $n\geq 2$ generators and let $H < F_n$ be a finite index normal subgroup. Let $P\subset F$ be the subset consisting of primitive elements (an element of $F_n$ is called primitive if it is a member of a free basis). Furthermore, we define $\tilde P\subset H$ to be the subset consisting of those powers $x^m$, $m\in \mathbb{Z}$, of primitive elements $x\in P$ which actually are elements of $H$ and we define $\tilde H < H$ to be the subgroup of $H$ generated by $\tilde P$.

Edit: We impose another condition which is not satisfied in the excellent counterexample by Mark Sapir given below:

• Suppose that the first basis element $x_1$ of $F_n$ is contained in $H$. (This implies $x_1\in \tilde H$)

Any suggestions, references or counterexamples to either of the following questions are welcome:

1. Is $\tilde H=H$ ? If this not the case:
2. Is $\tilde H$ of finite index in $H$ ? If not:
3. Is the image of $\tilde H$ in $H^{ab}=H / [H,H]$ a subgroup of finite index?

Answer 1

If $x_1 \in H$ then, since $H \unlhd F_n$, all conjugates of $x_1$ in $F_n$ are in $H$ and hence also in $\overline{H}$. So the normal closure $N$, say, of $x_1$ in $F_n$ lies in $\overline{H}$.

Now any element of $H$ can be written as $nh$ with $n \in N$ and $h \in \langle x_2,\ldots,x_n \rangle$. But $x_1 h$ is a primitive element of $F_n$ with $x_1 h \in H$, so we also have $x_1 h \in \overline{H}$ and hence $\overline{H}= H$.

Answer 2

Here is a counterexample. Let $\phi$ be the natural homomorphism from $F_2$ to $A=\mathbb{Z}_n\times \mathbb{Z}_n$ where $n$ is a very large odd number (say, $\ge 665$), $H=Ker(\phi)$. Then the image of every primitive element of $F_2$ is a generator of $A$, so it has exponent $n$. Therefore $\tilde P$ is a subgroup of the normal subgroup generated by all $n$-th powers of elements of $F_2$. By Novikov-Adian this subgroup has infinite index.