Math 2.0

Category theory; homological algebra Definition

Homology of a chain complex

Builds on Chain complexAbelian categoryKernelCokernelChain map

Definition

Let š’œ\mathcal{A} be an abelian category, for example the category of modules over a ring, and let (Cāˆ™,d)(C_\bullet, d) be a chain complex in š’œ\mathcal{A}. For each integer nn, let Zn=ker⁔dnZ_n = \ker d_n be the kernel of dnd_n, called the object of nn-cycles. Since dn∘dn+1=0d_n \circ d_{n+1} = 0, the morphism dn+1d_{n+1} factors through a morphism dˉn+1 ⁣:Cn+1→Zn\bar d_{n+1} \colon C_{n+1} \to Z_n. Its image Bn=im⁔dˉn+1B_n = \im \bar d_{n+1} is a subobject of ZnZ_n, called the object of nn-boundaries. The nn-th homology of Cāˆ™C_\bullet is the cokernel of dˉn+1\bar d_{n+1}: Hn(C)=Zn/Bn=ker⁔dn/im⁔dn+1.H_n(C) = Z_n / B_n = \ker d_n / \im d_{n+1}.

Remarks

The complex is exact at CnC_n if and only if Hn(C)=0H_n(C) = 0. A chain map f ⁣:Cāˆ™ā†’Dāˆ™f \colon C_\bullet \to D_\bullet sends cycles to cycles and boundaries to boundaries, so it induces morphisms Hn(f) ⁣:Hn(C)→Hn(D)H_n(f) \colon H_n(C) \to H_n(D), and HnH_n is a functor. For a cochain complex (Cāˆ™,d)(C^\bullet, d) the same construction gives the cohomology Hn(C)=ker⁔dn/im⁔dnāˆ’1H^n(C) = \ker d^n / \im d^{n-1}.

Example: let C1=C0=ℤC_1 = C_0 = \Z with d1d_1 multiplication by 22, and Cn=0C_n = 0 otherwise. Then Z1=ker⁔d1=0Z_1 = \ker d_1 = 0, so H1(C)=0H_1(C) = 0; and Z0=ℤZ_0 = \Z, B0=2ℤB_0 = 2\Z, so H0(C)=ℤ/2ℤH_0(C) = \Z/2\Z.

Non-example: for the sequence ℤ→1ℤ→1ℤ\Z \xrightarrow{1} \Z \xrightarrow{1} \Z, the image ℤ\Z of the first map is not contained in the kernel 00 of the second. So ker⁔/im⁔\ker / \im is not defined; the condition d2=0d^2 = 0 is what makes homology make sense.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Abelian category concept
  2. Chain complex concept
  3. Chain map concept
  4. Cokernel concept
  5. Kernel concept
  6. Homology of a chain complex definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Homology_(mathematics)
About this page
Tag9JA1N3CH80
URIm2://9JA1N3CH80
Kinddefinition
WritingW0 stub
MSC18G35
DefinesHomology of a chain complex
UsesChain complex, Abelian category, Kernel, Cokernel, Chain map
Changed2 November 2026

Markdown Ā· JSON Ā· Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.