Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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!

share|cite|improve this question
up vote 5 down vote accepted

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.

share|cite|improve this answer
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 '14 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 '14 at 1:25

The dihedral group of order 8 has a subgroup isomorphic to the cyclic group of order 4, and has a subroup isomorphic to the Klein group. Both subgroups have index 2 but are non-isomorphic since the first has an element of order 4 but the second does not. No smaller order group G can be found as a counterexample since a nontrivial subgroup of such a G would have order 2 or order 3.

share|cite|improve this answer
Dihedral group G of order 8 also has two subgroups of order 2 with no automorphism of G taking one to the other (take one central, and one not). – Jack Schmidt Mar 21 '14 at 1:57

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.

share|cite|improve this answer
They don't have the same index though – Bruno Joyal Mar 21 '14 at 1:05
OOps, I looked at the title and was misled. My answer is incorrect. – P Vanchinathan Mar 21 '14 at 1:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.