On the quotient of a free group by the commutator of two normal subgroups (Q1181459)

Let \(F\) be a noncyclic free group and let \(K\) and \(L\) be normal subgroups of \(F\). The authors establish an exact sequence of \(\mathbb{Z} B\)-modules \[ 0\to H_ 2(S)\oplus H_ 2(T)\to A\to P\to \Delta(C)\otimes_{\mathbb{Z} C}\mathbb{Z} B\to 0 \] where \(B=F/KL\), \(C=F/K\cap L\), \(\Delta(C)\) denotes the augmentation ideal of \(C\), \(P\) is a free \(\mathbb{Z} B\)-module on a basis in one to one correspondence with a basis of \(F\), \(A=K\cap L/[K,L]\), \(S=KL/K\) and \(T=KL/L\). Two interesting applications are given: (i) If each of \(K\) and \(L\) is the normal closure of a single element, then \(A\) is free Abelian. (ii) If \(\ell > 2\) and \(F_ n\), \(F^{(n)}\) are the \(n\)th terms of the lower central and derived series of \(F\), respectively, then \(F/[F_{c+1},F^{(\ell)}]\) contains an infinite elementary Abelian 2-group.