Finite CW complex (source code)

= Finite CW complex

A finite <CW complex> has finitely many cells. Its <cellular chain complex> consists of finitely generated free <abelian groups> and vanishes outside finitely many degrees, so its <integral homology> groups are finitely generated.