Why is homology isomorphic to reduced homology plus Z?

  • Level: Graduate 
  • Thread starter Thread starter redbowlover
  • Start date Start date
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
2 replies · 4K views
redbowlover
Messages
16
Reaction score
0
Working through Hatcher...
For any space X, we have an augmented chain complex

[itex]...\rightarrow C_1(X) \rightarrow C_0(X)\rightarrow \mathbb{Z}\stackrel{\epsilon}{\rightarrow}0[/itex]
Hathcer says that since [itex]\epsilon[/itex] induces a map [itex]H_0(X)\rightarrow \mathbb{Z}[/itex] with kernel [itex]\tilde{H}_0(X)[/itex], we get an isomorphism [itex]H_0(X)\simeq \tilde{H}_0(X)\oplus \mathbb{Z}[/itex]

Where is this isomorphism coming from? I understand where the induced map on [itex]H_0(X)[/itex] comes from...

Thanks
 
Physics news on Phys.org
There is a short exact sequence 0-->H(reduced)_0-->H_0-->Z-->0, and Z being free, it splits. That is, H_0=H(reduced)_0 x Z.