Given a finitely presented group G, Hopf's formula expresses the second integral homology of G in terms of generators and relators. We give an algorithm that exploits Hopf's formula to estimate H2(G;k), with coefficients in a finite field k, and give examples using G=SL2 over specific rings of integers. These examples are related to a conjecture of Quillen.
Homology, Homotopy and Applications, Vol. 12 (2010), No. 1, pp.27-37.
Available as: dvi dvi.gz ps ps.gz pdf
The following supplementary file is also available: GAPcode.txt