# are all finite index subgroups automorphic to each other?

Let $G$ be any countable discrete group, and $H_1, H_2$ be two subgroups of $G$ with some fixed finite index $m>1$.

My question is:

Is it always possible to find some automorphism $\phi$ of $G$, i.e., $\phi\in Aut(G)$, such that $\phi(H_1)=H_2$?

If not, could any one give some counterexample to illustrate this? Thanks in advance!

-

Nope: let $G=C_4\times V_4\times\mathbb Z$, where $C_4$ is the cyclic group of order $4$ and $V_4$ is the Klein $4$-group. Let $H_1=C_4\times\{e\}\times\mathbb Z$ and $H_2=\{e\}\times V_4\times\mathbb Z$. Both subgroups have index $4$, but they aren't isomorphic.

-
So we can take two non-isomorphic finite groups $G_1, G_2$, of the same order $n$S and a take an infinite group $H$, and consider $G=H\times G_1\times G_2$. Then $H_1=G\times G_1, H_2=G\times G_2$ may work generalizing your idea. –  P Vanchinathan Mar 21 at 1:15
@PVanchinathan It depends. Using your notation, if $H$ is a direct sum of countably many copies of $G_1\times G_2$, then $G_1\times H$ is isomorphic to $G_2\times H$ after all. In my example, there is no such accidental isomorphism, since $C_4\times\{e\}\times\mathbb Z$ has an element of order $4$, and $\{e\}\times V_4\times\mathbb Z$ doesn't. –  Chris Culter Mar 21 at 1:25
Take $m\mathbf{Z}, n\mathbf{Z}\subset \mathbf{Z}$. As isomorphisms have to send generator to generator we get conflicting requirement $\phi(1)=\pm1, \phi(m)= \pm n$. So your question has a negative answer.