Bourbaki

Exercise 8, § 6

Algebra, X, p. 190

Let FF be a free group, RR a normal subgroup of FF, G=F/RG=F/R. Now prove that the group H2(G,Z)H_2(G,\mathbf Z) is isomorphic to ((F,F)∩R)/(F,R)((F,F)\cap R)/(F,R) (use Exercise 3, p. 179).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.