Given a -Lie algebra over a commutative unital ring which is free as a -module, the Chevalley–Eilenberg chain complex is a particular projective resolution of the trivial -module in the abelian category of -modules (what is the same as -modules, where is the universal enveloping algera of ). Graded components of the underlying -module this resolution is given by
and it has the obvious -module structure by multiplication in the first tensor factor, because is free as a -module.
If and then the differnetial is given by
See also Lie algebra homology, Lie algebra cohomology, Chevalley–Eilenberg cochain complex and Chevalley–Eilenberg algebra.