MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

A lot of work has been done on determining whether particular classes of groups are coHopfian, in particular the (sufficiently large) braid groups $B_n$ modulo center, and certain classes of 3-manifold groups.

Are there any equivalent conditions for a group to be coHopfian? I'm aware this is a big open problem, so I'm specifically looking for established results or necessary conditions.

Of course, sufficient conditions are helpful as well, but most of what I've read in terms of sufficient conditions is "$G$ can be realized as a member of a class X, which we prove is coHopfian," and this is not what I want.

share|cite|improve this question

This is in fact related to this question. Let $\phi$ be an injective but not surjective homomorphism $G\to G$. Then under very mild conditions (see below) the powers $\phi, \phi^2,...,\phi^n,...$ are not conjugate in $G$ for all $n$ (see the definition in the linked question). Indeed, suppose that there exists a $g$ such that $\phi^{i+j}(x)=g\phi^i(x)g^{-1}$ for every $x\in G$ for some $i,j>0$. Then applying $\phi$, we get $\phi^{i+j+1}(x) = \phi(g)\phi^{i+1}(x)\phi(g)^{-1} = g\phi^{i+1}(x)g^{-1}$. Therefore $a=g^{-1}\phi(g)$ commutes with $\phi^{i+1}(x)$ for every $x$. Suppose that centralizers of subgroups of $G$ that are isomorphic to $G$ are trivial (it is the mild condition I mentioned before, that holds for non-elementary hyperbolic, relatively hyperbolic, etc. groups). Then $a=1$, hence $g=\phi(g)$. But then $\phi^{i+j}(x)=\phi^i(g)\phi^i(x)(\phi^i(g))^{-1}=\phi^i(gxg^{-1})$ for every $x$. Hence $\phi^j(x)=gxg^{-1}$ for every $x$ and $\phi^j$ is surjective, a contradiction.

This implies (see the question above again) that $G$ acts non-trivially on an asymptotic cone of itself. Thus, for example, if $G$ is hyperbolic with property (T), it is co-Hopfian because its asymptotic cones are $\mathbb{R}$-trees and a group with property (T) cannot act on an $\mathbb{R}$-tree non-trivially. Much stronger results can be found in Sela, Z. Endomorphisms of hyperbolic groups. I. The Hopf property. Topology 38 (1999), no. 2, 301–321 and Druţu, Cornelia, Sapir, Mark V. Groups acting on tree-graded spaces and splittings of relatively hyperbolic groups. Adv. Math. 217 (2008), no. 3, 1313–1367.

share|cite|improve this answer

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.