Chevalley-Eilenberg cochain complex in nLab gをLie algebraとしVをg-modとする。 \Wedge^p g^* \otimes VはVに値を持つp次交代形式とみなすことができ、これが複体を定める。 d:\Wedge^p g^* \otimes V \to \Wedge^{p+1} g^* \otimes Vを - v \in Vについ…