sentences:  A group "G" is co-Hopfian if every monomorphism
  
  is an isomorphism.Equivalently, "G" is not isomorphic to any of its proper subgroups.It was shown by that it is an undecidable problem to determine, given a finite presentation of a group, whether the group is Hopfian.