Now to speak my own language: I’m partial_{n+1} is the group consisting of all the n-dimensional chains that are boundaries of (collections of) higher-dimensional cells. Ker partial_n consists of all the n-dimensional chains whose boundaries are empty. Since the boundary of a boundary is always empty, everything in Im is in Ker. But not everything in Ker is in Im:…