Editing Homology (mathematics) (section)

== Homology vs. homotopy ==

The [[Homotopy group|nth homotopy group]] <math>\pi_n(X)</math> of a topological space <math>X</math> is the group of homotopy classes of basepoint-preserving maps from the <math>n</math>-sphere <math>S^n</math> to <math>X</math>, under the group operation of concatenation. The most fundamental homotopy group is the [[fundamental group]] <math>\pi_1(X)</math>. For connected <math>X</math>, the [[Hurewicz theorem]] describes a homomorphism <math>h_*: \pi_n(X) \to H_n(X)</math> called the Hurewicz homomorphism. For <math>n>1</math>, this homomorphism can be complicated, but when <math>n=1</math>, the Hurewicz homomorphism coincides with [[abelianization]]. That is, <math>h_*: \pi_1(X) \to H_1(X)</math> is surjective and its kernel is the commutator subgroup of <math>\pi_1(X)</math>, with the consequence that <math>H_1(X)</math> is isomorphic to the abelianization of <math>\pi_1(X)</math>. Higher homotopy groups are sometimes difficult to compute. For instance, the [[homotopy groups of spheres]] are poorly understood and are not known in general, in contrast to the straightforward description given above for the homology groups.

For an <math>n=1</math> example, suppose <math>X</math> is the [[Rose (topology)|figure eight]]. As usual, its first homotopy group, or [[fundamental group]], <math>\pi_1(X)</math> is the group of homotopy classes of directed loops starting and ending at a predetermined point (e.g. its center). It is isomorphic to the [[free group]] of rank 2, <math>\pi_1(X) \cong \mathbb{Z} * \mathbb{Z}</math>, which is not commutative: looping around the lefthand cycle and then around the righthand cycle is different from looping around the righthand cycle and then looping around the lefthand cycle. By contrast, the figure eight's first homology group <math>H_1(X)\cong \mathbb{Z} \times \mathbb{Z}</math> is abelian. To express this explicitly in terms of homology classes of cycles, one could take the homology class <math>l</math> of the lefthand cycle and the homology class <math>r</math> of the righthand cycle as basis elements of <math>H_1(X)</math>, allowing us to write <math>H_1(X)=\{a_l l + a_r r\,|\; a_l, a_r \in \mathbb{Z}\} </math>.