We shall denote the ends of
by
and
.
If
is a singular one simplex then
which is obviously in
ker
and we conclude that
ker
. To prove the
reverse inclusion, let
be an arbitrary element of
ker
given by (31.1).
That is, the coefficients satisfy
. Pick any point
and for each
let
be a path in
joining
and
. We claim that
is the boundary of the one chain
.
The last part follows from the fundamental theorem on group homomorphisms.
nisha
2012-03-20