The subgroup identification problem for finitely presented groups

Abstract

We introduce the subgroup identification problem, and show that there is a finitely presented group G for which it is unsolvable, and that it is uniformly solvable in the class of finitely presented locally Hopfian groups. This is done as an investigation into the difference between strong and weak effective coherence for finitely presented groups.

11 pages. This is the version submitted for publication

References in corpus (3)

• Finding non-trivial elements and splittings in groups
• On the difficulty of presenting finitely presentable groups
• Enumerating limit groups: A Corrigendum