>>4
p次ド・ラームコホモロジー群は、次で定義される:
H^p(X;d) = Ker(d)/ Im(d)

空間Xが閉多様体ならば、これはp次の実係数特異コホモロジー群と
同型になると言うのが、ド・ラームの定理。