Let
be generated by
and for each
let
be the infinite cyclic group with generator
, regarded as a subgroup of
.
Applying the definition of the coproduct to the collection of
group homomorphisms
defined by
we get a group homomorphism
such that
. It is clear that
is surjective and the proof is complete.
nisha
2012-03-20