Why is homology isomorphic to reduced homology plus Z?

  • Context: Graduate 
  • Thread starter Thread starter redbowlover
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the isomorphism between homology and reduced homology plus the integers, specifically in the context of an augmented chain complex as described in Hatcher's work. For any space X, the sequence 0 → H(reduced)_0 → H_0 → ℤ → 0 is established, where the map from H_0(X) to ℤ has a kernel of reduced homology, leading to the conclusion that H_0(X) is isomorphic to the direct sum of reduced homology and ℤ. This isomorphism arises from the fact that ℤ is a free group, allowing the sequence to split.

PREREQUISITES
  • Understanding of chain complexes in algebraic topology
  • Familiarity with homology and reduced homology concepts
  • Knowledge of exact sequences in mathematical contexts
  • Basic comprehension of free groups and their properties
NEXT STEPS
  • Study Hatcher's "Algebraic Topology" for detailed explanations of chain complexes
  • Explore the properties of exact sequences in homological algebra
  • Learn about the implications of free groups in algebraic topology
  • Investigate applications of homology in various topological spaces
USEFUL FOR

Mathematicians, algebraic topologists, and students studying homology theories who seek to deepen their understanding of the relationship between homology and reduced homology.

redbowlover
Messages
16
Reaction score
0
Working through Hatcher...
For any space X, we have an augmented chain complex

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

Where is this isomorphism coming from? I understand where the induced map on H_0(X) 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.
 
thanks!
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 8 ·
Replies
8
Views
10K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 15 ·
Replies
15
Views
4K
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 16 ·
Replies
16
Views
7K
  • · Replies 7 ·
Replies
7
Views
4K