Malcev Lie algebra
Introduction In mathematics, a '''Malcev Lie algebra''', or '''Mal'tsev Lie algebra''', is a generalization of a rational nilpotent Lie algebra, and Malcev groups are similar. Both were introduced by , based on the work of .
Definition According to  a Malcev Lie algebra is a rational Lie algebra  together with a complete, descending -vector space filtration , such that:* * * the associated graded Lie algebra  is generated by elements of degree one.
Applications ===Relation to Hopf algebras=== showed that Malcev Lie algebras and Malcev groups are both equivalent to complete Hopf algebras, i.e., Hopf algebras ''H'' endowed with a filtration so that ''H'' is isomorphic to . The functors involved in these equivalences are as follows: a Malcev group ''G'' is mapped to the completion (with respect to the augmentation ideal) of its group ring '''Q'''''G'', with inverse given by the group of ''grouplike elements'' of a Hopf algebra ''H'', essentially those elements 1 + ''x'' such that . From complete Hopf algebras to Malcev Lie algebras one gets by taking the (completion of) primitive elements, with inverse functor given by the completion of the universal enveloping algebra.This equivalence of categories was used by  to prove that, after tensoring with '''Q''', relative ''K''-theory K(''A'', ''I''), for a nilpotent ideal ''I'', is isomorphic to relative cyclic homology HC(''A'', ''I''). This theorem was a pioneering result in the area of trace methods.===Hodge theory===Malcev Lie algebras also arise in the theory of mixed Hodge structures.
References * ***