ベッチ数
k を非負の整数 として、空間 X の k 次ベッチ数 bk(X) は、X の k 次ホモロジー群 Hk(X) のランクとして定義される。ホモロジー群は有理数体 Q 上のベクトル空間とすることもできるので、Hk("X"; Q) のベクトル空間の次元としてベッチ数を定義することもできる。普遍係数定理は、ねじれのない単純な場合には（係数の取り方に依存せず）これらの定義が同じであることを示している。