Rank cancellation in the Euler-Poincare formula ($\dim C_i=b_i+r_i+r_{i+1}$)

Use the cellular chain complex or simplicial chain complex over $\mathbb{Q}$, rather than the infinite singular chain complex. Put $r_i=\mathrm{rank}{\partial }_i$, with $r_0=r_{d+1}=0$. The rank-nullity theorem gives $\dim \ker {\partial }_i=\dim C_i-r_i$; quotienting the chain cycles by the chain boundaries then gives $b_i=\dim C_i-r_i-r_{i+1}$. Each boundary operator's rank occurs in adjacent degrees with opposite signs, soFiniteness makes this cancellation an ordinary finite sum. This is the algebra behind the cell-count formula for Euler characteristic.