Let denote a topological space, and let denote the -th homology group of . If is finitely generated, then its rank is called the -th Betti number of .