Skip to main content
3 of 3
`\smash`
LSpice
  • 12.9k
  • 4
  • 45
  • 69

What you want is statement 4.2 in Kropholler's paper, "On groups of type $(FP)_\infty$" (1993). This states that your colimit is zero if and only if the module $M$ has finite projective dimension over $R$. No finite generation hypotheses are involved. His (and my) notation for this is $\smash{\widehat{\operatorname{Ext}}}^0_R(M,M)$.

Dave Benson
  • 16.2k
  • 2
  • 42
  • 95