Skip to main content
Post Made Community Wiki by Todd Trimble
Source Link
HJRW
  • 25.2k
  • 3
  • 68
  • 145

An often-used method is to compute $H_2$. If the group is finitely presentable then $H_2$ is of finite rank with any coefficients.

For instance, you can use this technique to show that if $q:F\to\mathbb{Z}$ is the map from the free group of rank two that sends both generators to one then the fibre product $H\subseteq F\times F$, ie $(q\times q)^{-1}$ of the diagonal, is infinitely presented.

A famous theorem of Bestvina and Brady shows that this doesn't always work: they give a similar example which is infinitely presented but has finite-rank $H_2$.

A related technique shows that this question is indeed `very hard'. Grunewald showed that the fibre product coming from a surjection $f:F\to Q$ is finitely presented if and only $Q$ is finite. It follows that you cannot in general tell if a recursively presented group is (in)finitely presented.