MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 TeX

Cameron Gordon's theorem that H_2(G) $H_2(G)$ is generally non-computable from a group presentation of G. IMO this should be the standard appended caveat to Hopf's formula.

Gordon, C. Some embedding theorems and undecidability questions for groups. Combinatorial and geometric group theory (Edinburgh, 1993), 105--110, London Math. Soc. Lecture Note Ser., 204, Cambridge Univ. Press, Cambridge, 1995.

show/hide this revision's text 2 ref

Cameron Gordon's theorem that H_2(G) is generally non-computable from a group presentation of G. IMO this should be the standard appended caveat to Hopf's formula.

Gordon, C. Some embedding theorems and undecidability questions for groups. Combinatorial and geometric group theory (Edinburgh, 1993), 105--110, London Math. Soc. Lecture Note Ser., 204, Cambridge Univ. Press, Cambridge, 1995.

show/hide this revision's text 1 [made Community Wiki]

Cameron Gordon's theorem that H_2(G) is generally non-computable from a group presentation of G. IMO this should be the standard appended caveat to Hopf's formula.