Proof:

Thanks to (29.7), $ \phi_n$ maps $ Z_n(G)$ into $ Z_n(K)$ and $ B_n(G)$ into $ B_n(K)$. Thus the map induced on the quotient groups is a well defined group homomorphism.

nisha 2012-03-20