Duration of the online course: 24 hours and 16 minutes
5
(1)
Build a deeper intuition for shapes using singular homology. Join this free online course and learn key tools for proofs, computations, and math study.
In this free course, learn about
Main goals of algebraic topology: using algebraic invariants to classify spaces
Definition of singular homology via chain complexes of singular simplices and boundaries
What an n-simplex is and how simplices define singular chains and maps between spaces
Relative singular homology H_*(X,A), its new idea of studying a pair via quotient chains
Eilenberg–Steenrod axioms and how they characterize homology theories and computations
Compute homology of spheres (incl. H_*(S^1)) from axioms, and consequences like dimension
Induced maps on homology; example: reflection on spheres induces degree/sign on top homology
Snake Lemma and constructing long exact sequences; key consequences for pairs and maps
Long exact sequence of a pair and the connecting homomorphism in singular homology
Homotopy invariance: homotopic maps induce the same map on homology groups
Five Lemma: deducing isomorphisms in long exact sequence diagrams of abelian groups
Excision axiom and the small simplices lemma (barycentric subdivision) enabling excision
Degree-0 homology and what H_0 measures: path-connected components of a space
Mayer–Vietoris sequence (including pushouts): computing homology from decompositions
About the free online course
Algebraic topology is where geometry meets algebra: you translate the features of spaces into algebraic objects that can be computed and compared. This free online course guides you through that translation with singular homology as the central tool, helping you move from pictures and intuition to rigorous, reusable methods. If you want a clearer way to distinguish spaces, detect holes, and understand when two shapes are essentially the same, this course gives you the framework to do it with confidence.
You start by building the language of singular homology from the ground up, including the role of simplices and the chain-level viewpoint that turns continuous problems into algebra. From there, the course develops relative homology so you can analyze a space together with a subspace, a perspective that becomes indispensable in real computations and in proofs that compare constructions. Along the way, you learn why axioms matter: the Eilenberg-Steenrod approach shows which properties characterize a homology theory and how these properties unlock results such as the homology of spheres and functorial behavior under maps.
A major theme is learning to navigate the machinery that makes homology powerful rather than mysterious. You work with induced maps, exactness, and core homological tools such as the snake lemma and the 5-lemma, gaining the ability to pass information through diagrams and conclude isomorphisms when direct computation would be difficult. Key structural principles like homotopy invariance clarify which features of a space are truly topological, while excision and the small simplices perspective explain why local modifications often do not change homology, paving the way for practical decompositions.
As your understanding matures, the course emphasizes computational strategy and conceptual connections. Degree zero homology provides a crisp algebraic lens on connectedness, while the Hurewicz viewpoint links homology with more geometric invariants and offers intuition for what homology is measuring. You also meet the triple sequence and see how relative homology can be reframed as absolute homology in suitable settings, improving flexibility when you tackle examples.
To tie everything together, Mayer-Vietoris becomes a central method: it shows how to compute the homology of a complicated space from simpler overlapping pieces, including versions suited to pushouts. By the end, you will be better equipped to read and write proofs in algebraic topology, understand standard theorems in a principled way, and approach new spaces with a reliable toolbox for breaking them apart and extracting invariant information.
Course content
Video class: 01 Introduction20m
Exercise: What is the main task of algebraic topology?
Video class: 02 Definition of singular homology1h03m
Exercise: What is an n-simplex?
Video class: 03 Definition of relative singular homology17m
Exercise: What New Concept Was Introduced in Relative Singular Homology?
Video class: 04 Eilenberg-Steenrod Axioms30m
Exercise: What is the primary use of the Eilenberg-Steenrod axioms in homology theory?
Video class: 05 Homology of spheres from the axioms44m
Exercise: What is the homology of a circle (S1)?
Video class: 06 Exemplary computation of an induced map25m
Exercise: What does the reflection map on spheres induce?
Video class: 07 The snake lemma39m
Exercise: What is the Snake Lemma in singular homology?
Video class: 08 The long exact sequence axiom in homology37m
Exercise: What is the main consequence of the Snake Lemma in singular homology?
Video class: 09 The homotopy invariance of singular homology1h00m
Exercise: What is the concept of homotopic invariance in singular homology?
Video class: 10 The 5-lemma08m
Exercise: What conclusion does the Five Lemma in homological algebra lead to?
Video class: 11 The excision axiom47m
Exercise: What is an essential aspect of the excision axiom in singular homology?
Video class: 12 The lemma of small simplices1h10m
Exercise: What is the primary purpose of barycentric subdivision in the proof of the small simplices lemma?
Video class: 13 The dimension axiom07m
Exercise: What is the result of the nth singular homology of a single point according to the dimension axiom?
Video class: 14 Further remarks on the Eilenberg-Steenrod axioms20m
Exercise: Which axiom does singular homology satisfy in relation to topological space decomposition?
Video class: 15 Singular homology in degree 018m
Exercise: What does the zeroth singular homology reveal about a topological space?
Video class: 16 The Hurewicz isomorphism48m
Exercise: What does the Hurriwich Theorem in Degree One relate in topology?
Video class: 17 The triple sequence14m
Exercise: What is the concept behind the triple sequence in topology?
Video class: 18 Relative homology as absolute homology47m
Exercise: What is the relationship between reduced and unreduced homology for a point?
Video class: 19 Mayer-Vietoris sequence16m
Exercise: What is the purpose of the Mayer-Vietoris sequence in algebraic topology?
Video class: 20 Mayer-Vietoris sequence for pushouts08m
Exercise: Understanding the Excision Axiom in Homology
Video class: 21 The suspension isomorphism11m
Exercise: What is the suspension isomorphism in homology?
Video class: 22 The degree of self-maps of the circle16m
Exercise: How does a map from the circle to itself behave in homology when mapped to its k-th power?
Video class: 23 The homology of the Klein bottle19m
Exercise: What is the first homology group of the Klein bottle?
Video class: 24 The homology of the Klein bottle (alternative method)12m
Exercise: Calculate First Homology Group of a Klein Bottle using Mayer-Vietoris Sequence
Video class: 25 Calm on earth (and spheres)14m
Exercise: What theorem is illustrated by the statement about wind on Earth?
Video class: 26 Invariance of domain45m
Exercise: What is the significance of the 'Jordan Curve Theorem' in topology?
Video class: 27 Invariance of dimension14m
Exercise: Understanding the Invariance of Dimension Theorem
Video class: 28 The Borsuk-Ulam theorem47m
Exercise: What is the main statement of the Borsuk-Ulam Theorem?
Video class: 29 The Ham-Sandwich Theorem25m
Exercise: What is the Ham Sandwich Theorem about?
Video class: 30 The cellular chain complex22m
Exercise: What is a benefit of using cellular homology over singular homology?
Video class: 31 Cellular homology computes singular homology36m
Exercise: What does the Cellular Chain Complex Compute?
Video class: 32 Incidence numbers of the cellular chain complex16m
Exercise: How is the nth cellular boundary operator expressed in terms of the incidence matrix?
Video class: 33 Differentials in the cellular chain complex29m
Exercise: Understanding incidence numbers and cellular chain complexes
Video class: 34 Easy examples of cellular homology28m
Exercise: What is the incidence number for cells in a cellular chain complex?
Video class: 35 Euler characteristic37m
Exercise: What is the Euler Characteristic of a Finite Planar Graph?
Video class: 36 Lens spaces52m
Exercise: What property distinguishes lens spaces
Video class: 37 Projective modules19m
Exercise: What Characterizes a Projective Module?
Video class: 38 Fundamental theorem of homological algebra37m
Exercise: What does the fundamental theorem of homological algebra state regarding projective resolutions?
Video class: 39 Tensor products38m
Exercise: What is the Canonical Way to Construct a Tensor Product in Homological Algebra?
Video class: 40 Left and right exactness37m
Exercise: What is the status of the Hom and Tensor functors in terms of exactness?
Video class: 41 Computations of tensor products34m
Exercise: What is the result of the tensor product of ? and ? over ? as ?-modules?
Video class: 42 The Tor functor56m
Exercise: What measures the failure of left exactness in tensor products?
Video class: 43 Universal coefficient theorem41m
Exercise: What does the Universal Coefficient Theorem (UCT) clarify in homological algebra?
Video class: 44 Künneth theorem47m
Exercise: What theorem helps compute homology of tensor products of chain complexes?
Video class: 45 Acyclic models theorem43m
Exercise: What is a homomorphism of RC modules?
Video class: 46 Applications of the universal coefficient and Künneth theorem19m
Exercise: What is the homology of the d-dimensional torus?
Course comments: Algebraic Topology Course
Venkata sree Rama murty maddula
if u add the applications of it in classical and quantum computing very helpful