Lie algebra cohomology

chain complexで具体的に書くと、

g = T_eGとみて、\Wedge g^*の元はT_eG上の交代形式 \omegaである。

これに対してd\omegaを\sum_{i<j}(-1)^{i+j}\omega([X_i,X_j],X_0,...,X_p)と定める。