1: \begin{abstract}

2: A group is coherent if all its finitely generated

3: subgroups are finitely presented.   In this

4: article we provide a criterion for positively determining the

5: coherence of a group. This criterion is based upon the

6: notion of the perimeter of a map between two finite $2$-complexes

7: which is introduced here.  In the groups to which this theory applies,

8: a presentation for a finitely generated subgroup can be computed in

9: quadratic time relative to the sum of the lengths of the generators.

10: For many of these groups we can show in addition that they are locally

11: quasiconvex.

12: 

13: As an application of these results we prove that one-relator groups

14: with sufficient torsion are coherent and locally quasiconvex and we

15: give an alternative proof of the coherence and local quasiconvexity of

16: certain $3$-manifold groups.  The main application is to establish the

17: coherence and local quasiconvexity of many small cancellation groups.

18: \end{abstract}

19: