On Leibniz homology
We describe a spectral sequence for computing Leibniz cohomology for Lie algebras.
We describe a spectral sequence for computing Leibniz cohomology for Lie algebras.
Given a principal ideal domain of characteristic zero, containing , and a connected differential non-negatively graded free finite type -module , we prove that the natural arrow is an isomorphism of graded Lie algebras over , and deduce thereby that the natural arrow is an isomorphism of graded cocommutative Hopf algebras over ; as usual, stands for free part, for homology, for free Lie algebra, and for universal enveloping algebra. Related facts and examples are also considered....