Euler characteristic
若formula_51是链复形，满足出有限个formula_25外所有项都是零，而非零的都是有限生成可换群（或者有限维向量空间），则可以定义"欧拉示性数"