No label defined (Q4946054)

A group is called coherent when every finitely generated subgroup is finitely presented. Notably, free groups and fundamental groups of compact \(n\)-manifolds with \(n\leq 3\) have this property, but few other examples had been found until J. McCammond and D. Wise developed a methodology for proving that larger classes of groups are coherent. The first part of the paper under review gives a concise exposition of this methodology. The remainder gives a new approach for its application, that allows a unified treatment of several classes of groups shown to be coherent by McCammond and Wise. The approach uses the bipartite graphs whose vertices are the generators and the cyclically reduced relations, connected by an edge when the generator appears in the relation. The key step is to show that these graphs have certain kinds of subgraphs called \(m\)-matchings, whose existence is proven by a generalization of a theorem of \textit{P. Hall} [J. Lond. Math. Soc. 10, 26-30 (1935; Zbl 0010.34503)]. For the entire collection see [Zbl 0933.00033].