[Math] Isomorphic subgroups, finite index, infinite index

group-theory

Is it possible to have a group $G,$ which has two different, but isomorphic subgroups $H$ and $H',$ such that one is of finite index, and the other one is of infinite index?
If not, why is that not possible. If there is a counterexample please give one.

Best Answer

The other examples are infinitely presented (indeed, generated). That is, they are of the form $G=\langle X; R\rangle$ where $X$ or $R$ is infinite. In group theory, the challenge is often to find finitely presented groups with extreme properties because it is "easy" to find infinitely presented groups (indeed, finitely-generated infinitely-presented groups!) with extreme properties$^{\ast}$. For example, there exist infinite finitely generated groups where every element has finite order, but all known examples are infinitely presented...or hopfian groups - it is easy to reel of a non-Hopfian group, but finding one which is finitely presented is harder (indeed, the other two answers both give you non-hopfian groups). See this question for the definition and examples of non-Hopfian groups.

So, I now need to give you a finitely presented example. A few things we need to know first, and they are all well-known and proofs should all be easily obtainable (they should all be in Magnus, Karrass and Solitar's book "Combinatorial Group Theory", or can be found on this here website, or you can try and prove them yourself - one of them is pretty easy...).

  • If a group is finitely presented then every subgroup of finite index is finitely presented,
  • Subgroups of free groups are free,
  • If $G$ is a free group of rank at least two then $G^{\prime}$ is the free group of countable rank, and is of infinite index.

Okay, let $G=F_n$ be the free group on $n$ generators, $n\geq 2$. Then $G$ has subgroups of finite index (why?) and these are all finitely presented and free. So, take one of them and call it $F_m$ (as it is free, on $m$-generators). On the other hand, take $m$-elements of the basis of $G^{\prime}$. These are both $m$-generated, and as subgroups of free groups are free and free groups are isomorphic if and only if they are free on the same cardinality of generators we are done!

$\ast$: I say "easy", but I really mean "easier". For example, Ol'shanskii proved that there exist infinite groups where every subgroup has order $p$ for some fixed, large enough prime $p$. His construction gives a two-generated, infinitely presented group. He has a book, which is pretty much 500 pages long, and is basically just the proof. It isn't light reading, either (it is called "Geometry of Defining Relations in Groups").

Related Question