Attending a series of lectures, I have recently been exposed to the notion of Coherent groups, defined as following:

Def: A group $G$ is called $Coherent$ if every finitely generated subgroup $H$ of $G$ is finitely presented.

Examples of such groups are free, surface groups, the fundamental group of 3-manifolds. In contrast $F_2 \times F_2$ (and any group which contains it) is not coherent.

I am just wondering if this notion has any equivalent description, possibly in terms of the module caregory of the group algebra $kG$, or any other area.

References for further reading are highly appreciated.

Attending a series of lectures, I have recently been exposed to the notion of Coherent groups, defined as following:

Def: A group $G$ is called Coherent if every finitely generated subgroup $H$ of $G$ is finitely presented.

Examples of such groups are free, surface groups, the fundamental group of 3-manifolds. In contrast $F_2 \times F_2$ (and any group which contains it) is not coherent.

I am just wondering if this notion has any equivalent description, possibly in terms of the module category of the group algebra $kG$, or any other area.

References for further reading are highly appreciated.