First of all I don't know much about homological algebra, and algebraic topology
I just took a class using Kinsey book (Topology of Surfaces) which is undergraduate math class and I learned what is homology group and how to calculate it from a complex.
This frist defines a directed cell complex and then generate $k$-chain group from $k$-skeleton.
After that considering chain complex, with boundary operation, kinsey defines homology group.
However, Munkres and Hatcher and other algebraic topology book does not follow this way.
Every text I have generate $k$-chain group from Simplicial complex not, directed cell complex. (Hatcher uses $\Delta$ complex but every $Delta$ complex can be subdivided into simplical so this does not matter).
I want to know how Kinsey's process makes sense.
Please Help.
$\qquad$
Best Answer
It sounds as if you're confused about the difference between singular/simplicial homology and cellular homology. If you look at the homology chapter of Hatcher's book again, you'll see that these subjects are covered in some detail.
The relevant details are as follows:
The homology of a space is a deep property of that space that is hidden behind a frosted glass wall. That is to say, it should be considered as an extremely fundamental topoogical invariant, but not one which is readily accessible to us. This means that it is difficult to talk about the meaning of the homology groups - there is a nice interpretation in terms of the $n$-dimensional 'holes' in the surface, but that breaks down once we start encountering spaces whose homology groups exhibit non-trivial torsion. This is why we often have to do a lot of messy work in order to get anywhere with homology. Simplicial homology is not a nice piece of mathematics, and it's not obvious why we care about it at all and why we are prepared to invest so much effort studying it. The reason is that it gives us a way to reach through the glass and grasp the homology of the space.
The nice thing is, once we have got a foothold on the homology groups of a few spaces, we can apply various rules again and again to compute many more homology groups, and the whole subject opens up to us.
Pretty soon, we can identify exactly which tools we are using again and again. This leads into the idea of defining a 'homology theory' axiomatically: we just specify that it is a rule that takes a topological space and spits out a sequence of groups in such a way that all our useful tools work. These tools - homotopy invariance, excision, the dimension rule, additivity and the LES of a pair - are known as the Eilenberg-Steenrod axioms.
We then see a reason for computing simplicial homology in the first place - it gives us a model of the Eilenberg-Steenrod axioms. Simplicial homology satisfies the Eilenberg-Steenrod axioms, and so we are guaranteed that A) It is a homotopy invariant and B) we can compute it in a nice way using the other tools. Homotopy invariants that are easy to compute are extremely useful to algebraic topologists!
Where does cellular homology come into this? Well, the other cool thing about homology theories is that they tend to agree. Remember what I said about homology being a deep but somehow 'hidden' feature of a space? Well, simplicial homology is one way to reach into the heart of a space and extract this important invariant. But there are a number of other ways, and it turns out that cellular homology (computing homology from the chain complex of $n$-cells) is one such way. Moreover, cellular homology is much easier to compute than simplicial homology.
The problem is, in order to prove anything about cellular homology, we need to have the theory of homology set up already. So we need some homology theory already set up that satisfies the Eilenberg-Steenrod axioms. That's where simplicial homology (or, more commonly, its cousin singular homology) comes into play. We need to define it first, but once we've used that to set up the theory, we can use it to prove that cellular homology A) satisfies the Eilenberg-Steenrod axioms and B) agrees with our previous definition of homology, and then we can use the (easier) cellular homology to compute homology groups for cell complexes from then on.
Important point (suggested by Mike Miller in the comments): The definition of cellular homology involves picking a choice of cell decomposition for our space. A cell complex may admit many different cell decompositions. How do we know that the cellular homology we get is independent of our choice of decomposition? Why, because we know it is isomorphic to singular homology, which is a topological(/homotopy/weak homotopy) invariant.