# How hopficity is preserved under finite index?

Dear All! I guess this should be well-known, but I cannot find it in literature:

Is it true that if $H$ is a subgroup of finite index in $G$, and $H$ is hopfian, then $G$ is also hopfian?

In case when the groups are finitely generated, the answer is "yes" by R. Hirshon.

(And the other way around question has answer no, as was kindly answered by Kate Juschenko, even for finitely generated case -- which is quite bizarre!!!)

• Could you give the reference for the Hirshon result?
– HJRW
Mar 5 '11 at 17:43
• Here it is: \texttt{ams.org/tran/1969-141-00/S0002-9947-1969-0258939-3/…} Mar 5 '11 at 18:07
• I think, you should repost this as separate question. the post loses structure, when you change the question after the answer is posted. Mar 6 '11 at 8:50
• Well, I thought about reposting the question, but then it would mean for people to read about the same story once more again and... it's sort of saving their time. And of course that I read the original paper of Baumslag and Solitar and didn't see that what they wrote is true about NORMAL subgroup says something only about my illiteracy or what knows what. I was thinking perhaps for 3 years (!!!!) that there is a (logical) mistake in their paper. Anyway, what is really missing is whether hopficity passes upwards without the finite generation assumption. Mar 6 '11 at 9:27
• (Not least because, as the person who correctly answered your question, Kate deserves to have her answer accepted.)
– HJRW
Mar 6 '11 at 11:16

• It's what I thought for some time, but I think there is a mistake in their paper!!!!!!!!!! Ok, it is true that $BS(k,n)=\langle a,b:a^{-1}b^ka=b^n>$ is hopfian if and only if $k$ and $n$ are meshed by I don't see why $BS(2,3)$ is a subgroup of FINITE INDEX in $B(12,18)$ They perhaps meant to take a subgroup generated by $a$ and $b^6$ -- but they generate indeed a subgroup of infinite index -- just from normal forms for HNN-etxensions. Mar 5 '11 at 14:38
• the normal closure of $<a,b^6>$ in $B(12,18)$ is not hopfian and of index $6$. Mar 5 '11 at 17:04