# Does every group embed into a co-hopfian group?

A group $G$ is co-hopfian if every injection $f\colon G \rightarrow G$ is an automorphism, or equivalently if $G$ is not isomorphic to any of its proper subgroups. Miller and Schupp, using small cancellation theory, showed that every countable group that does not contain elements of every finite order can be embedded in a 2-generated co-hopfian group. I can't find a more general result.

Is it known if every countable group embeds into a finitely generated co-hopfian group? At least, does every finitely generated group embed into a finitely generated co-hopfian group? My instinct is to use small cancellation theory, but if a group contains elements of every finite order it doesn't seem to give enough control over the embeddings $f\colon G\rightarrow G$, as this is usually accomplished using torsion elements.

-
I'm not sure I understand your last sentence. For instance, Rips and Sela proved that lots of torsion-free word-hyperbolic groups are co-Hopf. Of course, this doesn't immediately help you, as many groups don't embed into a word-hyperbolic group. But it makes a small-cancellation argument plausible. –  HJRW Nov 27 '12 at 10:39
"Miller and Schupp, using small cancellation theory, showed that every countable group that does not contain elements of every finite order can be embedded in a 2-generated co-hopfian group." Is this right? Or is it "does not contain elements of unbounded finite order"? I know little on this subject, but I do not understand why there's such a big difference. –  Jonathan Kiehlmann Nov 27 '12 at 16:15
HW- Chalk that up to my ignorance. Perhaps I should have said "as this is usually accomplished in the proofs that I've seen by using..." Thanks for the pointer to a proof that works differently. Jonathan- More specifically, they showed that every countable group $G$ embeds into a complete hopfian quotient of $C_p * C_q$, with $p,q$ any natural numbers. Further, if $G$ contains no elements of order $p$ or if $G$ contains no element of order $q$, then the quotient can be made co-hopfian as well. So if there is some $n$ such that $G$ contains no elements of order $n$, ... –  Jay Williams Nov 27 '12 at 17:11
...then $G$ embeds into a complete hopfian and co-hopfian quotient of $C_n * C_3$, for example. –  Jay Williams Nov 27 '12 at 17:13